• 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 (4):

• 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.
• Jorge Cuellar, Tom Maibaum, Kaisa Sere (Eds.), FM 2008: Formal Methods, Lecture Notes in Computer Science 5014, Springer, 2008.
• Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong (Eds.), Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings, Lecture Notes in Computer Science 4097, Springer-Verlag, 2006.

Edited special issues of journals (6):

• Marina Waldén (Ed.), NWPT 2017 - Special issue. Journal of Logical and Algebraic Methods in Programming 105, 2019.
• 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.
• Masoud Daneshtalab, Pasi Liljeberg, Mehdi Modarressi, Leandro Soares Indrusiak (Eds.), Network-based Many-core Embedded Systems. Journal of Systems Architecture 59(9), 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.
• Kaisa Sere, Marina Waldén (Eds.), The 15th Nordic Workshop on Programming Theory. Nordic Journal of Computing 11(2), 2004.

Edited proceedings (10):

• 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.
• Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings, Lecture Notes in Computer Science 6968, Springer, 2011.
• 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.
• Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report, IEEE Computer Society, 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, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), University of Newcastle upon Tyne, School of Computing Science, 2005.
• Kaisa Sere, Marina Waldén (Eds.), Nordic Journal of Computing, 11, 2004.
• Didier Bert, Jonathan Bowen, Steve King, Marina Waldén (Eds.), ZB2003: Formal Specification and Development in Z and B, Lecture Notes in Computer Science, Springer-Verlag, 2003.
• Kaisa Sere, Marina Waldén (Eds.), Proceedings of the 15th Nordic Workshop on Programming Theory (NWPT'03), Åbo Akademi, Reports on Computer Science and Mathematics, 2003.
• 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 (45):

• 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.
• Aivo Anier, Jüri Vain, Leonidas Tsiopoulos, DTRON: A Tool for Distributed Model-Based Testing of Time Critical Applications. Proceedings of the Estonian Academy of Sciences 66(1), 1–16, 2017.
• 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.
• Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres, Quantitatively Measuring a Large-Scale Agile Transformation. Journal of Systems and Software 117, 258–273, 2016.
• Jonatan Wiik, Pontus Boström, Contract-Based Verification of MATLAB-Style Matrix Programs. Formal Aspects of Computing 28(1), 79–107, 2016.
• Pontus Boström, Jonatan Wiik, Contract-Based Verification of Discrete-Time Multi-Rate Simulink Models. Software and Systems Modeling , 1–21, 2015.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models. Formal Aspects of Computing 26(2), 281–303, 2014.
• 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.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming 78(7), 884–905, 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.
• 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.
• Mats Neovius, Kaisa Sere, Mastering the Relevance of Subjective Information in Ubiquitous Computing. Journal of Communications and Information Sciences (JCIS) 3(4), 27 – 44, 2013.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, A Refinement-Based Approach to Developing Critical Multi-Agent Systems. International Journal of Critical Computer-Based Systems 4(1), 69–91, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, A Survey of Safety-Oriented Model-Driven and Formal Development Approaches. International Journal of Critical Computer-Based Systems 4(2), 93–118, 2013.
• Masoud Daneshtalab, Maryam Kamali, Masoumeh Ebrahimi, Siamak Mohammadi, Ali Afzali-Kusha, Juha Plosila, Adaptive Input-Output Selection Based On-Chip Router Architecture. Journal of Low Power Electronics 8(1), 11–29, 2012.
• Sergey Ostroumov, Leonidas Tsiopoulos, Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. International Journal of Embedded and Real-Time Communication Systems 3(2), 40–72, 2012.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Deriving a Mode Logic Using Failure Modes and Effects Analysis. International Journal of Critical Computer-Based Systems 3(4), 305–328, 2012.
• Khalid Latif, Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen, Service Based Communication for MPSoC Platform-SegBus. Microprocessors and Microsystems 35(7), 643–655, 2011.
• Kashif Javed, Kashif Asifa, Elena Troubitsyna, Implementation of SPIN Model Checker for Formal Verification of Distance Vector Routing Protocol. International Journal of Computer Science and Information Security 8(3), 6, 2010.
• Teijo Lehtonen, David Wolpert, Pasi Liljeberg, Juha Plosila, Paul Ampadu, Self-Adaptive System for Addressing Permanent Errors in On-Chip Interconnects. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 18(4), 527–540, 2010.
• Qaisar A. Malik, Linas Laibinis, Dragos Truscan, Johan Lilius, Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development. International Journal On Advances in Software 3(1 & 2), 147–160, 2010.
• 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.
• Petter Sandvik, Mats Neovius, A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming. International Journal on Advances in Networks and Services 3(3 & 4), 473–483, 2010.
• Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila, Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors. International Journal of Embedded and Real-Time Communication Systems 1(2), 23–44, 2010.
• Leonidas Tsiopoulos, Manoranjan Satpathy, Model Based Testing of a Network-on-Chip Component. Electronic Notes in Theoretical Computer Science 253(2), 101–116, 2009.
• Larissa Meinicke, Ian J. Hayes, Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Acta Informatica 45(5), 321–382, 2008.
• Mats Neovius, Fredrik Degerlund, Lu Yan, Forming a Context-Sensitive Web of Trust by Relying on Sentimentally Like-Minded. International Journal of Pervasive Computing and Communications 4(1), 92–109, 2008.
• Mauno Rönkkö, Marina Waldén, Ralph-Johan Back, Beyond Particle Systems: Operator Networks. Simulation Modelling Practice and Theory , 2008.