Luigia Petre

Publications

Research output per year 1998 2021

• 38 Conference contribution
• 20 Commissioned report
• 14 Article
• 5 Edited Book
• 6 More
  • 5 Chapter
  • 1 Working paper

Research output per year

Research output per year

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

  Open Access

  File

  • Formal methods
  • Drug Discovery
  • Systems engineering
• 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