Luigia Petre

Publications

Research output per year 1998 1999 2000 2011 2012 2014 2015 2016 2021 2022

• 37 Conference contribution
• 22 Commissioned report
• 15 Article
• 8 Edited Book/Edited Journal
• 11 More
  • 5 Chapter
  • 3 Abstract
  • 2 Other contribution
  • 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

• 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

  • Networks 100%
  • Middleware 66%
  • User 66%
  • Distributed Systems 33%
  • Resource Availability 33%
  8 Downloads (Pure)
• 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

  • Specifications 100%
  • Case Study 66%
  • Development Process 66%
  • Dependable System 66%
  • Application Software 66%
  9 Downloads (Pure)

• 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

  • Case Study 100%
  • Development Process 100%
  • Safety Critical Systems 100%
  • Systems Engineering 50%
  • Functional Requirement 50%
  14 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

  • Providing Service 100%
  12 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

  • Distributed Computing 100%
  • Networks 100%
  • Informal Description 50%
  • Computing 50%
  9 Downloads (Pure)

• 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