Marina Waldén
Affiliations: Åbo Akademi University, Turku, Finland
According to our database^{1},
Marina Waldén
authored at least 45 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on users.abo.fi
On csauthors.net:
Bibliography
2020
Applying guidelines for system modelling in EventB  a systematic literature review.
Int. J. Crit. Comput. Based Syst., 2020
Proceedings of the Software Engineering and Formal Methods  18th International Conference, 2020
Integration of iUMLB and UPPAAL Timed Automata for Development of RealTime Systems with Concurrent Processes.
Proceedings of the Rigorous StateBased Methods  7th International Conference, 2020
2019
J. Log. Algebraic Methods Program., 2019
2018
Online Fault Identification of Digital Hydraulic Valves Using a Combined ModelBased and DataDriven Approach.
CoRR, 2018
A ContractBased Approach to Scheduling and Verification of Dynamic Dataflow Networks.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
2016
Proceedings of the Formal Methods: Foundations and Applications  19th Brazilian Symposium, 2016
Proceedings of the ProductFocused Software Process Improvement, 2016
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the From Action Systems to Distributed Systems  The Refinement Approach., 2016
2015
Proceedings of the 1st International Workshop on QualityAware DevOps, 2015
Bayesian Statistical Analysis for Performance Evaluation in RealTime Control Systems.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
2014
Formal Aspects Comput., 2014
Formal Aspects Comput., 2014
Proceedings of the Software Engineering for Resilient Systems  6th International Workshop, 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
2013
Faulttolerant Scheduling of Stateful Tasks in Uniprocessor Realtime Systems.
Proceedings of the PECCS 2013, 2013
2012
J. Log. Algebraic Methods Program., 2012
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
2009
Proceedings of the Methods, 2009
2008
Simul. Model. Pract. Theory, 2008
2007
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
Formal Transformation of Platform Independent Models into Platform Specific Models.
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2006
Formal Development of NoC Systems in B.
Nord. J. Comput., 2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
Sci. Comput. Program., 2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Guest Editors' Foreword.
Nord. J. Comput., 2004
Implementation of Control Systems Using B Action Systems: A Case Study.
Nord. J. Comput., 2004
2002
Proceedings of the Formal Methods for Components and Objects, 2002
2001
Nord. J. Comput., 2001
2000
Formal Aspects Comput., 2000
1999
Electron. Notes Theor. Comput. Sci., 1999
1998
Formal Methods Syst. Des., 1998
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1996
J. Softw. Maintenance Res. Pract., 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1989
Microprocess. Microsystems, 1989