Luigia Petre

  • Åbo Akademi University, Finland

According to our database1, Luigia Petre authored at least 37 papers between 1999 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Towards Scalable Modeling of Biology in Event-B.
CoRR, 2021

A Software Quality Course: The Breadth Approach.
Proceedings of the Quality of Information and Communications Technology, 2021

A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System.
Fundam. Informaticae, 2020

Stepwise construction of a metabolic network in Event-B: The heat shock response.
Comput. Biol. Medicine, 2017

Uppaal vs Event-B for Modelling Optimised Link State Routing.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Theme issue on Integrated Formal Methods.
Softw. Syst. Model., 2016

Modelling Link State Routing in Event-B.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Formal Aspects Comput., 2015

A Theory of Service Dependency.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Formal Analysis of Proactive, Distributed Routing.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Comparing Routing Protocols.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Improved Recovery for Proactive, Distributed Routing.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Formal development of wireless sensor-actor networks.
Sci. Comput. Program., 2014

Kaisa Sere: In Memoriam.
Formal Aspects Comput., 2014

On Proving Recoverability of Smart Electrical Grids.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Refinement of Structured Interactive Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A formal approach to H.264 video decoding on multicore systems.
Int. J. Crit. Comput. Based Syst., 2013

A distributed design of a network recovery algorithm.
Int. J. Crit. Comput. Based Syst., 2013

Location-aware resource availability.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Guest Editors' Foreword.
J. Log. Algebraic Methods Program., 2012

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Node Coordination in Peer-to-Peer Networks.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

CorreComm: A formal hierarchical framework for communication designs.
Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Refinement-Based Modeling of 3D NoCs.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Formal Modeling of Multicast Communication in 3D NoCs.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Towards Sustainable Development of Energy-Aware Systems.
Int. J. Embed. Real Time Commun. Syst., 2010

Self-Recovering Sensor-Actor Networks
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Model-Based Analysis Tools for Component Synthesis.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

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

A Language for Modeling Network Availability.
Proceedings of the Formal Methods and Software Engineering, 2006

Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput., 2001

Developing Control Systems Components.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Generalizing Action Systems to Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Mobile Ambients and P-Systems.
J. Univers. Comput. Sci., 1999

A topological approach to distributed computing.
Electron. Notes Theor. Comput. Sci., 1999

Analysing UML Use Cases as Contracts.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Coordination Among Mobile Objects.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999