• 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 special issues of journals (3):

• Marina Waldén (Ed.), NWPT 2017 - Special issue. Journal of Logical and Algebraic Methods in Programming 105, 2019.
• 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 (3):

• 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.

Articles in journals (10):

• 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.
• Luigia Petre, Elena Troubitsyna, Marina Waldén, Kaisa Sere: In Memoriam.. Formal Aspects of Computing 26(2), 197–201, 2014.
• Mauno Rönkkö, Marina Waldén, Ralph-Johan Back, Beyond Particle Systems: Operator Networks. Simulation Modelling Practice and Theory , 2008.
• Leonidas Tsiopoulos, Marina Waldén, Formal Development of NoC Systems in B. Nordic Journal of Computing 13(1-2), 127 – 145, 2006.
• Pontus Boström, Marina Waldén, Implementation of Control Systems using B Action Systems: A Case Study. Nordic Journal of Computing 11(2), 75–101, 2004.
• Juha Plosila, Kaisa Sere, Marina Waldén, Asynchronous System Synthesis. Science of Computer Programming , 2004.
• Kaisa Sere, Marina Waldén, Structuring and Verifying Distributed Algorithms. Nordic Journal of Computing 8(2), 193–218, 2001.
• Kaisa Sere, Marina Waldén, Data Refinement of Remote Procedures. Formal Aspects of Computing 12(4), 278–297, 2000.
• Marina Waldén, Kaisa Sere, Reasoning about Action Systems using the B-Method. Formal Methods in System Design 13(1), 5 – 35, 1998.
• Kaisa Sere, Marina Waldén, Reverse Engineering Distributed Algorithms. Journal of Software Maintenance and Evolution: Research and Practice 8(2), 117–144, 1996.

Articles in proceedings (53):

