Research Output per year
Research Output per year
Publications
Search results
-
2016
Modelling Link State Routing in Event-B
Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
Uppaal vs Event-B for Modelling Optimised Link State Routing
Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
2015
Improved Recovery for Proactive, Distributed Routing
Kamali, M. & Petre, L., 2015, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
2014
Formally Analyzing Proactive, Distributed Routing
Kamali, M., Kamali, M. & Petre, L., 2014, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
2013
Programming by Construction
Rönkkö, M., Stocker, M., Neovius, M., Kolehmainen, M. & Petre, L., 2013, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
2012
A Modular Approach to Formal Modelling of Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, Turku Centre for Computer Science (TUCS).Research output: Book/Journal/Report › Commissioned report › Professional
-
Synchronization in Timed Interactive Systems
Gramatovici, R., Petre, L., Sere, K., Stefanescu, A. & Stefanescu, G., 2012, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
2009
Ensuring Correctness of Network Services with MIDAS
Petre, L., Sere, K. & Waldén, M., 2009, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
2006
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
2002
Developing Control Systems: A Method and a Case Study
Petre, L., 2002, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
2001
A Methodology for Co-design Based on a Healthcare Case Study
Petre, L., Rönkkö, M., Troubitsyna, E., Waldén, M. & Jansson, M., 2001, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
A Methodology for integration of formal methods in a healthcare case study
Petre, L., Troubitsyna, E., Walden, M., Boström, P., Engblom, N. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). 64 p.Research output: Book/Journal/Report › Commissioned report › Professional
-
2000
Components vs. Objects
Petre, L., 2000, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
Mobile Components as Topological Action Systems
Petre, L. & Waldén, M., 2000, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
1999
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Waldén, M., 1999, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
Distributed Object-Based Control Systems
Petre, L., Qvist, M. & Sere, K., 1999, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
Formalising UML Use Cases in the Refinement Calculus
Back, R-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
Generalizing Action Systems to Hybrid Systems
Back, R-J., Petre, L. & Porres Paltor, I., 1999, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
Mobile Ambients and P-Systems
Petre, I. & Petre, L., 1999, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional
-
1998
Coordination Among Mobile Objects
Petre, L. & Sere, K., 1998, Turku Centre for Computer Science.Research output: Book/Journal/Report › Commissioned report › Professional