Stefan Blom

According to our database, Stefan Blom authored at least 50 papers between 1995 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Correct program parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari

Int. J. Softw. Tools Technol. Transf., 2021

2018

Verification of Shared-Reading Synchronisers.

Afshin Amighi, Marieke Huisman, Stefan Blom

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Program Correctness by Transformation.

Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

An Abstraction Technique for Describing Concurrent Program Behaviour.

Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Verification Technique for Deterministic Parallel Programs.

Saeed Darabi, Stefan C. C. Blom, Marieke Huisman

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Future-based Static Analysis of Message Passing Programs.

Wytse Oortwijn, Stefan Blom, Marieke Huisman

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

VerCors: A Layered Approach to Practical Verification of Concurrent Software.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Witnessing the elimination of magic wands.

Stefan Blom, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

History-Based Verification of Functional Behaviour of Concurrent Programs.

Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Specification and Verification of Atomic Operations in GPGPU Programs.

Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verification of Loop Parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Specification and verification of GPGPU programs.

Stefan Blom, Marieke Huisman, Matej Mihelcic

Sci. Comput. Program., 2014

Verifying Parallel Loops with Separation Logic.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Read, Write and Copy Dependencies for Symbolic Model Checking.

Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2014

The VerCors Tool for Verification of Concurrent Programs.

Stefan Blom, Marieke Huisman

Proceedings of the FM 2014: Formal Methods, 2014

Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Resource Protection Using Atomics - Patterns and Verification.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

How Do Developers Use APIs? A Case Study in Concurrency.

Stefan Blom, Joseph Kiniry, Marieke Huisman

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

A History of BlockingQueues

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

The VerCors project: setting up basecamp.

Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

A Database Approach to Distributed State-Space Generation.

Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber

J. Log. Comput., 2011

2010

Distributed Graph-Based State Space Generation.

Stefan Blom, Gijs Kant, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

LTSmin: Distributed and Symbolic Reachability.

Stefan Blom, Jaco van de Pol, Michael Weber

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Distributed Branching Bisimulation Minimization by Inductive Signatures

Stefan Blom, Jaco van de Pol

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

2008

Simulated time for host-based testing with TTCN-3.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Softw. Test. Verification Reliab., 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Symbolic Reachability for Process Algebras with Recursive Data Types.

Stefan Blom, Jaco van de Pol

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

TTCN-3 for Distributed Testing Embedded Software.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Distributed state space minimization.

Stefan Blom, Simona Orzan

Int. J. Softw. Tools Technol. Transf., 2005

A distributed algorithm for strong bisimulation reduction of state spaces.

Stefan Blom, Simona Orzan

Int. J. Softw. Tools Technol. Transf., 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Skew and <i>omega</i>-Skew Confluence and Abstract Böhm Semantics.

Zena M. Ariola, Stefan Blom

Proceedings of the Processes, 2005

2004

Analysing the BKE-security Protocol with <i>µ</i>CRL.

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

An Approximation Based Approach to Infinitary Lambda Calculi.

Stefan Blom

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2003

Distributed Branching Bisimulation Reduction of State Spaces.

Stefan Blom, Simona Orzan

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Compressed and Distributed File Formats for Labeled Transition Systems.

Stefan Blom, Izak van Langevelde, Bert Lisser

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

New developments around the mCRL tool set.

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.

Stefan Blom, Wan J. Fokkink, Sumit Nain

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Timed Verification with µCRL.

Stefan Blom, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.

Stefan Blom

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

Skew confluence and the lambda calculus with letrec.

Zena M. Ariola, Stefan Blom

Ann. Pure Appl. Log., 2002

State Space Reduction by Proving Confluence.

Stefan Blom, Jaco van de Pol

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1997

Cyclic Lambda Calculi.

Zena M. Ariola, Stefan Blom

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

1995

A Complete Proof System for Nested Term Graphs.

Stefan Blom

Proceedings of the Higher-Order Algebra, 1995