Full List of Publications, March 20
Total Page:16
File Type:pdf, Size:1020Kb
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 Computer Science: 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 Formal Methods (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, Turku 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