Luigia Petre

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 8

Top Topics

Formal Analysis

Resource Availability

Routing Protocol

Interactive Systems

Top Venues

Int. J. Crit. Comput. Based Syst.

Formal Aspects Comput.

Publications

Luigia Petre
A Software Quality Course: The Breadth Approach. QUATIC (2021)
Filip Morawski, Michal Bejger, Elena Cuoco, Luigia Petre
Anomaly detection in gravitational waves data using convolutional autoencoders. Mach. Learn. Sci. Technol. 2 (4) (2021)
Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre
Towards Scalable Modeling of Biology in Event-B. CoRR (2021)
Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundam. Informaticae 171 (1-4) (2020)
Mojgan Kamali, Luigia Petre
Uppaal vs Event-B for Modelling Optimised Link State Routing. VECoS (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Stepwise construction of a metabolic network in Event-B: The heat shock response. Comput. Biol. Medicine 91 (2017)
Einar Broch Johnsen, Luigia Petre
Theme issue on Integrated Formal Methods. Softw. Syst. Model. 15 (4) (2016)
Mojgan Kamali, Luigia Petre
Modelling Link State Routing in Event-B. ICECCS (2016)
Mojgan Kamali, Luigia Petre
Improved Recovery for Proactive, Distributed Routing. ICECCS (2015)
Mojgan Kamali, Luigia Petre
Comparing Routing Protocols. ICECCS (2015)
Michael J. Butler, Einar Broch Johnsen, Luigia Petre
Editorial. Formal Aspects Comput. 27 (4) (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Formal Analysis of Proactive, Distributed Routing. SEFM (2015)
Mats Neovius, Luigia Petre, Kaisa Sere
A Theory of Service Dependency. Refine@FM (2015)
Luigia Petre, Elena Troubitsyna, Marina Waldén
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26 (2) (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement of Structured Interactive Systems. ICTAC (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80 (2014)
Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik
On Proving Recoverability of Smart Electrical Grids. NASA Formal Methods (2014)
Luigia Petre, Kaisa Sere
Location-aware resource availability. HPCS (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Luigia Petre, Petter Sandvik, Kaisa Sere
Node Coordination in Peer-to-Peer Networks. COORDINATION (2012)
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM (2012)
Marina Waldén, Luigia Petre
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 81 (3) (2012)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Formal Modeling of Multicast Communication in 3D NoCs. DSD (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
CorreComm: A formal hierarchical framework for communication designs. NESEA (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Refinement-Based Modeling of 3D NoCs. FSEN (2011)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Self-Recovering Sensor-Actor Networks FOCLASA (2010)
Luigia Petre, Kaisa Sere
Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
Model-Based Analysis Tools for Component Synthesis. FMCO (2010)
Luigia Petre
Energy-Aware Middleware. ECBS (2008)
Luigia Petre, Kaisa Sere, Marina Waldén
A Language for Modeling Network Availability. ICFEM (2006)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8 (1) (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Generalizing Action Systems to Hybrid Systems. FTRTFT (2000)
Luigia Petre, Kaisa Sere
Developing Control Systems Components. IFM (2000)
Luigia Petre, Ralph-Johan Back, Ivan Paltor
Analysing UML Use Cases as Contracts. UML (1999)
Luigia Petre, Kaisa Sere, Marina Waldén
A topological approach to distributed computing. Electron. Notes Theor. Comput. Sci. 28 (1999)
Ion Petre, Luigia Petre
Mobile Ambients and P-Systems. J. Univers. Comput. Sci. 5 (9) (1999)
Luigia Petre, Kaisa Sere
Coordination Among Mobile Objects. COORDINATION (1999)