• Jonatan Wiik, Johan Ersfolk, Marina Waldén, A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. In: Patricia Derler, Sicun Gao (Eds.), Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE2018), 1–10, IEEE Computer Society, 2018.
• Sergey Ostroumov, Marina Waldén, Visual Component-Based Development of Formal Models. In: Mira Kajko-Mattsson, Pål Ellingsen, Paolo Maresca (Eds.), The Third International Conference on Advances and Trends in Software Engineering (SoftEng), 43–50, IARIA, 2017.
• Andrew Edmunds, Marta Olszewska, Marina Walden, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. In: Hermann Kaindl, Roberto Meli (Eds.), SOFTENG 2016: The Second International Conference on Advances and Trends in Software Engineering, 1–9, IARIA, 2016.
• Andrew Edmunds, Marina Waldén, On Component-Based Reuse for Event-B. In: M. Butler, K.-D. Schewe, A. Mashkoor, M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z, Lecture Notes in Computer Science 9675, 151–166, Springer, 2016.
• Andrew Edmunds, Marina Waldén, Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition. In: Leila Ribeiro, Thierry Lecomte (Eds.), Formal Methods: Foundations and Applications, Lecture Notes in Computer Science 10090, 97–111, Springer, 2016.
• Johan Ersfolk, Pontus Boström, Ville Timonen, Jan Westerholm, Jonatan Wiik, Otso Karhu, Matti Linjama, Marina Waldén, Optimal Digital Valve Control Using Embedded GPU. In: Janne Uusi-Heikkilä, Matti Linjama (Eds.), Preceedings of the Eight Workshop on Digital Fluid Power, 239–250, Tampere University of Technology, 2016.
• Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand, Tailoring Complexity Metrics for Simulink Models. In: Rami Bahsoon, Rainer Weinreich (Eds.), Proccedings of the 10th European Conference on Software Architecture Workshops, 1–7, ACM New York, 2016.
• Marta Olszewska, Sergey Ostroumov, Marina Waldén, Using Scrum to Develop a Formal Model – An Experience Report. In: Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen (Eds.), Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, LNCS 10027, 621–626, Springer International Publishing, 2016.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. In: Javier Campos, Boudewijn R. Haverkort (Eds.), Quantitative Evaluation of Systems (QEST'15), LNCS 9259, 312–328, Springer, 2015.
• Andrew Edmunds, Marina Walden, Colin Snook, Towards Component-Based Reuse for Event-B. In: Luca Aceto, Anna Ingolfsdottir (Eds.), Proceedings of the 27th Nordic Workshop on Programming Theory, 1–3, Reykjavik University, Iceland, 2015.
• Marta Olszewska, Marina Waldén, DevOps Meets Formal Modelling in High-Criticality Complex Systems. In: Danilo Ardagna, Andreas Brunnert, Giuliano Casale, Andre van Hoorn (Eds.), QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps, ACM , 7–12, ACM New York, 2015.
• Sergey Ostroumov, Pontus Boström, Marina Walden, Derivation of Parallel and Resilient Programs from Simulink Models. In: Lisa O'Conner (Ed.), 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 416–420, Conference Publishing Services, 2015.
• Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. In: Frédéric Lang, Francesco Flammini (Eds.), Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science 8718, 33–47, Springer, 2014.
• Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama, Verification and Validation of a Pressure Control Unit for Hydraulic Systems. In: István Majzik, Marco Vieira (Eds.), Software Engineering for Resilient Systems, Lecture Notes in Computer Science 8785, 101–115, Springer, 2014.
• Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden, Parallel Development of Event-B Systems with Agile Methods. In: Mohammad Reza Mousavi, Walid Taha (Eds.), Proceedings of 26th Nordic Workshop on Programming Theory, NWPT '14, 1–3, Halmstad University, 2014.
• Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere, Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. In: César Benavente-Peces, Joaquim Filipe (Eds.), Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, 189 – 194 , SCITEPRESS, 2013.
• Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos, Jüri Vain, Modelling Critical Systems with Time Constraints in Event-B. In: Tarmo Uustalu, Jüri Vain (Eds.), Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13, 1–3, Tallin University of Technology, 2013.
• Mikko Huova, Miikka Ketonen, Petr Alexeev, Pontus Boström, Matti Linjama, Marina Waldén, Kaisa Sere, Simulations with Fault-Tolerant Controller Software of a Digital Valve. In: Arto Laamanen (Ed.), Proceedings of the Fifth Workshop on Digital Fluid Power - DFP12, Tampere, Finland, 223–242, Tampere University of Technology, Finland, 2012.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Concurrent Scheduling of Event-B Models. In: John Derrick, Eerke A. Boiten, Steve Reeves (Eds.), Proceedings 15th International Refinement Workshop, Electronic Proceedings in Theoretical Computer Science 55, 166–182, Open Publishing Association, 2011.
• Petter Sandvik, Kaisa Sere, Marina Waldén, Modelling BitTorrent-Like Streaming Piece Selection with Event-B. In: Marina Waldén, Luigia Petre (Eds.), Proceedings of the 22nd Nordic Workshop on Programming Theory, General Publication 57, 82–84, TUCS, 2010.
• Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén, Contract-based Design in Controller Development and its Evaluation. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009, 41, 21-27, Linköping University Electronic Press, Linköpings universitet, 2009.
• Mikko Huova, Marta Pląska, Lauri Siivonen, Matti Linjama, Marina Waldén, Matti Vilenius, Kaisa Sere, Controller Design of Digital Hydraulic Flow Control Valve. In: Proceedings of 11th Scandinavian International Conference on Fluid Power (SICFP'09), 2009.
• Marta Olszewska (Plaska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama, Quality Analysis of Simulink Models. In: Ina Schieferdecker, Stephan Goericke (Eds.), Software Quality Engineering. Proceedings of the CONQUEST 2009., 223-240, dpunkt.verlag GmbH, 2009.
• Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama, Quality Analysis of Simulink Models. In: Ina Schieferdecker, Stephan Goericke (Eds.), Proceedings of the CONQUEST 2009: "Software Quality Engineering", 223–240, dpunkt.verlag, 2009.
• Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén, Design and Validation of Digital Controllers for Hydraulics Systems. In: J. Vilenius, K. T. Koskimies, J. Uusi-Heikkilä (Eds.), Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), 1, 227-241, Tampere University of Technology, 2007.
• Pontus Boström, Lionel Morel, Marina Waldén, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. In: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.), Theoretical Aspects of Computing - ICTAC2007, Lecture Notes in Computer Science 4711, 79–93, Springer, 2007.
• Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén, Formal Transformation of Platform Independent Models into Platform Specific Models. In: Jacques Julliand, Olga Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science 4355, 186–200, Springer-Verlag, 2007.
• Fredrik Degerlund, Marina Waldén, Kaisa Sere, Implementation Issues Concerning the Action Systems Formalism. In: Hong Shen Quan Z. Sheng Henry Detmold Katrina E. Falkner Cruz Izu Paul D. Coddington Bradley Alexander David S. Munro, Si-Qing Zheng (Eds.), Proceedings of the Eighth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'07), 471-479, IEEE Computer Society Press, 2007.
• Matti Linjama, Mikko Huova, Pontus Boström, Arto Laamanen, Lauri Siivonen, Lionel Morel, Marina Waldén, Matti Vilenius, Design and Implementation of Energy Saving Digital Hydraulic Control System. In: J. Vilenius, K. T. Koskimies, J. Uusi-Heikkilä (Eds.), Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), 2, 341-359, Tampere University of Technology, 2007.
• Marta Plaska, Marina Walden, Colin Snook, Documenting the Progress of the System Development. In: Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.), Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings, 118-127, 2007.
• Marta Plaska, Marina Walden, Colin Snook, Visualising Program Transformations in a Stepwise Manner. In: Olaf Owe Gerardo Schneider Einar Broch Johnsen (Ed.), Proceedings of the 19th Nordic Workshop on Programming Theory, 87-89, University of Oslo, 2007.
• Colin Snook, Marina Waldén, Refinement of Statemachines Using Event B Semantics. In: Jacques Julliand, Olga Kouchnarenko (Eds.), B2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science 4355, 171–185, Springer Berlin / Heidelberg, 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.
• Pontus Boström, Marina Waldén, Development of Fault Tolernt Grid Applications Using Distributed B. In: Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.), 5th International Conference on Integrated Formal Methods, IFM2005, Lecture Notes in Computer Science 3771, 167–186, Springer, 2005.