A Complete Proof System for Nested Term Graphs. - Stefan Blom (HOA, 1995)

Cyclic Lambda Calculi. - Zena M. Ariola; Stefan Blom (TACS, 1997)

µCRL: A Toolset for Analysing Algebraic Specifications. - Stefan Blom; Wan J. Fokkink; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (CAV, 2001)

State Space Reduction by Proving Confluence. - Stefan Blom; Jaco van de Pol (CAV, 2002)

Skew confluence and the lambda calculus with letrec. - Zena M. Ariola; Stefan Blom (Ann. Pure Appl. Log., 2002)

Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. - Stefan Blom (TERMGRAPH, 2002)

Timed Verification with µCRL. - Stefan Blom; Natalia Ioustinova; Natalia Sidorova (Ershov Memorial Conference, 2003)

On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. - Stefan Blom; Wan J. Fokkink; Sumit Nain (ICALP, 2003)

New developments around the mCRL tool set. - Stefan Blom; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (FMICS, 2003)

Compressed and Distributed File Formats for Labeled Transition Systems. - Stefan Blom; Izak van Langevelde; Bert Lisser (PDMC@CAV, 2003)

Distributed Branching Bisimulation Reduction of State Spaces. - Stefan Blom; Simona Orzan (PDMC@CAV, 2003)

An Approximation Based Approach to Infinitary Lambda Calculi. - Stefan Blom (RTA, 2004)

Analysing the BKE-security Protocol with µCRL. - Stefan Blom; Jan Friso Groote; Sjouke Mauw; Alexander Serebrenik (ARTS, 2004)

Skew and omega-Skew Confluence and Abstract Böhm Semantics. - Zena M. Ariola; Stefan Blom (Processes, Terms and Cycles, 2005)

Simulated Time for Testing Railway Interlockings with TTCN-3. - Stefan Blom; Natalia Ioustinova; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (FATES, 2005)

A distributed algorithm for strong bisimulation reduction of state spaces. - Stefan Blom; Simona Orzan (Int. J. Softw. Tools Technol. Transf., 2005)

Distributed state space minimization. - Stefan Blom; Simona Orzan (Int. J. Softw. Tools Technol. Transf., 2005)

TTCN-3 for Distributed Testing Embedded Software. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Ershov Memorial Conference, 2006)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Symbolic Reachability for Process Algebras with Recursive Data Types. - Stefan Blom; Jaco van de Pol (ICTAC, 2008)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. - Stefan Blom; Boudewijn R. Haverkort; Matthias Kuntz; Jaco van de Pol (PDMC@ETAPS, 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 Branching Bisimulation Minimization by Inductive Signatures - Stefan Blom; Jaco van de Pol (PDMC, 2009)

LTSmin: Distributed and Symbolic Reachability. - Stefan Blom; Jaco van de Pol; Michael Weber 002 (CAV, 2010)

Distributed Graph-Based State Space Generation. - Stefan Blom; Gijs Kant; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Database Approach to Distributed State-Space Generation. - Stefan Blom; Bert Lisser; Jaco van de Pol; Michael Weber 002 (J. Log. Comput., 2011)

The VerCors project: setting up basecamp. - Afshin Amighi; Stefan Blom; Marieke Huisman; Marina Zaharieva-Stojanovski (PLPV, 2012)

A History of BlockingQueues - Marina Zaharieva-Stojanovski; Marieke Huisman; Stefan Blom (FLACOS, 2012)

How Do Developers Use APIs? A Case Study in Concurrency. - Stefan Blom; Joseph Kiniry; Marieke Huisman (ICECCS, 2013)

Resource Protection Using Atomics - Patterns and Verification. - Afshin Amighi; Stefan Blom; Marieke Huisman (APLAS, 2014)

Verifying Functional Behaviour of Concurrent Programs. - Marina Zaharieva-Stojanovski; Marieke Huisman; Stefan Blom (FTfJP@ECOOP, 2014)

The VerCors Tool for Verification of Concurrent Programs. - Stefan Blom; Marieke Huisman (FM, 2014)

Read, Write and Copy Dependencies for Symbolic Model Checking. - Jeroen Meijer; Gijs Kant; Stefan Blom; Jaco van de Pol (Haifa Verification Conference, 2014)

Formal Specifications for Java's Synchronisation Classes. - Afshin Amighi; Stefan Blom; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (PDP, 2014)

Verification of Concurrent Systems with VerCors. - Afshin Amighi; Stefan Blom; Saeed Darabi; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (SFM, 2014)

Verifying Parallel Loops with Separation Logic. - Stefan Blom; Saeed Darabi; Marieke Huisman (PLACES, 2014)

Specification and verification of GPGPU programs. - Stefan Blom; Marieke Huisman; Matej Mihelcic (Sci. Comput. Program., 2014)

Verification of Loop Parallelisations. - Stefan Blom; Saeed Darabi; Marieke Huisman (FASE, 2015)

Specification and Verification of Atomic Operations in GPGPU Programs. - Afshin Amighi; Saeed Darabi; Stefan Blom; Marieke Huisman (SEFM, 2015)

History-Based Verification of Functional Behaviour of Concurrent Programs. - Stefan Blom; Marieke Huisman; Marina Zaharieva-Stojanovski (SEFM, 2015)

LTSmin: High-Performance Language-Independent Model Checking. - Gijs Kant; Alfons Laarman; Jeroen Meijer; Jaco van de Pol; Stefan Blom; Tom van Dijk (TACAS, 2015)

Witnessing the elimination of magic wands. - Stefan Blom; Marieke Huisman (Int. J. Softw. Tools Technol. Transf., 2015)

VerCors: A Layered Approach to Practical Verification of Concurrent Software. - Afshin Amighi; Stefan Blom; Marieke Huisman (PDP, 2016)

Future-based Static Analysis of Message Passing Programs. - Wytse Oortwijn; Stefan Blom; Marieke Huisman (PLACES, 2016)

The VerCors Tool Set: Verification of Parallel and Concurrent Software. - Stefan Blom; Saeed Darabi; Marieke Huisman; Wytse Oortwijn (IFM, 2017)

A Verification Technique for Deterministic Parallel Programs. - Saeed Darabi; Stefan C. C. Blom; Marieke Huisman (NFM, 2017)

An Abstraction Technique for Describing Concurrent Program Behaviour. - Wytse Oortwijn; Stefan Blom; Dilian Gurov; Marieke Huisman; Marina Zaharieva-Stojanovski (VSTTE, 2017)

Program Correctness by Transformation. - Marieke Huisman; Stefan Blom; Saeed Darabi; Mohsen Safari (ISoLA (1), 2018)

Verification of Shared-Reading Synchronisers. - Afshin Amighi; Marieke Huisman; Stefan Blom (MeTRiD@ETAPS, 2018)

Correct program parallelisations. - Stefan Blom; Saeed Darabi; Marieke Huisman; Mohsen Safari (Int. J. Softw. Tools Technol. Transf., 2021)