Dr

Luigia Petre

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


Referentgranskade publikationer

A3 Bokavsnitt, kapitel i forskningsböcker
Preface (2019)
Brijesh Dongol, Luigia Petre, Graeme Smith
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
A3 Bokavsnitt, kapitel i forskningsböcker
Location-Awareness with Action Systems (2012)
Petre L, Sere K, Waldén M
IGI Global
Visa på utgivarens sida
A4 Konferenspublikationer
Node Coordination in Peer-to-Peer Networks (2012)
Petre L, Sandvik P, Sere K
Visa på utgivarens sida
C2 Redigerat verk
The 22nd Nordic Workshop on Programming Theory (NWPT 2010) (2012)
Marina Waldén, Luigia Petre
Elsevier
A3 Bokavsnitt, kapitel i forskningsböcker
Towards Self-Placing Applications on 2D and 3D NoCs (2012)
Petre L, Sere K, Tsiopoulos L, Liljeberg P, Plosila J
CRC Press
Visa på utgivarens sida
A4 Konferenspublikationer
CorreComm: A Formal Hierarchical Framework for Communication Designs (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
IEEE Computer Society
Visa på utgivarens sida
C2 Redigerat verk
Dependability and Computer Engineering: Concepts for Software-Intensive Systems (2011)
Luigia Petre, Kaisa Sere, Elena Troubitsyna
IGI Global
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Modeling of Multicast Communication in 3D NoCs (2011)
Kamali M, Petre L, Sere K, Daneshtalab M
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Model-Based Analysis Tools for Component Synthesis (2011)
Petre L, Sere K, Tsiopoulos L
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Network Availability for Distributed Applications (2011)
Petre L, Sere K, Waldén M
IGI Global
Visa på utgivarens sida
A4 Konferenspublikationer
A Formalization of 3D NoCs (2010)
Maryam Kamali, Masoud Daneshtalab, Luigia Petre, Kaisa Sere
TUCS General Publications
Turku Centre for Computer Science
A4 Konferenspublikationer
Self-Recovering Sensor-Actor Networks (2010)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Towards Sustainable Development of Energy-Aware Systems (2010)
Luigia Petre, Kaisa Sere
International Journal of Embedded and Real-Time Communication Systems
Visa på utgivarens sida
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
A Modular Approach to Formal Modelling of Peer-to-Peer Networks (2012)
Petre L, Sandvik P, Sere K
B1 Icke-referentgranskade tidskriftsartiklar
Guest Editors’ Foreword (2012)
Marina Waldén, Luigia Petre
Journal of Logic and Algebraic Programming
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Synchronization in Timed Interactive Systems (2012)
Radu Gramatovici, Luigia Petre, Kaisa Sere, Alin Stefanescu, Gheorghe Stefanescu
B3 Icke-referentgranskade konferenspublikationer
Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems (2011)
Luigia Petre, Petter Sandvik
MRTC report
Mälardalens högskola
B3 Icke-referentgranskade konferenspublikationer
On the Influence of Poor Design and Arbitrary Growth on Switched LAN Efficiency (2011)
Muhammad Mustafa Hassan, Luigia Petre
IEEE Computer Society Conference Publishing Services (CPS)
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 2019-02-10 vid 10:59