You are here: TUCS > EDUCATION > TUCS Graduate Programme > Students > Luigia Petre
Dr. Luigia Petre
Date of doctoral defense: 7.12.2005
TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies
Admitted to TUCS GP on 15.9.1997
Current affiliation: Åbo Akademi University, Department of Information Technologies
Current homepage: http://users.abo.fi/lpetre/
Thesis:
Luigia Petre, Modeling with Action Systems. TUCS Dissertations 69. Turku Centre for Computer Science, 2005.
Former supervisors:
Ralph-Johan Back (Åbo Akademi University, Department of Information Technologies)
Kaisa Sere (Åbo Akademi University, Department of Information Technologies)
Latest publications:
Click here to see the full list of publications from the TUCS Publication Database
Einar Broch Johnsen, Luigia Petre (Eds.), Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, Lecture Notes in Computer Science 7940, Springer, 2013.
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, A Distributed Design of a Network Recovery Algorithm. International Journal of Critical Computer-Based Systems 4(1), 45–68, 2013.
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, A Formal Approach to H.264 Video Decoding on Multicore Systems. International Journal of Critical Computer-Based Systems 4(1), 3–26, 2013.
Marina Waldén, Luigia Petre (Eds.), The 22nd Nordic Workshop on Programming Theory (NWPT 2010). The Journal of Logic and Algebraic Programming 81(3), 2012.
Jerker Björkqvist, Luigia Petre, Karl Rönnholm, Dragos Truscan, Integrating Innovation Activities in a Master Level Capstone Project Course. In: Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), International Conference on Engineering Education, Research Reports 38, 1065–1072, Turku University of Applied Sciences, 2012.
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 221–236, Springer, Heidelberg, 2012.
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs. In: Farhad Arbab, Marjan Sirjani (Eds.), 4th IPM International Conference on Fundamentals of Software Engineering, Lecture Notes in Computer Science 7141, 236–252, Springer, 2012.
Luigia Petre, Petter Sandvik, Kaisa Sere, Node Coordination in Peer-to-Peer Networks. In: Marjan Sirjani (Ed.), COORDINATION 2012, Lecture Notes in Computer Science 7274, 196–211, Springer-Verlag GmbH Berlin Heidelberg, 2012.
Luigia Petre, Kaisa Sere, Marina Waldén, Location-Awareness with Action Systems. In: Paulo Alencar, Donald Cowan (Eds.), Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications, 1, 463–483, IGI Global, 2012.
Radu Gramatovici, Luigia Petre, Kaisa Sere, Alin Stefanescu, Gheorghe Stefanescu, Synchronization in Timed Interactive Systems. TUCS Technical Reports 1047, 2012.
Luigia Petre, Petter Sandvik, Kaisa Sere, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039, Turku Centre for Computer Science, 2012.