Where academic tradition
meets the exciting future

Marina Waldén

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

TUCS Research Unit: Distributed Systems Laboratory (DS Lab)

Alumni:

Pontus Boström (Åbo Akademi University, Department of Information Technologies)

Fredrik Degerlund (Åbo Akademi University, Department of Information Technologies)

Marta Olszewska (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

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.

Mats Neovius, Mauno Rönkkö, Marina Waldén, A Provably Correct Resilience Mediator Pattern. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, 125–141, Taylor & Francis, 2016.

Marta Olszewska, Sergey Ostroumov, Marina Waldén, Synergising Event-B and Scrum – Experimentation on a Formal Development in an Agile Setting. TUCS Technical Reports 1152, TUCS, 2016.