Luigia Petre

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere: A formal approach to H.264 video decoding on multicore systems. IJCCBS 4(1): 3-26 (2013)

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere: A distributed design of a network recovery algorithm. IJCCBS 4(1): 45-68 (2013)

Einar Broch Johnsen, Luigia Petre (Eds.): Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, isbn 978-3-642-38612-1

Marina A. Waldén, Luigia Petre: Guest Editors' Foreword. J. Log. Algebr. Program. 81(3): 161 (2012)

Luigia Petre, Petter Sandvik, Kaisa Sere: Node Coordination in Peer-to-Peer Networks. COORDINATION 2012: 196-211

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

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab: Formal Modeling of Multicast Communication in 3D NoCs. DSD 2011: 634-642

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab: Refinement-Based Modeling of 3D NoCs. FSEN 2011: 236-252

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

Luigia Petre, Kaisa Sere: Towards Sustainable Development of Energy-Aware Systems. IJERTCS 1(2): 45-60 (2010)

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos: Model-Based Analysis Tools for Component Synthesis. FMCO 2010: 102-121

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere: Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61

Luigia Petre: Energy-Aware Middleware. ECBS 2008: 326-334

Luigia Petre, Kaisa Sere, Marina A. Waldén: A Language for Modeling Network Availability. ICFEM 2006: 639-659

Michael J. Butler, Luigia Petre, Kaisa Sere (Eds.): Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335, Springer 2002, isbn 3-540-43703-7

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

Ralph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213

Luigia Petre, Kaisa Sere: Developing Control Systems Components. IFM 2000: 156-175

Luigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: 59-80 (1999)

Ion Petre, Luigia Petre: Mobile Ambients and P-Systems. J. UCS 5(9): 588-598 (1999)

Luigia Petre, Kaisa Sere: Coordination Among Mobile Objects. COORDINATION 1999: 227-242

Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533