Coordination Among Mobile Objects. - Luigia Petre; Kaisa Sere (COORDINATION, 1999)

Analysing UML Use Cases as Contracts. - Luigia Petre; Ralph-Johan Back; Ivan Paltor (UML, 1999)

A topological approach to distributed computing. - Luigia Petre; Kaisa Sere; Marina Waldén (WDS@FCT, 1999)

Mobile Ambients and P-Systems. - Ion Petre; Luigia Petre (J. Univers. Comput. Sci., 1999)

Generalizing Action Systems to Hybrid Systems. - Ralph-Johan Back; Luigia Petre; Ivan Porres (FTRTFT, 2000)

Developing Control Systems Components. - Luigia Petre; Kaisa Sere (IFM, 2000)

Continuous Action Systems as a Model for Hybrid Systems. - Ralph-Johan Back; Luigia Petre; Ivan Porres (Nord. J. Comput., 2001)

A Language for Modeling Network Availability. - Luigia Petre; Kaisa Sere; Marina Waldén (ICFEM, 2006)

Energy-Aware Middleware. - Luigia Petre (ECBS, 2008)

Model-Based Analysis Tools for Component Synthesis. - Luigia Petre; Kaisa Sere; Leonidas Tsiopoulos (FMCO, 2010)

Self-Recovering Sensor-Actor Networks - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (FOCLASA, 2010)

Towards Sustainable Development of Energy-Aware Systems. - Luigia Petre; Kaisa Sere (Int. J. Embed. Real Time Commun. Syst., 2010)

Formal Modeling of Multicast Communication in 3D NoCs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (DSD, 2011)

Refinement-Based Modeling of 3D NoCs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (FSEN, 2011)

CorreComm: A formal hierarchical framework for communication designs. - Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab (NESEA, 2011)

Node Coordination in Peer-to-Peer Networks. - Luigia Petre; Petter Sandvik; Kaisa Sere (COORDINATION, 2012)

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. - Denisa Diaconescu; Ioana Leustean; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (IFM, 2012)

Guest Editors' Foreword. - Marina Waldén; Luigia Petre (J. Log. Algebraic Methods Program., 2012)

Location-aware resource availability. - Luigia Petre; Kaisa Sere (HPCS, 2013)

A distributed design of a network recovery algorithm. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)

A formal approach to H.264 video decoding on multicore systems. - Kristian Lumme; Luigia Petre; Petter Sandvik; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)

Refinement of Structured Interactive Systems. - Denisa Diaconescu; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (ICTAC, 2014)

On Proving Recoverability of Smart Electrical Grids. - Seppo Horsmanheimo; Maryam Kamali; Mikko Kolehmainen; Mats Neovius; Luigia Petre; Mauno Rönkkö; Petter Sandvik (NASA Formal Methods, 2014)

Kaisa Sere: In Memoriam. - Luigia Petre; Elena Troubitsyna; Marina Waldén (Formal Aspects Comput., 2014)

Formal development of wireless sensor-actor networks. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Sci. Comput. Program., 2014)

Improved Recovery for Proactive, Distributed Routing. - Mojgan Kamali; Luigia Petre (ICECCS, 2015)

Comparing Routing Protocols. - Mojgan Kamali; Luigia Petre (ICECCS, 2015)

Formal Analysis of Proactive, Distributed Routing. - Mojgan Kamali; Peter Höfner; Maryam Kamali; Luigia Petre (SEFM, 2015)

A Theory of Service Dependency. - Mats Neovius; Luigia Petre; Kaisa Sere (Refine@FM, 2015)

Editorial. - Michael J. Butler; Einar Broch Johnsen; Luigia Petre (Formal Aspects Comput., 2015)

Modelling Link State Routing in Event-B. - Mojgan Kamali; Luigia Petre (ICECCS, 2016)

Theme issue on Integrated Formal Methods. - Einar Broch Johnsen; Luigia Petre (Softw. Syst. Model., 2016)

Uppaal vs Event-B for Modelling Optimised Link State Routing. - Mojgan Kamali; Luigia Petre (VECoS, 2017)

Stepwise construction of a metabolic network in Event-B: The heat shock response. - Usman Sanwal; Luigia Petre; Ion Petre (Comput. Biol. Medicine, 2017)

A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. - Luigia Petre; Usman Sanwal; Gohar Shah; Charmi Panchal; Dwitiya Tyagi; Ion Petre (Fundam. Informaticae, 2020)

A Software Quality Course: The Breadth Approach. - Luigia Petre (QUATIC, 2021)

Towards Scalable Modeling of Biology in Event-B. - Usman Sanwal; Thai Son Hoang; Luigia Petre; Ion Petre (CoRR, 2021)

Anomaly detection in gravitational waves data using convolutional autoencoders. - Filip Morawski; Michal Bejger; Elena Cuoco; Luigia Petre (Mach. Learn. Sci. Technol., 2021)

Special Collection on Computer Science Education. - Luigia Petre; Ana Cavalcanti 001 (Formal Aspects Comput., 2025)