Luigia Petre

Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Technologies, Turku, Finland. She got her PhD in Computer Science in 2005 on modeling techniques in formal methods. Her research interests include energy modeling, network availability, integration of formal methods, and time and space dependent computing. She has co-organized major conferences in her field such as the Integrated Formal Methods (IFM) 2002 as well as Formal Methods (FM) 2008. She has been in the programme committee of IFM in 2002, 2004, 2005, and 2007. Currently, she is coordinating NODES - a Nordic Dependability Network, concerned with deploying a dependability curriculum for the Nordic countries. She is a researcher in the EC-funded project DEPLOY. She has about 30 refereed publications.

Publications

Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Luigia Petre, Kaisa Sere, Elena Troubitsyna. © 2012. 515 pages.
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on...
Network Availability for Distributed Applications
Network Availability for Distributed Applications
Luigia Petre, Kaisa Sere, Marina Waldén. © 2012. 21 pages.
Dependability (the degree of reliance that can be justifiably placed on software-intensive systems) is characterized by several attributes, including availability. In this...
Towards Sustainable Development of Energy-Aware Systems
Towards Sustainable Development of Energy-Aware Systems
Luigia Petre, Kaisa Sere. © 2012. 16 pages.
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public...
Towards Sustainable Development of Energy-Aware Systems
Towards Sustainable Development of Energy-Aware Systems
Luigia Petre, Kaisa Sere. © 2012. 16 pages.
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public...
Location-Awareness with Action Systems
Location-Awareness with Action Systems
Luigia Petre, Kaisa Sere, Marina Waldén. © 2012. 21 pages.
The location of various network resources is of outmost interest when trying to model and analyze various computing and communicating contemporary platforms. Formal methods -...
Towards Sustainable Development of Energy-Aware Systems
Towards Sustainable Development of Energy-Aware Systems
Luigia Petre, Kaisa Sere. © 2010. 16 pages.
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public...