Dr. Luigia Petre – List of Publications

List of Publications March 2020

For each publication, I indicate its classification in terms of level 1 or level 2, according to the JUFO Finnish classification of journals and conferences in : level 2 is higher than level 1.

N.B.: In the European Computer Science community, no distinction is usually made between the first author and the other authors. Authors are generally listed alphabetically and it should be assumed that all authors have made an essential contribution.

A Peer-reviewed scientific articles

Journal articles

1. Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tiwari, and Ion Petre. A Computational Model for Access to Medical Service in a Basic Prototype of a Healthcare System. In “Fundamenta Informatica”, Vol 171, Nr 1-4, pp 331-343, IOS Press, 2020 – Jufo level 1.

2. Muhammad Usman Sanwal, Luigia Petre, and Ion Petre. Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response. In “Journal of Computers in Biology and Medicine”, Vol 91, pp 1-12, Elsevier 2017 – Jufo level 1.

3. Maryam Kamali, Linas Laininis, Luigia Petre, Kaisa Sere. Formal Development of Wireless Sensor Actor Network. In the “Science of Computer Programming Journal (SCP)”. Volume 80 Part A, pp. 25–49, Elsevier, 2014, DOI http://dx.doi.org/10.1016/j.scico.2012.03.002 – Jufo level 2.

4. Luigia Petre, Elena Troubitsyna, Marina Waldén. Kaisa Sere: In Memoriam. In “Formal Aspects of Computing”, Vol. 26, Nr 2, pp. 197–201, Springer 2014 – Jufo level 2

5. Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik. Formal Development of System of Systems. In “ISRN Software Engineering Journal ” Vol. 2013, pp. 1–10, Hindawi Publication Corporation, 2013.

6. Kristian Lumme, Luigia Petre, Petter Sandvik, and Kaisa Sere. A Formal Approach to H.264 Video Decoding on Multicore Systems. In “International Journal of Critical Computer-Based Systems (IJCCBS)”, Inderscience Publishers, Vol. 4, Nr 1, pp. 3-26, 2013 – Jufo level 1.

7. Maryam Kamali, Linas Laibinis, Luigia Petre, and Kaisa Sere. A Distributed Implementation of a Network-Recovery Algorithm. In “International Journal of Critical Computer-Based Systems (IJCCBS)”, Inderscience Publishers, Vol. 4, Nr 1, pp. 45–68, 2013 – Jufo level 1.

8. Luigia Petre and Kaisa Sere. Towards Sustainable Development of Energy-Aware Systems. In “International Journal of Embedded and Real-Time Communication Systems (IJERTCS)”, 1(2), pp. 45- 60, IGI Global, April 2010 – Jufo level 1.

9. Ralph-Johan Back, Luigia Petre, and Ivan Porres Paltor. Continuous Action Systems as a Model for Hybrid Systems. In “Nordic Journal of Computing”, Vol. 8, No. 1, pp. 2-21, Publishing Association Nordic Journal of Computing, Spring 2001 – Jufo level 1

1 Dr. Luigia Petre – List of Publications

10. Ion Petre and Luigia Petre. Mobile Ambients and P-Systems. In “Journal of Universal Computer Science”, Vol. 5, No. 9, pp. 588-598, 1999 – Jufo level 1

Book sections, chapters in research books

1. Maryam Kamali, Luigia Petre, Kaisa Sere, and Masoud Daneshtalab. Towards Correct and Reusable Network-on-Chip Architectures. In “Mohammad S. Obaidat, Petros Nicopolitidis, and Faouzi Zarai (Eds.), Modelling and Simulation of Computer Networks and Systems: Methodologies and Applications”, Chapter 12, pp. 357-392, Elsevier, 2015. – Jufo level 2

2. Luigia Petre, Kaisa Sere, and Marina Walden. Network Availability for Distributed Applications. In “Dependability and Computer Engineering: Concepts for Software-Intensive Systems”, pp. 36-57, IGI Global, July 2011. – Jufo level 1

