![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Marina Waldén
Person information
- affiliation: Åbo Akademi University, Turku, Finland
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j15]Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén:
Applying guidelines for system modelling in Event-B - a systematic literature review. Int. J. Crit. Comput. Based Syst. 10(1): 1-36 (2020) - [c27]Fatima Shokri-Manninen, Leonidas Tsiopoulos
, Jüri Vain
, Marina Waldén:
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ 2020: 186-202 - [c26]Fatima Shokri-Manninen, Jüri Vain
, Marina Waldén:
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. SEFM 2020: 41-59
2010 – 2019
- 2019
- [j14]Marina Waldén:
NWPT 2017 - Special issue. J. Log. Algebraic Methods Program. 105: 126 (2019) - 2018
- [c25]Jonatan Wiik, Johan Ersfolk, Marina Waldén:
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. MEMOCODE 2018: 78-87 - [i1]Johan Ersfolk, Miika Ahopelto, Wictor Lund, Jonatan Wiik, Marina Waldén, Matti Linjama, Jan Westerholm:
Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach. CoRR abs/1803.05644 (2018) - 2016
- [c24]Andrew Edmunds, Colin F. Snook
, Marina Waldén:
On Component-Based Reuse for Event-B. ABZ 2016: 151-166 - [c23]Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand:
Tailoring complexity metrics for simulink models. ECSA Workshops 2016: 5 - [c22]Marta Olszewska, Sergey Ostroumov, Marina Waldén:
Using Scrum to Develop a Formal Model - An Experience Report. PROFES 2016: 621-626 - [c21]Andrew Edmunds, Marina Waldén:
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. SBMF 2016: 97-111 - [p2]Mats Neovius, Mauno Rönkkö, Marina Waldén:
A Provably Correct Resilience Mediator Pattern. From Action Systems to Distributed Systems 2016: 125-139 - 2015
- [c20]Sergey Ostroumov, Pontus Boström
, Marina Waldén:
Derivation of Parallel and Resilient Programs from Simulink Models. PDP 2015: 416-420 - [c19]Pontus Boström
, Mikko Heikkilä, Mikko Huova
, Marina Waldén, Matti Linjama
:
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. QEST 2015: 312-328 - [c18]Marta Olszewska, Marina Waldén:
DevOps meets formal modelling in high-criticality complex systems. QUDOS@SIGSOFT FSE 2015: 7-12 - 2014
- [j13]Luigia Petre, Elena Troubitsyna, Marina Waldén:
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26(2): 197-201 (2014) - [j12]Pontus Boström
, Fredrik Degerlund, Kaisa Sere, Marina Waldén:
Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. 26(2): 281-303 (2014) - [c17]Pontus Boström
, Petr Alexeev, Mikko Heikkilä, Mikko Huova
, Marina Waldén, Matti Linjama
:
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. FMICS 2014: 33-47 - [c16]Pontus Boström
, Mikko Heikkilä, Mikko Huova
, Marina Waldén, Matti Linjama
:
Verification and Validation of a Pressure Control Unit for Hydraulic Systems. SERENE 2014: 101-115 - 2013
- [c15]Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere:
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. PECCS 2013: 189-194 - 2012
- [j11]Marina Waldén, Luigia Petre:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 81(3): 161 (2012) - 2011
- [c14]Pontus Boström
, Fredrik Degerlund, Kaisa Sere, Marina Waldén:
Concurrent Scheduling of Event-B Models. Refine@FM 2011: 166-182
2000 – 2009
- 2009
- [p1]Marta Plaska, Marina Waldén, Colin F. Snook
:
Documenting the Progress of the System Development. Methods, Models and Tools for Fault Tolerance 2009: 251-274 - 2008
- [j10]Mauno Rönkkö, Marina Waldén, Ralph-Johan Back:
Beyond particle systems: Operator networks. Simul. Model. Pract. Theory 16(7): 834-847 (2008) - 2007
- [c13]Colin F. Snook
, Marina Waldén:
Refinement of Statemachines Using Event B Semantics. B 2007: 171-185 - [c12]Pontus Boström
, Mats Neovius, Ian Oliver, Marina Waldén:
Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200 - [c11]Pontus Boström
, Lionel Morel, Marina Waldén:
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 - [c10]Fredrik Degerlund, Marina Waldén, Kaisa Sere:
Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479 - 2006
- [j9]Leonidas Tsiopoulos, Marina Waldén:
Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006) - [c9]Luigia Petre, Kaisa Sere, Marina Waldén:
A Language for Modeling Network Availability. ICFEM 2006: 639-659 - 2005
- [j8]Juha Plosila
, Kaisa Sere, Marina Waldén:
Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005) - [c8]Pontus Boström
, Marina Waldén:
Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186 - [c7]Pontus Boström
, Marina Waldén:
An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161 - 2004
- [j7]Kaisa Sere, Marina Waldén:
Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004) - [j6]Pontus Boström, Marina Waldén:
Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11(2): 75-101 (2004) - 2003
- [e1]Didier Bert, Jonathan P. Bowen
, Steve King, Marina Waldén:
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5 [contents] - 2002
- [c6]Juha Plosila, Kaisa Sere, Marina Waldén:
Design with Asynchronously Communicating Components. FMCO 2002: 424-442 - 2001
- [j5]Kaisa Sere, Marina Waldén:
Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001) - 2000
- [j4]Kaisa Sere, Marina Waldén:
Data Refinement of Remote Procedures. Formal Aspects Comput. 12(4): 278-297 (2000)
1990 – 1999
- 1999
- [c5]Luigia Petre, Kaisa Sere, Marina Waldén:
A topological approach to distributed computing. WDS@FCT 1999: 59-80 - 1998
- [j3]Marina Waldén, Kaisa Sere:
Reasoning about Action Systems using the B-Method. Formal Methods Syst. Des. 13(1): 5-35 (1998) - [c4]Marina Waldén:
Layering Distributed Algorithms within the B-Method. B 1998: 243-260 - 1997
- [c3]Kaisa Sere, Marina Waldén:
Data Refinement and Remote Procedures. TACS 1997: 267-294 - 1996
- [j2]Kaisa Sere, Marina Waldén:
Reverse Engineering Distributed Algorithms. J. Softw. Maintenance Res. Pract. 8(2): 117-144 (1996) - [c2]Marina Waldén, Kaisa Sere:
Refining Action Systems within B-Tool. FME 1996: 85-104 - 1994
- [c1]Kaisa Sere, Marina Waldén:
Verification of a Distributed Algorithm (Abstract). PODC 1994: 391
1980 – 1989
- 1989
- [j1]Marina Waldén, Kaisa Sere:
Free text retrieval on transputer networks. Microprocess. Microsystems 13(3): 179-187 (1989)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint