M. Waldén
发表
K. Sere,
M. Waldén,
1996
.
E. Troubitsyna,
M. Waldén,
L. Petre,
2014,
Formal Aspects of Computing.
Johan Ersfolk,
M. Linjama,
Wictor Lund,
2018
.
Alexander Serebrenik,
Marina Waldén,
Mark van den Brand,
2016,
ECSA Workshops.
Kaisa Sere,
Luigia Petre,
Marina Waldén,
2012
.
Marina Waldén,
Marta Olszewska,
M. Waldén,
2015,
QUDOS@SIGSOFT FSE.
Marina Waldén,
Jüri Vain,
Fatima Shokri-Manninen,
2020,
SEFM.
Mauno Rönkkö,
Marina Waldén,
Ralph-Johan Back,
2008,
Simul. Model. Pract. Theory.
Kaisa Sere,
Marina Waldén,
Fredrik Degerlund,
2007,
Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007).
Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach
pdf
Wictor Lund,
Johan Ersfolk,
Marina Waldén,
2018,
ArXiv.
Marina Waldén,
Andrew Edmunds,
M. Waldén,
2016,
SBMF.
Colin F. Snook,
Marina Waldén,
Andrew Edmunds,
2016,
ABZ.
Marina Waldén,
Andrew Edmunds,
Marta Olszewska,
2016
.
Kaisa Sere,
Marina Waldén,
Pontus Boström,
2012,
Formal Aspects of Computing.
Kaisa Sere,
Marina Waldén,
Pontus Boström,
2011,
Refine@FM.
Kaisa Sere,
Marina Waldén,
Luigia Petre,
2006,
ICFEM.
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2005,
Sci. Comput. Program..
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2002,
FMCO.
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2000
.
Kaisa Sere,
Luigia Petre,
Marina Waldén,
2012
.
Marina Waldén,
Pontus Boström,
M. Waldén,
2004,
Nord. J. Comput..
Kaisa Sere,
Matti Linjama,
Mikko Heikkilä,
2009
.
Marina Waldén,
Marta Pląska,
M. Plaska,
2008
.
Leonidas Tsiopoulos,
Marina Waldén,
Leonidas Tsiopoulos,
2006,
Nord. J. Comput..
Colin F. Snook,
Marina Waldén,
Marta Plaska,
2009,
Methods, Models and Tools for Fault Tolerance.
Colin F. Snook,
Marina Waldén,
C. Snook,
2007,
B.
C. Snook,
M. Waldén,
2007
.
C. Snook,
M. Waldén,
2005
.
Marina Waldén,
Sergey Ostroumov,
Marta Olszewska,
2016,
PROFES.
M. Waldén,
S. Ostroumov,
2017
.