| Analysing UML use cases as contracts RJ Back, L Petre, IP Paltor «UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999 | 53 | 1999 |
| Formalising UML use cases in the refinement calculus RJ Back, L Petre, IP Paltor Turku Centre for Computer Science, 1999 | 46 | 1999 |
| Generalizing action systems to hybrid systems RJ Back, L Petre, I Porres Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000 | 40 | 2000 |
| 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 | 32 | 1999 |
| Continuous action systems as a model for hybrid systems RJ Back, L Petre, I Porres Nord. J. Comput. 8 (1), 2-21, 2001 | 31 | 2001 |
| Formal development of wireless sensor–actor networks M Kamali, L Laibinis, L Petre, K Sere Science of Computer Programming 80, 25-49, 2014 | 24 | 2014 |
| Self-recovering sensor-actor networks M Kamali, L Laibinis, L Petre, K Sere arXiv preprint arXiv:1007.5091, 2010 | 23 | 2010 |
| 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 | 19 | 2015 |
| 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 | 18 | 2011 |
| A language for modeling network availability L Petre, K Sere, M Waldén Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 16 | 2006 |
| Refinement-based modeling of 3D NoCs M Kamali, L Petre, K Sere, M Daneshtalab International Conference on Fundamentals of Software Engineering, 236-252, 2011 | 13 | 2011 |
| Energy-aware middleware L Petre 15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008 | 13 | 2008 |
| A topological approach to distributed computing L Petre, K Sere, M Waldén Electronic Notes in Theoretical Computer Science 28, 59-80, 2000 | 13 | 2000 |
| From Action Systems to Distributed Systems: The Refinement Approach L Petre, E Sekerinski CRC Press, 2016 | 12 | 2016 |
| Developing control systems components L Petre, K Sere International Conference on Integrated Formal Methods, 156-175, 2000 | 12 | 2000 |
| Dependability and Computer Engineering: Concepts for Software-intensive Systems L Petre, K Sere, E Troubitsyna Engineering Science Reference, 2011 | 9 | 2011 |
| Model driven engineering M Butler, L Petre, K Sere, S Kent Lecture Notes in Computer Science 2335, 286-298, 2002 | 9 | 2002 |
| Coordination among mobile objects L Petre, K Sere International Conference on Coordination Languages and Models, 227-242, 1999 | 9 | 1999 |
