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
481999
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: Proceedings
M Butler, L Petre, K Sere
Springer Verlag, 2002
46*2002
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
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
352000
Mobile ambients and P-systems
I Petre, L Petre
Journal of Universal Computer Science 5 (9), 588-598, 1999
321999
Editorial
M Butler, EB Johnsen, L Petre
Formal Aspects of Computing 27, 611-612, 2015
30*2015
Continuous action systems as a model for hybrid systems
RJ Back, L Petre, I Porres
Nord. J. Comput. 8 (1), 2-21, 2001
282001
Formal development of wireless sensor–actor networks
M Kamali, L Laibinis, L Petre, K Sere
Science of Computer Programming 80, 25-49, 2014
202014
Self-recovering sensor-actor networks
M Kamali, L Laibinis, L Petre, K Sere
arXiv preprint arXiv:1007.5091, 2010
202010
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
SEFM 2015 Collocated Workshops, 175-189, 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
172011
A language for modeling network availability
L Petre, K Sere, M Waldén
International Conference on Formal Engineering Methods, 639-659, 2006
162006
A topological approach to distributed computing
L Petre, K Sere, M Walden
Turku Centre for Computer Science, 1999
141999
Energy-Aware Middleware
L Petre
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
132008
Refinement-based modeling of 3D NoCs
M Kamali, L Petre, K Sere, M Daneshtalab
International Conference on Fundamentals of Software Engineering, 236-252, 2011
122011
Developing control systems components
L Petre, K Sere
International Conference on Integrated Formal Methods, 156-175, 2000
122000
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: Concepts for Software-Intensive Systems
L Petre, K Sere, E Troubitsyna
IGI Global, 2011
82011
Model Driven Engineering, volume 2335 of Lecture Notes in Computer Science
MJ Butler, L Petre, K Sere
Springer, 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