| 2026 | SIMULTECH | Integrating Dual-Behaviour Components into the Refinement-Based Workflow Modeling Approach. | Yevheniia Yehorova, Marina Waldn |
| 2024 | SIMULTECH | A Layering Approach with Role-based Workflow Modelling for the Enterprise Workflow. | Yevheniia Yehorova, Marina Waldn |
| 2020 | SEFM | Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. | Fatima Shokri-Manninen, Jri Vain, Marina Waldn |
| 2018 | MEMOCODE | A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. | Jonatan Wiik, Johan Ersfolk, Marina Waldn |
| 2016 | ECSA | Tailoring complexity metrics for simulink models. | Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldn, Mark G. J. van den Brand |
| 2016 | PROFES | Using Scrum to Develop a Formal Model - An Experience Report. | Marta Olszewska, Sergey Ostroumov, Marina Waldn |
| 2015 | PDP | Derivation of Parallel and Resilient Programs from Simulink Models. | Sergey Ostroumov, Pontus Bostrm, Marina Waldn |
| 2014 | FMICS | Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. | Pontus Bostrm, Petr Alexeev, Mikko Heikkil, Mikko Huova, Marina Waldn, Matti Linjama |
| 2007 | ICTAC | Stepwise Development of Simulink Models Using the Refinement Calculus Framework. | Pontus Bostrm, Lionel Morel, Marina Waldn |
| 2007 | PDCAT | Implementation Issues Concerning the Action Systems Formalism. | Fredrik Degerlund, Marina Waldn, Kaisa Sere |
| 2006 | ICFEM | A Language for Modeling Network Availability. | Luigia Petre, Kaisa Sere, Marina Waldn |
| 2005 | IFM | Development of Fault Tolerant Grid Applications Using Distributed B. | Pontus Bostrm, Marina Waldn |
| 1996 | FM | Refining Action Systems within B-Tool. | Marina Waldn, Kaisa Sere |
| 1994 | PODC | Verification of a Distributed Algorithm (Abstract). | Kaisa Sere, Marina Waldn |