3. 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”, Vol. 1, pp. 463–483, IGI Global, 2012. – Jufo level 1

4. Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos, Pasi Liljeberg, and Juha Plosila. Towards Self-Placing Applications on 2D- and 3D-NoCs. In “P. Cong-Vinh (ed) Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification”, Embedded Multi-core Systems (EMS) Book Series, pp. 165-187. CRC Press, December 2011. – Jufo level 2

Articles in peer-reviewed conference proceedings

1. Mojgan Kamali and Luigia Petre. Uppaal vs Event-B for Modelling Optimised Link State Routing. In “Kamel Barkaoui, Hanifa Boucheneb, Ali Mili and Sofiène Tahar (Eds.), Verification and Evaluation of Computer and Communication System, VECoS 2017”, Lecture Notes in Computer Science, Vol. 10466, pp. 189-203, Springer-Verlag, 2017.

2. Mojgan Kamali and 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”, pp. 207-210, IEEE Conference Publishing Services, 2016.

3. Mats Neovius, Luigia Petre, and Kaisa Sere. A Theory of Service Dependency. In “Eerke Boiten, John Derrick, and Steve Reeves (Eds.), Proceedings 17th International Workshop on Refinement (Refine'15)”. Vol. 209 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 112– 128, 2016.

4. Mojgan Kamali and Luigia Petre, Comparing Routing Protocols. In “Yuan-Fang Li, Yang Liu (Eds.), 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)”, pp. 206– 209 IEEE, December 2015. – Jufo level 1.

5. Mojgan Kamali and Luigia Petre, Improved Recovery for Proactive, Distributed Routing. In “Yuan-Fang Li, Yang Liu (Eds.), 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)”, pp. 178–181 IEEE, December 2015. – Jufo level 1.

6. Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre. Formal Analysis of Proactive, Distributed Routing. In “R. Calinescu and B. Rumpe (Eds), Proceedings of the 13th International Conference on Software Engineering and (SEFM 2015), September 2015, York, UK”, Lecture Notes in Computer Science, Vol. 9276, pp. 175-189, Springer-Verlag, 2015 – Jufo level 1.

7. Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu. Refinement of Structured Interactive Systems. In “Proceedings of the International Colloquium on Theoretical Aspects of

2 Dr. Luigia Petre – List of Publications

Computing (ICTAC 2014), September 2014, Bucharest, Romania”, Lecture Notes in Computer Science, Vol. 8687, pp. 133-150, Springer-Verlag, 2014 – Jufo level 1.

8. Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre. Trustworthiness Modelling on Continuous Environmental Measurement. In: D.P. Ames, N.W.T. Quinn, A.E. Rizzoli (Eds.), Proceedings of the 7th International Congress on Environmental Modelling and Software (iEMSs), pp. 1–8, International Congress on Environmental Modelling and Software, 2014.

9. Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik. On Proving Recoverability of Smart Electrical Grids. In “Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium on Nasa Formal Methods (NFM 2014), April – May 2014, Houston, TX, USA”, Lecture Notes in Computer Science, Vol. 8430, pp. 77–92, Springer-Verlag, 2014 – Jufo level 1

10. Mauno Rönkkö, Markus Stocker, Mats Neovius, Luigia Petre, Mikko Kolehmainen. Designing Resilence Mediators for Control Systems. In: M. H. Hamza (Ed.), The 33rd IASTED International Conference on Modelling, Identification and Control, pp. 147–154, ACTA PRESS, 2014 – Jufo level 1

11. Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu. Refinement Preserving Translation from Event-B to Register-Voice Interactive Systems. In “Proceedings of the Integrated Formal Methods International Conference (iFM 2012), June 2012, Pisa, Italy”, Lecture Notes in Computer Science, Vol. 7321, pp. 221-236, Springer-Verlag, 2012 – Jufo level 1

