Stefan Blom - RankMe

52 papers A* 4A 2B 7C 5Journal 9Unranked 25

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