Stefan Blom
Stefan Blom
Verified email at utwente.nl
Title
Cited by
Cited by
Year
µCRL: A toolset for analysing algebraic specifications
S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol
International Conference on Computer Aided Verification, 250-254, 2001
2232001
LTSmin: Distributed and symbolic reachability
S Blom, J van de Pol, M Weber
International Conference on Computer Aided Verification, 354-359, 2010
1392010
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk
International Conference on Tools and Algorithms for the Construction and …, 2015
1342015
State space reduction by proving confluence
S Blom, J van de Pol
International Conference on Computer Aided Verification, 596-609, 2002
922002
Cyclic lambda calculi
ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
801997
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
712014
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
692003
A distributed algorithm for strong bisimulation reduction of state spaces
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (1), 74-86, 2005
602005
Skew confluence and the lambda calculus with letrec
ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
512002
A database approach to distributed state space generation
S Blom, B Lisser, J Van De Pol, M Weber
Electronic Notes in Theoretical Computer Science 198 (1), 17-32, 2008
502008
Symbolic reachability for process algebras with recursive data types
S Blom, J Van De Pol
International Colloquium on Theoretical Aspects of Computing, 81-95, 2008
472008
Specification and verification of GPGPU programs
S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
462014
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
International Conference on Integrated Formal Methods, 102-110, 2017
452017
Term Graph Rewriting. Syntax and semantics
SCC Blom
442001
Partial t-confluence for efficient state space generation
S Blom
442001
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005
422005
The VerCors project: Setting up basecamp
A Amighi, S Blom, M Huisman, M Zaharieva-Stojanovski
Proceedings of the sixth workshop on Programming languages meets program …, 2012
372012
On the axiomatizability of ready traces, ready simulation, and failure traces
S Blom, W Fokkink, S Nain
International Colloquium on Automata, Languages, and Programming, 109-118, 2003
322003
Distributed Analysis with CRL: A Compendium of Case Studies
S Blom, JR Calamé, B Lisser, S Orzan, J Pang, J Van De Pol, MT Dashti, ...
International Conference on Tools and Algorithms for the Construction and …, 2007
312007
Bridging the gap between enumerative and symbolic model checkers
SCC Blom, JC van de Pol, M Weber
CTIT, University of Twente, Enschede, Technical Report TRCTIT-09-30, 2009
282009
The system can't perform the operation now. Try again later.
Articles 1–20