Stefan Blom

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Correct program parallelisations.
Int. J. Softw. Tools Technol. Transf., 2021

2018
Verification of Shared-Reading Synchronisers.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Program Correctness by Transformation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017
An Abstraction Technique for Describing Concurrent Program Behaviour.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Verification Technique for Deterministic Parallel Programs.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Future-based Static Analysis of Message Passing Programs.
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.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015
Witnessing the elimination of magic wands.
Int. J. Softw. Tools Technol. Transf., 2015

LTSmin: High-Performance Language-Independent Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

History-Based Verification of Functional Behaviour of Concurrent Programs.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Specification and Verification of Atomic Operations in GPGPU Programs.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verification of Loop Parallelisations.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Specification and verification of GPGPU programs.
Sci. Comput. Program., 2014

Verifying Parallel Loops with Separation Logic.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Verification of Concurrent Systems with VerCors.
Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Read, Write and Copy Dependencies for Symbolic Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2014

The VerCors Tool for Verification of Concurrent Programs.
Proceedings of the FM 2014: Formal Methods, 2014

Verifying Functional Behaviour of Concurrent Programs.
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Resource Protection Using Atomics - Patterns and Verification.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
How Do Developers Use APIs? A Case Study in Concurrency.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

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

The VerCors project: setting up basecamp.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011
A Database Approach to Distributed State-Space Generation.
J. Log. Comput., 2011

2010
Distributed Graph-Based State Space Generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

LTSmin: Distributed and Symbolic Reachability.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Distributed Branching Bisimulation Minimization by Inductive Signatures
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.
Softw. Test. Verification Reliab., 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Symbolic Reachability for Process Algebras with Recursive Data Types.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
TTCN-3 for Distributed Testing Embedded Software.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
Distributed state space minimization.
Int. J. Softw. Tools Technol. Transf., 2005

A distributed algorithm for strong bisimulation reduction of state spaces.
Int. J. Softw. Tools Technol. Transf., 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Skew and <i>omega</i>-Skew Confluence and Abstract Böhm Semantics.
Proceedings of the Processes, 2005

2004
Analysing the BKE-security Protocol with <i>µ</i>CRL.
Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

An Approximation Based Approach to Infinitary Lambda Calculi.
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2003
Distributed Branching Bisimulation Reduction of State Spaces.
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Compressed and Distributed File Formats for Labeled Transition Systems.
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

New developments around the mCRL tool set.
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.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Timed Verification with µCRL.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.
Proceedings of the First International Workshop on Term Graph Rewriting, 2002

Skew confluence and the lambda calculus with letrec.
Ann. Pure Appl. Log., 2002

State Space Reduction by Proving Confluence.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
µCRL: A Toolset for Analysing Algebraic Specifications.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1997
Cyclic Lambda Calculi.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1995
A Complete Proof System for Nested Term Graphs.
Proceedings of the Higher-Order Algebra, 1995


  Loading...