12. Luigia Petre, Petter Sandvik, Kaisa Sere. Node Coordination in Peer-to-Peer Networks. In “Proceedings of the 14th International Conference on Coordination Models and Languages (COORDINATION 2012), June 2012, Stockholm, Sweden”, Lecture Notes in Computer Science, Vol. 7274, pp. 196-211, Springer-Verlag, 2012 – Jufo level 1

13. Jerker Björkqvist, Luigia Petre, Karl Rönnholm, Dragos Truscan, Integrating Innovation Activities in a Master Level Capstone Project Course. In “J. Björkqvist, M.-J. Laakso, J. Roslöf, R. Tuohi, S. Virtanen (eds.), International Conference on Engineering Education”, Research Reports 38, 1065–1072, University of Applied Sciences, 2012.

14. Maryam Kamali, Luigia Petre, Kaisa Sere, and Masoud Daneshtalab. CorreComm: A Formal Hierarchical Framework for Communication Designs. In “2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)”, pp. 1-7. IEEE Computer Society, December 2011. – Jufo level 1

15. Luigia Petre, Kaisa Sere, and Leonidas Tsiopoulos. Model-Based Analysis Tools for Component Synthesis. In “B.K. Aichernig, F.S. de Boer, M.M. Bonsangue, (eds.), Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey", Lecture Notes in Computer Science Vol. 6957, pp. 102-121. Springer-Verlag, 2011 – Jufo level 1

16. Maryam Kamali, Luigia Petre, Kaisa Sere, and Masoud Daneshtalab. Formal Modeling of Multicast Communication in 3D NoCs. In “Paris Kitsos, Smail Niar (Eds.), 14th Euromicro Conference on Digital System Design (DSD 2011)”, pp. 634 – 642. IEEE/Euromicro, August 2011. – Jufo level 1

17. Maryam Kamali, Luigia Petre, Kaisa Sere, and Masoud Daneshtalab. Refinement-Based Modeling of 3D NoCs. In “F. Arbab and M. Sirjani (eds) Proceedings of the 4th International Conference on Fundamentals of Software Engineering – FSEN 2011”, Lecture Notes in Computer Science Vol. 7141, pp. . Springer-Verlag – Jufo level 1

3 Dr. Luigia Petre – List of Publications

18. Maryam Kamali, Linas Laibinis, Luigia Petre, and Kaisa Sere. Self-Recovering Sensor-Actor Networks, In “M. Mousavi and G. Salaün (eds), Proceedings of the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010)”, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 30, pp. 47-61, September 2010. – Jufo level 1

19. Luigia Petre. Energy-Aware Middleware. In the “Proceedings of the 15th IEEE International Conference on Engineering of Computer-Based System, ECBS 08”, pp. 326-334, IEEE Computing Society, March-April 2008.

20. Luigia Petre, Kaisa Sere, and Marina Walden. A Language for Modeling Network Availability. In “Zhiming Liu, Jifeng He (eds), Proceedings of ICFEM’2006 -- 8th International Conference on Formal Engineering Methods”. Lecture Notes in Computer Science Vol. 4260, pp. 639-659, Springer-Verlag, November 2006 – Jufo level 1

21. Luigia Petre. Control Systems Development – A Case Study. In “Jan Jurjens, Maria Victoria Cengarle, Eduardo B. Fernandez, Bernhard Rumpe, Robert Sandner (eds), Proceedings of CSDUML’2002 – ‘Critical Systems Development with UML’ Workshop, held in connection with UML2002 conference”, Technische Universitat Munchen, TUM-I0208, pp. 171-180, September-October 2002.

22. Luigia Petre and Kaisa Sere. Developing Control Systems Components. In the “Proceedings of IFM'2000 - Second International Conference on Integrated Formal Methods”. Lecture Notes in Computer Science Vol. 1945, pp. 156-175, Springer-Verlag, November 2000 – Jufo level 1

23. Ralph-Johan Back, Luigia Petre, and Ivan Porres Paltor. Generalizing Action Systems to Hybrid Systems. In the “Proceedings of FTRTFT'2000 - Sixth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems”. Lecture Notes in Computer Science Vol. 1926, pp. 202- 213, Springer-Verlag, September 2000 – Jufo level 1

