Stefan Blom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
13
Active years
2001–2018
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISoLA | Program Correctness by Transformation. | Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari |
| 2017 | IFM | The VerCors Tool Set: Verification of Parallel and Concurrent Software. | Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
| 2016 | PDP | VerCors: A Layered Approach to Practical Verification of Concurrent Software. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2015 | FASE | Verification of Loop Parallelisations. | Stefan Blom, Saeed Darabi, Marieke Huisman |
| 2015 | SEFM | Specification and Verification of Atomic Operations in GPGPU Programs. | Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
| 2015 | SEFM | History-Based Verification of Functional Behaviour of Concurrent Programs. | Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
| 2015 | TACAS | LTSmin: High-Performance Language-Independent Model Checking. | Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk |
| 2014 | APLAS | Resource Protection Using Atomics - Patterns and Verification. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2014 | ECOOP | Verifying Functional Behaviour of Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
| 2014 | FM | The VerCors Tool for Verification of Concurrent Programs. | Stefan Blom, Marieke Huisman |
| 2014 | PDP | Formal Specifications for Java's Synchronisation Classes. | Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |
| 2013 | ICECCS | How Do Developers Use APIs? A Case Study in Concurrency. | Stefan Blom, Joseph Kiniry, Marieke Huisman |
| 2010 | CAV | LTSmin: Distributed and Symbolic Reachability. | Stefan Blom, Jaco van de Pol, Michael Weber |
| 2008 | ICTAC | Symbolic Reachability for Process Algebras with Recursive Data Types. | Stefan Blom, Jaco van de Pol |
| 2007 | TACAS | Distributed Analysis with | Stefan Blom, Jens R. Calam, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
| 2003 | ICALP | On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. | Stefan Blom, Wan J. Fokkink, Sumit Nain |
| 2002 | CAV | State Space Reduction by Proving Confluence. | Stefan Blom, Jaco van de Pol |
| 2001 | CAV | µCRL: A Toolset for Analysing Algebraic Specifications. | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |