Marina Waldén
发表
Mauno Rönkkö,
Marina Waldén,
Ralph-Johan Back,
2008,
Simul. Model. Pract. Theory.
Kaisa Sere,
Marina Waldén,
1989,
Microprocess. Microsystems.
Kaisa Sere,
Marina Waldén,
Pontus Boström,
2012,
Formal Aspects of Computing.
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2005,
Sci. Comput. Program..
Colin F. Snook,
Marina Waldén,
Andrew Edmunds,
2016,
ABZ.
Marina Waldén,
Marta Olszewska,
Fatima Shokri-Manninen,
2020
.
Marina Waldén,
Pontus Boström,
2005,
ZB.
Marina Waldén,
Matti Linjama,
Mikko Heikkilä,
2015,
QEST.
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,
Mats Neovius,
Pontus Boström,
2007,
B.
Mauno Rönkkö,
Marina Waldén,
Mats Neovius,
2016,
From Action Systems to Distributed Systems.
Marina Waldén,
Pontus Boström,
2005,
IFM.
Kaisa Sere,
Marina Waldén,
Luigia Petre,
2006,
ICFEM.
Leonidas Tsiopoulos,
Marina Waldén,
Leonidas Tsiopoulos,
2006,
Nord. J. Comput..
Kaisa Sere,
Marina Waldén,
1998,
Formal Methods Syst. Des..
Kaisa Sere,
Marina Waldén,
Luigia Petre,
1999,
Electron. Notes Theor. Comput. Sci..
Marina Waldén,
Elena Troubitsyna,
Luigia Petre,
2013,
Formal Aspects of Computing.
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2002,
FMCO.
Kaisa Sere,
Marina Waldén,
Juha Plosila,
2000
.
Colin F. Snook,
Marina Waldén,
C. Snook,
2007,
B.
Leonidas Tsiopoulos,
Marina Waldén,
Jüri Vain,
2020,
ABZ.
Marina Waldén,
Sergey Ostroumov,
Marta Olszewska,
2016,
PROFES.
Marina Waldén,
Matti Linjama,
Mikko Heikkilä,
2014,
SERENE.
Kaisa Sere,
Marina Waldén,
Pontus Boström,
2011,
Refine@FM.
Lionel Morel,
Marina Waldén,
Pontus Boström,
2007,
ICTAC.
Marina Waldén,
Matti Linjama,
Mikko Heikkilä,
2014,
FMICS.
Johan Ersfolk,
Marina Waldén,
Jonatan Wiik,
2018,
2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Kaisa Sere,
Marina Waldén,
Matti Linjama,
2013,
PECCS.
Kaisa Sere,
Marina Waldén,
2000,
Formal Aspects of Computing.
Kaisa Sere,
Marina Waldén,
1994,
PODC '94.
Marina Waldén,
2019,
J. Log. Algebraic Methods Program..
Kaisa Sere,
Marina Waldén,
2004,
Nord. J. Comput..
Marina Waldén,
Andrew Edmunds,
M. Waldén,
2016,
SBMF.
Marina Waldén,
Jüri Vain,
Fatima Shokri-Manninen,
2020,
SEFM.
Colin F. Snook,
Marina Waldén,
Marta Plaska,
2009,
Methods, Models and Tools for Fault Tolerance.
Alexander Serebrenik,
Marina Waldén,
Mark van den Brand,
2016,
ECSA Workshops.
Kaisa Sere,
Marina Waldén,
1997,
TACS.
Kaisa Sere,
Marina Waldén,
1996,
FME.
Marina Waldén,
Marta Olszewska,
Fatima Shokri-Manninen,
2020,
Int. J. Crit. Comput. Based Syst..
Marina Waldén,
Pontus Boström,
Sergey Ostroumov,
2015,
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Kaisa Sere,
Marina Waldén,
Fredrik Degerlund,
2007,
Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007).
Kaisa Sere,
Marina Waldén,
1996,
J. Softw. Maintenance Res. Pract..
Marina Waldén,
Pontus Boström,
M. Waldén,
2004,
Nord. J. Comput..
Marina Waldén,
1998,
B.
Kaisa Sere,
Marina Waldén,
2001,
Nord. J. Comput..
Marina Waldén,
Marta Olszewska,
M. Waldén,
2015,
QUDOS@SIGSOFT FSE.
Marina Waldén,
Marta Pląska,
M. Plaska,
2008
.
Leonidas Tsiopoulos,
Marina Waldén,
Jüri Vain,
2013
.
Lionel Morel,
Marina Waldén,
Matti Linjama,
2007
.
Marina Waldén,
Pontus Boström,
Micaela Jansson,
2003
.