Luigia Petre

Emailluigia.petre@abo.fi

Research activity per year

If you made any changes in Pure these will be visible here soon.

38 Conference contribution
24 Commissioned report
14 Article
5 Edited Book/Edited Journal
More
- 5 Chapter
- 1 Working paper

24 results

Filter

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
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 752)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
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., Walden, M. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 437)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
1 Downloads (Pure)
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. (TUCS Technical Reports; vol. 436)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
1 Downloads (Pure)
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
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 366)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
1 Downloads (Pure)
1999
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 289)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
1 Downloads (Pure)
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

Luigia Petre

Publications

Search results