Luigia Petre

According to our database, Luigia Petre authored at least 38 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Anomaly detection in gravitational waves data using convolutional autoencoders.

Filip Morawski, Michal Bejger, Elena Cuoco, Luigia Petre

Mach. Learn. Sci. Technol., 2021

Towards Scalable Modeling of Biology in Event-B.

Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre

CoRR, 2021

A Software Quality Course: The Breadth Approach.

Luigia Petre

Proceedings of the Quality of Information and Communications Technology, 2021

2020

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

2017

Stepwise construction of a metabolic network in Event-B: The heat shock response.

Usman Sanwal, Luigia Petre, Ion Petre

Comput. Biol. Medicine, 2017

Uppaal vs Event-B for Modelling Optimised Link State Routing.

Mojgan Kamali, Luigia Petre

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016

Theme issue on Integrated Formal Methods.

Einar Broch Johnsen, Luigia Petre

Softw. Syst. Model., 2016

Modelling Link State Routing in Event-B.

Mojgan Kamali, Luigia Petre

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Editorial.

Michael J. Butler, Einar Broch Johnsen, Luigia Petre

Formal Aspects Comput., 2015

A Theory of Service Dependency.

Mats Neovius, Luigia Petre, Kaisa Sere

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Formal Analysis of Proactive, Distributed Routing.

Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Comparing Routing Protocols.

Mojgan Kamali, Luigia Petre

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Improved Recovery for Proactive, Distributed Routing.

Mojgan Kamali, Luigia Petre

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

Formal development of wireless sensor-actor networks.

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Sci. Comput. Program., 2014

Kaisa Sere: In Memoriam.

Luigia Petre, Elena Troubitsyna, Marina Waldén

Formal Aspects Comput., 2014

On Proving Recoverability of Smart Electrical Grids.

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Refinement of Structured Interactive Systems.

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

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

A distributed design of a network recovery algorithm.

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Int. J. Crit. Comput. Based Syst., 2013

Location-aware resource availability.

Luigia Petre, Kaisa Sere

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

2012

Guest Editors' Foreword.

Marina Waldén, Luigia Petre

J. Log. Algebraic Methods Program., 2012

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.

Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Node Coordination in Peer-to-Peer Networks.

Luigia Petre, Petter Sandvik, Kaisa Sere

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

CorreComm: A formal hierarchical framework for communication designs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Refinement-Based Modeling of 3D NoCs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Formal Modeling of Multicast Communication in 3D NoCs.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Towards Sustainable Development of Energy-Aware Systems.

Luigia Petre, Kaisa Sere

Int. J. Embed. Real Time Commun. Syst., 2010

Self-Recovering Sensor-Actor Networks

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Model-Based Analysis Tools for Component Synthesis.

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Energy-Aware Middleware.

Luigia Petre

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2006

A Language for Modeling Network Availability.

Luigia Petre, Kaisa Sere, Marina Waldén

Proceedings of the Formal Methods and Software Engineering, 2006

2001

Continuous Action Systems as a Model for Hybrid Systems.

Ralph-Johan Back, Luigia Petre, Ivan Porres

Nord. J. Comput., 2001

2000

Developing Control Systems Components.

Luigia Petre, Kaisa Sere

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Generalizing Action Systems to Hybrid Systems.

Ralph-Johan Back, Luigia Petre, Ivan Porres

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Mobile Ambients and P-Systems.

Ion Petre, Luigia Petre

J. Univers. Comput. Sci., 1999

A topological approach to distributed computing.

Luigia Petre, Kaisa Sere, Marina Waldén

Proceedings of the Workshop on Distributed Systems, 1999

Analysing UML Use Cases as Contracts.

Luigia Petre, Ralph-Johan Back, Ivan Paltor

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Coordination Among Mobile Objects.

Luigia Petre, Kaisa Sere

Proceedings of the Coordination Languages and Models, Third International Conference, 1999