Luigia Petre

Publications

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

• 38 Conference contribution
• 22 Commissioned report
• 15 Article
• 5 Edited Book/Edited Journal
• 8 More
  • 5 Chapter
  • 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

  • Middleware 100%
  • Availability 71%
  • Computer networks 51%
  • Managers 42%
  3 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%
  • Computer hardware 60%
  • Actuators 38%
  • Control systems 31%
  • Controllers 27%
  4 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

  • Formal methods 100%
  • Drug Discovery 16%
  • Systems engineering 12%
  5 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

  • Specification languages 100%
  • Software engineering 70%
  • Semantics 59%
  • Specifications 56%
  6 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 computer systems 100%
  4 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