Follow
Luigia Petre
Luigia Petre
Associate Professor in Computer Science, Åbo Akademi University, Finland
Verified email at abo.fi - Homepage
Title
Cited by
Cited by
Year
Analysing UML use cases as contracts
RJ Back, L Petre, IP Paltor
«UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999
531999
Formalising UML use cases in the refinement calculus
RJ Back, L Petre, IP Paltor
Turku Centre for Computer Science, 1999
461999
Generalizing action systems to hybrid systems
RJ Back, L Petre, I Porres
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000
402000
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: Proceedings
M Butler, L Petre, K Sere
Springer Verlag, 2002
39*2002
Editorial
M Butler, EB Johnsen, L Petre
Formal Aspects of Computing 27, 611-612, 2015
35*2015
Mobile Ambients and P-Systems.
I Petre, L Petre
J. Univers. Comput. Sci. 5 (9), 588-598, 1999
321999
Continuous action systems as a model for hybrid systems
RJ Back, L Petre, I Porres
Nord. J. Comput. 8 (1), 2-21, 2001
312001
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
242014
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 2010
232010
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
192015
Formal modeling of multicast communication in 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
2011 14th Euromicro Conference on Digital System Design, 634-642, 2011
182011
A language for modeling network availability
L Petre, K Sere, M Waldén
Formal Methods and Software Engineering: 8th International Conference on …, 2006
162006
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 2011
132011
Energy-aware middleware
L Petre
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
132008
A topological approach to distributed computing
L Petre, K Sere, M Waldén
Electronic Notes in Theoretical Computer Science 28, 59-80, 2000
132000
From Action Systems to Distributed Systems: The Refinement Approach
L Petre, E Sekerinski
CRC Press, 2016
122016
Developing control systems components
L Petre, K Sere
International Conference on Integrated Formal Methods, 156-175, 2000
122000
Dependability and Computer Engineering: Concepts for Software-intensive Systems
L Petre, K Sere, E Troubitsyna
Engineering Science Reference, 2011
92011
Model driven engineering
M Butler, L Petre, K Sere, S Kent
Lecture Notes in Computer Science 2335, 286-298, 2002
92002
Coordination among mobile objects
L Petre, K Sere
International Conference on Coordination Languages and Models, 227-242, 1999
91999
The system can't perform the operation now. Try again later.
Articles 1–20