Luigia Petre

Akademilektor, Datavetenskap
E-post: luigia.petre@abo.fi
Mobiltelefon: +358-469208385
Telefon: +358-2-2154030


Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Computers in Biology and Medicine
Visa på utgivarens sida
A4 Konferenspublikationer
Uppaal vs Event-B for Modelling Optimised Link State Routing (2017)
Mojgan Kamali, Luigia Petre
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Theme issue on Integrated Formal Methods (2016)
Einar Broch Johnsen, Luigia Petre
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
Comparing Routing Protocols (2015)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Analysis of Proactive, Distributed Routing (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Integrated Formal Methods: editorial (2015)
Butler Michael, Johnsen Einar, Petre Luigia
Formal Aspects of Computing
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Towards Correct and Reusable Network-on-Chip Architectures (2015)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Elsevier
A4 Konferenspublikationer
Designing Resilence Mediators for Control Systems (2014)
Rönkkö Mauno, Stocker Markus, Neovius Mats, Petre Luigia, Kolehmainen Mikko
ACTA Press
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Refinement of Structured Interactive Systems (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Springer
A4 Konferenspublikationer
Trustworthiness Modelling on Continuous Environmental Measurement (2014)
Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre
International congress on environmental modelling and software
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Formal Approach to H.264 Video Decoding on Multicore Systems (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
Visa på utgivarens sida
A4 Konferenspublikationer
Integrating Innovation Activities in a Master Level Capstone Project Course (2012)
Björkqvist J, Petre L, Rönnholm K, Truscan D
Turun ammattikorkeakoulu
A4 Konferenspublikationer
Efficiency Issues in a Switched LAN (2009)
Hassan MM, Petre L
A4 Konferenspublikationer
A Dependability-Oriented Language for Dimensional-NoCs (2008)
Petre L, Sere K, Tsiopoulos L
A4 Konferenspublikationer
Energy-Aware Middleware (2008)
Petre L
A4 Konferenspublikationer
Modeling Energy-Awareness into a Middleware Language (2007)
Petre L
C2 Redigerat verk
NODES 07: Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007: abstracts (2007)
Petre L, Sere K, Troubitsyna E, Johnsen EB
Åbo Akademi
A4 Konferenspublikationer
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Waldén M
A4 Konferenspublikationer
Control Systems Development – A Case Study (2002)
Petre L
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Konferenspublikationer
Components vs. Objects (2000)
Petre L
A4 Konferenspublikationer
Developing Control Systems Components (2000)
Petre L, Sere K
A4 Konferenspublikationer
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Konferenspublikationer
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Konferenspublikationer
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
A4 Konferenspublikationer
Coordination Among Mobile Objects (1999)
Petre L, Sere K
A4 Konferenspublikationer
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
Journal of Universal Computer Science
A4 Konferenspublikationer
Mobile Components as Topological Action Systems (1999)
Petre L, Waldén M
A4 Konferenspublikationer
Mobile Objects as Action Systems (1998)
Petre L, Sere K


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Uppaal vs Event-B for Modelling Optimised Link State Routing (2016)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Programming by Construction (2013)
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Methodology for Co-design Based on a Healthcare Case Study (2001)
Petre L, Rönkkö M, Troubitsyna E, Waldén M, Jansson M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Components vs. Objects (2000)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Coordination Among Mobile Objects (1998)
Petre L, Sere K

Senast uppdaterad 2018-19-09 vid 19:48