Where academic tradition
meets the exciting future

Luigia Petre

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

e-mail: lpetre@abo.fi

Current homepage: http://users.abo.fi/lpetre/

Alumni:

Maryam Kamali (Åbo Akademi University, Department of Information Technologies)

Mats Neovius (Åbo Akademi University, Department of Information Technologies)

Petter Sandvik (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, Taylor & Francis, 2016.

Einar Broch Johnsen, Luigia Petre (Eds.), Theme Issue on Integrated Formal Methods. Software and Systems Modeling 15(4), 2016.

Mojgan Kamali, Luigia Petre, Modelling Link State Routing in Event-B. In: Hai Wang, Mounir Mokhtari (Eds.), 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, 207–210, IEEE Conference Publishing Services, 2016.

Mats Neovius, Luigia Petre, Kaisa Sere, A Theory of Service Dependency. In: John Derrick, Eerke Boiten, Steve Reeves (Eds.), Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015, 209, 112–128, Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016.

Mojgan Kamali, Luigia Petre, Modelling Link State Routing in Event-B. TUCS Technical Reports 1154, TUCS, 2016.

Mojgan Kamali, Luigia Petre, Uppaal vs Event-B for Modelling Optimised Link State Routing. TUCS Technical Reports 1158, TUCS, 2016.

Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response. TUCS Technical Reports 1160, TUCS, 2016.