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
International Conference on the Unified Modeling Language, 518-533, 1999
451999
Formalising UML use cases in the refinement calculus
RJ Back, L Petre, IP Paltor
Turku Centre for Computer Science, 1999
441999
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: Proceedings
M Butler, L Petre, K Sere
Springer Verlag, 2002
40*2002
Mobile ambients and P-systems
I Petre, L Petre
Journal of Universal Computer Science 5 (9), 588-598, 1999
341999
Generalizing action systems to hybrid systems
RJ Back, L Petre, I Porres
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
302000
Editorial
M Butler, EB Johnsen, L Petre
Formal Aspects of Computing 27, 611-612, 2015
29*2015
Continuous action systems as a model for hybrid systems
RJ Back, L Petre, I Porres
Nord. J. Comput. 8 (1), 2-21, 2001
232001
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 2010
182010
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
172014
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
162011
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
SEFM 2015 Collocated Workshops, 175-189, 2015
152015
A language for modeling network availability
L Petre, K Sere, M Waldén
International Conference on Formal Engineering Methods, 639-659, 2006
132006
Energy-Aware Middleware
L Petre
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
122008
Developing control systems components
L Petre, K Sere
International Conference on Integrated Formal Methods, 156-175, 2000
122000
A topological approach to distributed computing
L Petre, K Sere, M Walden
Turku Centre for Computer Science, 1999
121999
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 2011
112011
Coordination among mobile objects
L Petre, K Sere
International Conference on Coordination Languages and Models, 227-242, 1999
91999
Dependability and Computer Engineering: Concepts for Software-intensive Systems
L Petre, K Sere, E Troubitsyna
Engineering Science Reference, 2012
72012
IFM’02: Integrated Formal Methods
M Butler, L Petre, K Sere
volume 2335 of Springer. Lecture Notes in Computer Science., 2002
72002
Components vs. objects
L Petre
Turku Centre for Computer Science, 2000
72000
The system can't perform the operation now. Try again later.
Articles 1–20