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

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196, Åbo Akademi University, 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.

Proceedings of the 29th Nordic Workshop on Programming Theory, TUCS Lecture Notes, TUCS, 2017.