Stefan Blom

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 7

Top Topics

Formal Specification

Concurrent Programs

Asynchronous Circuits

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari
Correct program parallelisations. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
Program Correctness by Transformation. ISoLA (1) (2018)
Afshin Amighi, Marieke Huisman, Stefan Blom
Verification of Shared-Reading Synchronisers. MeTRiD@ETAPS (2018)
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE (2017)
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
The VerCors Tool Set: Verification of Parallel and Concurrent Software. IFM (2017)
Afshin Amighi, Stefan Blom, Marieke Huisman
VerCors: A Layered Approach to Practical Verification of Concurrent Software. PDP (2016)
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Future-based Static Analysis of Message Passing Programs. PLACES (2016)
Stefan Blom, Marieke Huisman
Witnessing the elimination of magic wands. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking. TACAS (2015)
Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
Specification and Verification of Atomic Operations in GPGPU Programs. SEFM (2015)
Stefan Blom, Saeed Darabi, Marieke Huisman
Verification of Loop Parallelisations. FASE (2015)
Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
History-Based Verification of Functional Behaviour of Concurrent Programs. SEFM (2015)
Stefan Blom, Marieke Huisman
The VerCors Tool for Verification of Concurrent Programs. FM (2014)
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors. SFM (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
Verifying Functional Behaviour of Concurrent Programs. FTfJP@ECOOP (2014)
Stefan Blom, Marieke Huisman, Matej Mihelcic
Specification and verification of GPGPU programs. Sci. Comput. Program. 95 (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman
Resource Protection Using Atomics - Patterns and Verification. APLAS (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java's Synchronisation Classes. PDP (2014)
Stefan Blom, Saeed Darabi, Marieke Huisman
Verifying Parallel Loops with Separation Logic. PLACES (2014)
Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference (2014)
Stefan Blom, Joseph Kiniry, Marieke Huisman
How Do Developers Use APIs? A Case Study in Concurrency. ICECCS (2013)
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
A History of BlockingQueues FLACOS (2012)
Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
The VerCors project: setting up basecamp. PLPV (2012)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21 (1) (2011)
Stefan Blom, Gijs Kant, Arend Rensink
Distributed Graph-Based State Space Generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Stefan Blom, Jaco van de Pol, Michael Weber
LTSmin: Distributed and Symbolic Reachability. CAV (2010)
Stefan Blom, Jaco van de Pol
Distributed Branching Bisimulation Minimization by Inductive Signatures PDMC (2009)
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
A Database Approach to Distributed State Space Generation. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Stefan Blom, Jaco van de Pol
Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC (2008)
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. 18 (1) (2008)
Stefan Blom
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
CRL: A Compendium of Case Studies. TACAS (2007)
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference (2006)
Stefan Blom, Simona Orzan
Distributed state space minimization. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Zena M. Ariola, Stefan Blom
-Skew Confluence and Abstract Böhm Semantics. Processes, Terms and Cycles (2005)
Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik
CRL. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
Simulated Time for Testing Railway Interlockings with TTCN-3. FATES (2005)
Stefan Blom, Simona Orzan
A distributed algorithm for strong bisimulation reduction of state spaces. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Stefan Blom
An Approximation Based Approach to Infinitary Lambda Calculi. RTA (2004)
Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
New developments around the mCRL tool set. Electron. Notes Theor. Comput. Sci. 80 (2003)
Stefan Blom, Wan J. Fokkink, Sumit Nain
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP (2003)
Stefan Blom, Simona Orzan
Distributed Branching Bisimulation Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Stefan Blom, Izak van Langevelde, Bert Lisser
Compressed and Distributed File Formats for Labeled Transition Systems. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Stefan Blom, Natalia Ioustinova, Natalia Sidorova
Timed Verification with µCRL. Ershov Memorial Conference (2003)
Stefan Blom, Simona Orzan
Distributed State Space Minimization. Electron. Notes Theor. Comput. Sci. 80 (2003)
Stefan Blom, Simona Orzan
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Stefan Blom, Jaco van de Pol
State Space Reduction by Proving Confluence. CAV (2002)
Zena M. Ariola, Stefan Blom
Skew confluence and the lambda calculus with letrec. Ann. Pure Appl. Log. 117 (1-3) (2002)
Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
µCRL: A Toolset for Analysing Algebraic Specifications. CAV (2001)
Zena M. Ariola, Stefan Blom
Cyclic Lambda Calculi. TACS (1997)
Stefan Blom
A Complete Proof System for Nested Term Graphs. HOA (1995)