24. Ralph-Johan Back, Luigia Petre and Ivan Porres Paltor. Analysing UML Use Cases as Contracts. In “Proceedings of UML'99 - The Second International Conference on The Unified Modeling Language: Beyond the Standard”. Lecture Notes in Computer Science Vol. 1723, pp. 518-533, Springer-Verlag, October 1999 – Jufo level 1

25. Ion Petre and Luigia Petre. Mobile Ambients and P-Systems. In the “Proceedings of “WFLA'99 - Workshop on Formal Languages and Automata”, September 1999.

26. Luigia Petre, Kaisa Sere, and Marina Walden. A Topological Approach to Distributed Computing. In the “Proceedings of WDS'99 - Workshop on Distributed Systems”. Electronic Notes in Theoretical Computer Science, Vol. 28, pp. 97-118, Elsevier, September 1999. – Jufo level 1

27. Luigia Petre and Kaisa Sere. Coordination Among Mobile Objects. In the “Proceedings of COORDINATION'99 - Third International Conference on Coordination Models and Languages”. Lecture Notes in Computer Science Vol. 1594, pp. 227-242, Springer-Verlag, April 1999 – Jufo level 1

B Non-refereed scientific articles

1. Luigia Petre and Petter Sandvik. Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In the “Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT 2011)”, October 2011.

4 Dr. Luigia Petre – List of Publications

2. Muhammad Mustafa Hassan and Luigia Petre. On the influence of poor design and arbitrary growth on switched LAN efficiency. In the “Proceedings of the International Conference on Computer Networks and Information Technology (ICCNIT)”, pp. 131-136, IEEE, July 2011.

3. Kristian Lumme, Luigia Petre, Petter Sandvik, and Kaisa Sere. Towards Dependable H.264 Video Decoding. In the “Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)”. Technical University of Denmark, June 2011.

4. Maryam Kamali, Masoud Daneshtalab, Luigia Petre, and Kaisa Sere. A Formalization of 3D NoCs. In the “Proceedings of the 22nd Nordic Workshop on Programming Theory (NWPT 2010)”, TUCS General Publications, No. 57, pp. 79-81. Turku Centre for Computer Science, November 2010.

5. Maryam Kamali, Linas Laibinis, Luigia Petre, and Kaisa Sere. Reconstructing Coordination Links in Sensor-Actor Networks. In the “Proceedings of the 4th Nordic Workshop on Dependability and Security”, pp. 1-10, June 2010.

6. Luigia Petre, Kaisa Sere, and Marina Walden. Ensuring Correctness of Network Applications with MIDAS. In “J.-R. Abrial, M. Butler, R. Joshi, E. Troubitsyna, and J. C. P. Woodcock (Eds), Refinement Based Methods for the Construction of Dependable Systems, Extended Abstracts, Dagstuhl Seminar Proceedings”, No. 09381, ISSN 1862-4405, 2010.

7. Luigia Petre and Mustafa Hassan. Efficiency Issues in a Switched LAN. In the “Proceedings of NODES 09 – Nordic Workshop and Doctoral Symposium on Dependability and Security”, April 2009.

8. Luigia Petre, Kaisa Sere, and Leonidas Tsiopoulos. A Dependability-Oriented Language for Dimensional-NoCs. In the “Proceedings of NODES 08 - Nordic Workshop and Doctoral Symposium on Dependability and Security”, August 2008.

9. Luigia Petre. Modeling Energy-Awareness into a Middleware Language. In the “Proceedings of NODES 07 – NOrdic workshop and doctoral symposium on DEpendability and Security”. Abo Akademi Reports on Computer Science and Mathematics, Ser. B, No. 37, October 2007.

10. Luigia Petre, Elena Troubitsyna, and Marina Walden. A Healthcare Case Study. In the “Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience”, January 2002.

