Luigia Petre

Department of Information Technologies
Åbo Akademi University

Fields of interest:

Formal methods

Energy modeling

Network availability

Time and space dependent computing

Integration of formal methods


Recent publications:

L. Petre and K. Sere:
Towards Sustainable Development of Energy-Aware Systems,
In J.Plosila (Ed.), “Special Issue on Formal Methods in Embedded Communication System Design”, International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 1(2), pp. 45-60, IGI Global, 2010

L. Petre, K. Sere, and M. Walden:
Network Availability for Distributed Applications,
In L. Petre, K. Sere, and E. Troubitsyna (Eds), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, IGI Global, to appear in 2011

L. Petre, K. Sere, L. Tsiopoulos, P. Liljeberg and J. Plosila:
Towards Self-Placing Applications on 2D- and 3D-NoCs,
In P. Cong-Vinh (Ed.) Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification, Embedded Multi-core Systems (EMS)Book Series, CRC Press, to appear in 2011.

L. Petre, K. Sere and M. Walden:
Location Awareness with Action Systems,
In P. Alencar, D. Cowan (Eds),Handbook of Research on Mobile Software Engineering: Design, Implementation and Emergent Applications, IGI Global, to appear in 2011

M. Kamali, L. Petre, K. Sere and M. Daneshtalab:
Refinement-Based Modeling of 3D NoCs,
In Proceedings of the 4th International Conference on Fundamentals of Software Engineering – FSEN 2011, Tehran, Iran, April 2011, Springer-Verlag, to appear in 2011

M. Kamali, L. Laibinis, L. Petre and K. Sere:
Self-Recovering Sensor-Actor Networks,
In M. Mousavi and G. Salaün (Eds), Proceedings of the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Electronic Proceedings in Theoretical Computer Science (EPTCS), September 2010