Marina Waldén

Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, 2024

2020

Applying guidelines for system modelling in Event-B - a systematic literature review.

[BibT_eX]

[DOI]

Marta Olszewska

Fatima Shokri-Manninen

Andrew Edmunds

Int. J. Crit. Comput. Based Syst., 2020

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.

[BibT_eX]

[DOI]

Fatima Shokri-Manninen

Jüri Vain

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.

[BibT_eX]

[DOI]

Fatima Shokri-Manninen

Leonidas Tsiopoulos

Jüri Vain

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

NWPT 2017 - Special issue.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

2018

Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach.

[BibT_eX]

[DOI]

CoRR, 2018

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.

[BibT_eX]

[DOI]

Jonatan Wiik

Johan Ersfolk

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

2016

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.

[BibT_eX]

[DOI]

Andrew Edmunds

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Using Scrum to Develop a Formal Model - An Experience Report.

[BibT_eX]

[DOI]

Marta Olszewska

Sergey Ostroumov

Proceedings of the Product-Focused Software Process Improvement, 2016

Tailoring complexity metrics for simulink models.

[BibT_eX]

[DOI]

Mark G. J. van den Brand

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

On Component-Based Reuse for Event-B.

[BibT_eX]

[DOI]

Andrew Edmunds

Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

A Provably Correct Resilience Mediator Pattern.

[BibT_eX]

[DOI]

Mats Neovius

Mauno Rönkkö

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

DevOps meets formal modelling in high-criticality complex systems.

[BibT_eX]

[DOI]

Marta Olszewska

Proceedings of the 1st International Workshop on Quality-Aware DevOps, 2015

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Derivation of Parallel and Resilient Programs from Simulink Models.

[BibT_eX]

[DOI]

Sergey Ostroumov

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Kaisa Sere: In Memoriam.

[BibT_eX]

[DOI]

Elena Troubitsyna

Formal Aspects Comput., 2014

Derivation of concurrent programs by stepwise scheduling of Event-B models.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.

[BibT_eX]

Proceedings of the PECCS 2013, 2013

2012

Guest Editors' Foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

2011

Concurrent Scheduling of Event-B Models

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2009

Documenting the Progress of the System Development.

[BibT_eX]

[DOI]

Marta Plaska

Colin F. Snook

Proceedings of the Methods, 2009

2008

Beyond particle systems: Operator networks.

[BibT_eX]

[DOI]

Mauno Rönkkö

Ralph-Johan Back

Simul. Model. Pract. Theory, 2008

2007

Implementation Issues Concerning the Action Systems Formalism.

[BibT_eX]

[DOI]

Fredrik Degerlund

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Stepwise Development of Simulink Models Using the Refinement Calculus Framework.

[BibT_eX]

[DOI]

Lionel Morel

Proceedings of the Theoretical Aspects of Computing, 2007

Refinement of Statemachines Using Event B Semantics.

[BibT_eX]

[DOI]

Colin F. Snook

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Formal Transformation of Platform Independent Models into Platform Specific Models.

[BibT_eX]

[DOI]

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Formal Development of NoC Systems in B.

[BibT_eX]

Leonidas Tsiopoulos

Nord. J. Comput., 2006

A Language for Modeling Network Availability.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Asynchronous system synthesis.

[BibT_eX]

[DOI]

Juha Plosila

Sci. Comput. Program., 2005

An Extension of Event B for Developing Grid Systems.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development of Fault Tolerant Grid Applications Using Distributed B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Guest Editors' Foreword.

[BibT_eX]

Nord. J. Comput., 2004

Implementation of Control Systems Using B Action Systems: A Case Study.

[BibT_eX]

Nord. J. Comput., 2004

2002

Design with Asynchronously Communicating Components.

[BibT_eX]

[DOI]

Juha Plosila

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Structuring and Verifying Distributed Algorithms.

[BibT_eX]

[DOI]

Nord. J. Comput., 2001

2000

Data Refinement of Remote Procedures.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

1999

A topological approach to distributed computing.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Distributed Systems, 1999

1998

Reasoning about Action Systems using the B-Method.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1998

Layering Distributed Algorithms within the B-Method.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Data Refinement and Remote Procedures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Reverse Engineering Distributed Algorithms.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1996

Refining Action Systems within B-Tool.

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Verification of a Distributed Algorithm (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1989

Free text retrieval on transputer networks.

[BibT_eX]

[DOI]