11. Luigia Petre. Components vs. Objects. In the “Proceedings of NWPT'2000 - 12th Nordic Workshop on Programming Theory”, October 2000.

12. Ralph-Johan Back, Luigia Petre and Ivan Porres Paltor. General Hybrid Action Systems. In the “Proceedings of NWPT'99 - 11th Nordic Workshop on Programming Theory”. Uppsala University, Technical Report 1999-008, pp. 45, October 1999.

13. Luigia Petre and Marina Walden. Mobile Components as Topological Action Systems. In the “Proceedings of NWPT'99 - 11th Nordic Workshop on Programming Theory”. Uppsala University, Technical Report 1999-008, pp. 6, October 1999.

14. Luigia Petre and Kaisa Sere. Mobile Objects as Action Systems. In the “Proceedings of NWPT'98 - 10th Nordic Workshop on Programming Theory”. TUCS General Publications, No. 11, pp. 40. ISBN 952-12- 0287-4, October 1998.

Technical reports at Turku Centre for Computer Science (TUCS)

5 Dr. Luigia Petre – List of Publications

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

2. Mojgan Kamali, Luigia Petre, Improved Recovery for Proactive, Distributed Routing. TUCS Technical Reports 1143, TUCS, 2015.

3. Mojgan Kamali, Maryam Kamali, Luigia Petre, Formally Analyzing Proactive, Distributed Routing. TUCS Technical Reports 1125, TUCS, 2014.

4. Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik. On Proving Recoverability of Smart Electrical Grids. TUCS Technical Reports, No. 1096, December 2013.

5. Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre. Programming by Construction. TUCS Technical Reports, No. 1092, 2013.

6. Radu Gramatovici, Luigia Petre, Kaisa Sere, Alin Stefanescu, Gheorghe Stefanescu. Synchronization in Timed Interactive Systems. TUCS Technical Reports, No. 1047, 2012.

7. Luigia Petre, Petter Sandvik, Kaisa Sere, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports, No. 1039, 2012.

8. Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement- Preserving Translation from Event-B to Register-Voice Interactive Systems. TUCS Technical Reports, No. 1028, 2011.

9. Maryam Kamali, Linas Laibinis, Luigia Petre, and Kaisa Sere. Reconstructing Coordination Links in Sensor-Actor Networks, TUCS Technical Reports, No. 967, February 2010.

10. Luigia Petre, Kaisa Sere, and Marina Walden. Ensuring Correctness of Network Services with MIDAS. TUCS Technical Reports, No. 938, May 2009.

11. Luigia Petre, Kaisa Sere, and Marina Walden. A Language for Modeling Network Availability. TUCS Technical Reports, No. 752, March 2006.

12. Luigia Petre. Developing Control Systems: A Method and a Case Study. TUCS Technical Reports, No. 473, September 2002.

13. Luigia Petre, Mauno Ronkko, Elena Troubitsyna, Marina Walden, and Micaela Jansson. A Methodology for Co-design, Based on a Healthcare Case Study. TUCS Technical Reports, No. 437, December 2001.

14. Luigia Petre, Elena Troubitsyna, Marina Walden, Pontus Bostrom, Niklas Engblom, and Micaela Jansson. A Methodology for Integration of Formal Methods in a Healthcare Case Study. TUCS Technical Reports, No. 436, December 2001.

15. Luigia Petre. Components vs. Objects. TUCS Technical Reports, No. 370, October 2000.

16. Luigia Petre and Marina Walden. Mobile Components as Topological Action Systems. TUCS Technical Reports, No. 366, October 2000.

17. Ralph-Johan Back, Luigia Petre, and Ivan Porres Paltor. Generalizing Action Systems to Hybrid Systems. TUCS Technical Reports, No. 307, December 1999.

18. Ion Petre and Luigia Petre. Mobile Ambients and P-Systems. TUCS Technical Reports, No. 293, June 1999.

6 Dr. Luigia Petre – List of Publications

19. Luigia Petre, Kaisa Sere, and Marina Walden. A Topological Approach to Distributed Computing. TUCS Technical Reports, No. 289, June 1999.

20. Ralph-Johan Back, Luigia Petre, and Ivan Porres Paltor. Formalising UML Use Cases in the Refinement Calculus. TUCS Technical Reports, No. 279, May 1999.

21. Luigia Petre, Milla Qvist, and Kaisa Sere. Distributed Object-Based Control Systems. TUCS Technical Reports, No. 241, February 1999.

22. Luigia Petre and Kaisa Sere. Coordination Among Mobile Objects. TUCS Technical Reports, No. 219, November 1998.

C Scientific books (Edited Books, Conference Proceedings, Special issues of journals)

1. Brijesh Dongol, Luigia Petre, Graeme Smith: Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Lecture Notes in Computer Science 11758, Springer 2019 – Jufo level 1

2. Luigia Petre and Emil Sekerinski. From Action Systems to Distributed Systems – the Refinement Approach. CRC Press, June 2016 – Jufo level 2

3. Einar Broch Johnsen and Luigia Petre. Special Issue of the Software and Systems Modeling Journal (Springer), dedicated to selected and extended papers from the Integrated Formal Methods conference, 2013. Vol. 15, Issue 4, pp. 933-935, October 2016 – Jufo level 2

4. Michael Butler, Einar Broch Johnsen, and Luigia Petre. Special Issue of the Formal Aspects of Computing Journal (Springer), dedicated to selected and extended papers from the Integrated Formal Methods conference, 2013. Vol. 27, Issue 4, July 2015 – Jufo level 2

5. Marina Waldén and Luigia Petre. Special Issue of the Journal of Logic and Algebraic Computing (Elsevier), dedicated to extended papers from the Nordic Workshop on Programming Theory 2010. Volume 81, Issue 3, April 2012 – Jufo level 2

6. Einar Broch Johnsen, Luigia Petre (Eds.), Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, , June 10-14, 2013. Proceedings, Lecture Notes in Computer Science 7940, Springer, 2013. – Jufo level 1

7. Luigia Petre, Kaisa Sere, and Elena Troubitsyna (Eds). Dependability and Computer Engineering: Concepts for Software-Intensive Systems, IGI Global, 2011. – Jufo level 1

8. Marina Waldén and Luigia Petre (Eds). Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT ’10. TUCS General Publication No. 57, November 2010.

9. Mikael Asplund, Simin Nadjm-Tehrani and Luigia Petre (Eds). NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping University Electronic Press, April 2009.

10. Luigia Petre, Kaisa Sere, Elena Troubitsyna, and Einar Broch Johnsen (Eds). NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security. Abo Akademi Reports on Computer Science and Mathematics, Ser. B, No. 37, October 2007.

11. Michael Butler, Luigia Petre, and Kaisa Sere (Eds). Proceedings of IFM 2002 – Third International Conference on Integrated Formal Methods. Lecture Notes in Computer Science Vol. 2335, Springer- Verlag, May 2002 – Jufo level 1

D Publications intended for professional communities

7 Dr. Luigia Petre – List of Publications

Published development or research reports or studies

1. Ralph-Johan Back, Kaisa Sere, and Luigia Petre (Eds). CREST – Centre for Reliable Software Technonology: Research Report 2004-2005. TUCS General Publications No. 40, October 2005.

E Publications intended for the general public, linked to the applicant’s research

Popularised article

- Luigia Petre. The Importance of Data Science. LinkedIn post at Öppna Universitetet, Åbo Akademi University, 2019. https://www.abo.fi/en/the-importance-of-data-science/.

G Theses

Doctoral Dissertation

- Luigia Petre. Modeling with Action Systems. PhD Thesis, TUCS Dissertations No. 69, November 2005. Link to the online version of the PhD thesis: https://tucs.fi/publications/view/?pub_id=phdPetre05a

MSc Thesis

- Luigia Petre. A Distributed Encyclopedia about Romanian Cities. MSc Thesis, University of Bucharest, Romania, June 1997.

8