• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Edited books (2):

• Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, Taylor & Francis, 2016.
• Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, IGI Global, 2011.

Edited special issues of journals (3):

• Einar Broch Johnsen, Luigia Petre (Eds.), Theme Issue on Integrated Formal Methods. Software and Systems Modeling 15(4), 2016.
• Michael Butler, Einar Broch Johnsen, Luigia Petre (Eds.), Integrated Formal Methods. Formal Aspects of Computing 27(4), 2015.
• 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.

Edited proceedings (4):

• 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.
• Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping University Electronic Press , 2009.
• Luigia Petre, Kaisa Sere, Elena Troubitsyna, Einar Broch Johnsen (Eds.), NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, B 37, Åbo Akademi Reports on Computer Science and Mathematics, 2007.
• Michael Butler, Luigia Petre, Kaisa Sere (Eds.), Proceedings of IFM 2002 - Third International Conference on Integrated Formal Methods, Lecture Notes in Computer Science 2335, Springer-Verlag, 2002.

Articles in journals (10):

• Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre, A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundamenta Informaticae 168, 1–13, 2019.
• Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response. Computers in Biology and Medicine (91), 1–12, 2017.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Formal Development of Wireless Sensor–Actor Networks. Science of Computer Programming 80 Part A, 25–49, 2014.
• Luigia Petre, Elena Troubitsyna, Marina Waldén, Kaisa Sere: In Memoriam.. Formal Aspects of Computing 26(2), 197–201, 2014.
• 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.
• Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik, Formal Development of System of Systems. ISRN Software Engineering 2013, 1–10, 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.
• Luigia Petre, Kaisa Sere, Towards Sustainable Development of Energy-Aware Systems. International Journal of Embedded and Real-Time Communication Systems 1(2), 45–60, 2010.
• Ralph-Johan Back, Luigia Petre, Ivan Porres, Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing 8(1), 2–21, 2001.
• Ion Petre, Luigia Petre, Mobile Ambients and P-Systems. Journal of Universal Computer Science 5(9), 588 – 598, 1999.

Articles in proceedings (39):

• Mojgan Kamali, Luigia Petre, Uppaal vs Event-B for Modelling Optimised Link State Routing. In: K. Barkaoui, H. Boucheneb, A. Mili, S. Tahar (Eds.), Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Lecture Notes in Computer Science 10466, 189–203, Springer, 2017.
• 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, Peter Höfner, Maryam Kamali, Luigia Petre, Formal Analysis of Proactive, Distributed Routing. In: Radu Calinescu, Bernhard Rumpe (Eds.), 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Lecture Notes in Computer Science 9276, 175–189, Springer, 2015.
• Mojgan Kamali, 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), 178–181, IEEE, 2015.
• Mojgan Kamali, Luigia Petre, Comparing Routing Protocols. In: Yuan-Fang Li, Yang Liu (Eds.), 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), 206–209, IEEE, 2015.
• Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement of Structured Interactive Systems. In: Gabriel Ciobanu, Dominique Méry (Eds.), Theoretical Aspects of Computing - ICTAC 2014, Lecture Notes in Computer Science 8687, 133–150, Springer, 2014.
• 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, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.
• 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), 1–8, International Congress on Environmental Modelling and Software , 2014.
• 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, 147–154, Acta Press, 2014.
• 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.
• Muhammad Mustafa Hassan, Luigia Petre, On the Influence of Poor Design and Arbitrary Growth on Switched LAN Efficiency. In: Saeed Mahfooz, Waheed ur Rehman (Eds.), Proceedings of the International Conference on Computer Networks and Information Technology (ICCNIT), IEEE Xplore, 131–136, IEEE Conference Publications, 2011.
• Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, CorreComm: A Formal Hierarchical Framework for Communication Designs. In: Danny Hughes, Kevin Lee, Ka Lok Man (Eds.), 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), 1–7, IEEE Computer Society, 2011.
• Maryam Kamali, Luigia Petre, Kaisa Sere, 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), 634 – 642 , IEEE/Euromicro, 2011.
• Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, Towards Dependable H.264 Video Decoding. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 325–337, Technical University of Denmark, 2011.
• Luigia Petre, Petter Sandvik, Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In: Paul Pettersson, Cristina Seceleanu (Eds.), Proceedings of the 23rd Nordic Workshop on Programming Theory, Technical report 254/2011, 21–23, Mälardalen Real-Time Research Centre, 2011.
• Luigia Petre, Kaisa Sere, 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 6957, 102–121, Springer-Verlag, 2011.
• Maryam Kamali, Masoud Daneshtalab, Luigia Petre, Kaisa Sere, A Formalization of 3D NoCs. In: Marina Waldén, Luigia Petre (Eds.), In proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10, 79-81, TUCS General Publications, 2010.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Reconstructing Coordination Links in Sensor-Actor Networks. In: In Proceedings of the 4th Nordic Workshop on Dependability and Security, NODES 10, 2010.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Self-Recovering Sensor-Actor Networks. In: Mohammadreza Mousavi, Gwen Salaün (Eds.), Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Electronic Proceedings in Theoretical Computer Science 30, 47–61, EPTCS , 2010.
• Muhammad Mustafa Hassan, Luigia Petre, Efficiency Issues in a Switched LAN. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, 2009.
• Luigia Petre, Energy-Aware Middleware. In: 15th IEEE International Conference on Engineering of Computer-Based Systems, 326--334, IEEE Computer Society Press, 2008.
• Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos, A Dependability-Oriented Language for Dimensional-NoCs. In: Nordic Workshop and Doctoral Symposium on Dependability and Security - NODES 2008 Proceedings, 73-80, Department of Computer Science, Tallinn University of Technology, 2008.
• Luigia Petre, Modeling Energy-Awareness into a Middleware Language. In: K. Sere E. Troubitsyna E.B. Johnsen L. Petre (Ed.), NOrdic workshop and doctoral symposium on DEpendability and Security - Abstracts, Abo Akademi Reports on Computer Science and Mathematics, Ser. B, 2007.
• Luigia Petre, Kaisa Sere, Marina Waldén, A Language for Modeling Network Availability. In: Zhiming Liu, Jifeng He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings, Lecture Notes in Computer Science 4260, 639–659, Springer Berlin / Heidelberg, 2006.
• Luigia Petre, Control Systems Development – A Case Study. In: Critical Systems Development with UML - Proceedings of the UML'02 Workshop, 171-180, Technische Universitat Munchen, 2002.
• Luigia Petre, Elena Troubitsyna, Marina Waldén, A Healthcare Case Study. In: Proceedings of RCS - International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, 2002.
• Ralph-Johan Back, Luigia Petre, Ivan Porres, Generalizing Action Systems to Hybrid Systems. In: Mathai Joseph (Ed.), 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000, Lecture Notes in Computer Science 1926, 202–213, Springer-Verlag, 2000.