Luigia Petre

Senior Lecturer, Computer Science
Email: luigia.petre@abo.fi
Mobile: +358-469208385
Phone: +358-2-2154030


Peer-reviewed publications

A1 Journal article (refereed)
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
View on publisher's site
A4 Conference proceedings
Uppaal vs Event-B for Modelling Optimised Link State Routing (2017)
Mojgan Kamali, Luigia Petre
Springer
View on publisher's site
A4 Conference proceedings
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A4 Conference proceedings
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
A1 Journal article (refereed)
Theme issue on Integrated Formal Methods (2016)
Einar Broch Johnsen, Luigia Petre
Software and Systems Modeling
View on publisher's site
A4 Conference proceedings
Comparing Routing Protocols (2015)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
A4 Conference proceedings
Formal Analysis of Proactive, Distributed Routing (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
A1 Journal article (refereed)
Integrated Formal Methods: editorial (2015)
Butler Michael, Johnsen Einar, Petre Luigia
Formal Aspects of Computing
View on publisher's site
A3 Book section, Chapters in research books
Towards Correct and Reusable Network-on-Chip Architectures (2015)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Elsevier
A4 Conference proceedings
Designing Resilence Mediators for Control Systems (2014)
Rönkkö Mauno, Stocker Markus, Neovius Mats, Petre Luigia, Kolehmainen Mikko
ACTA Press
View on publisher's site
A1 Journal article (refereed)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
View on publisher's site
A1 Journal article (refereed)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
Refinement of Structured Interactive Systems (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Springer
A4 Conference proceedings
Trustworthiness Modelling on Continuous Environmental Measurement (2014)
Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre
International congress on environmental modelling and software
A1 Journal article (refereed)
A Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
View on publisher's site
A1 Journal article (refereed)
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
View on publisher's site
A1 Journal article (refereed)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
View on publisher's site
A4 Conference proceedings
Integrating Innovation Activities in a Master Level Capstone Project Course (2012)
Björkqvist J, Petre L, Rönnholm K, Truscan D
Turun ammattikorkeakoulu
A4 Conference proceedings
Efficiency Issues in a Switched LAN (2009)
Hassan MM, Petre L
A4 Conference proceedings
A Dependability-Oriented Language for Dimensional-NoCs (2008)
Petre L, Sere K, Tsiopoulos L
A4 Conference proceedings
Energy-Aware Middleware (2008)
Petre L
A4 Conference proceedings
Modeling Energy-Awareness into a Middleware Language (2007)
Petre L
A4 Conference proceedings
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Waldén M
A4 Conference proceedings
Control Systems Development – A Case Study (2002)
Petre L
A1 Journal article (refereed)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Conference proceedings
Components vs. Objects (2000)
Petre L
A4 Conference proceedings
Developing Control Systems Components (2000)
Petre L, Sere K
A4 Conference proceedings
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Conference proceedings
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Conference proceedings
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
A4 Conference proceedings
Coordination Among Mobile Objects (1999)
Petre L, Sere K
A4 Conference proceedings
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A1 Journal article (refereed)
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
Journal of Universal Computer Science
A4 Conference proceedings
Mobile Components as Topological Action Systems (1999)
Petre L, Waldén M
A4 Conference proceedings
Mobile Objects as Action Systems (1998)
Petre L, Sere K


Other publications

D4 Published development or research report or study
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Uppaal vs Event-B for Modelling Optimised Link State Routing (2016)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre
D4 Published development or research report or study
Programming by Construction (2013)
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre
D4 Published development or research report or study
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Published development or research report or study
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Published development or research report or study
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 Published development or research report or study
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 Published development or research report or study
Components vs. Objects (2000)
Petre L
D4 Published development or research report or study
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Published development or research report or study
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
D4 Published development or research report or study
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Published development or research report or study
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Published development or research report or study
Coordination Among Mobile Objects (1998)
Petre L, Sere K

Last updated on 2018-19-09 at 19:48