µCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
238 2001 LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
225 2015 LTSmin: Distributed and Symbolic ReachabilityS Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
164 2010 The VerCors tool set: verification of parallel and concurrent software S Blom, S Darabi, M Huisman, W Oortwijn
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
134 2017 The VerCors tool for verification of concurrent programs S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
98 2014 State space reduction by proving confluence S Blom, J van de Pol
International Conference on Computer Aided Verification, 596-609, 2002
98 2002 Cyclic lambda calculi ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
85 1997 Distributed branching bisimulation reduction of state spaces S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
78 2003 A distributed algorithm for strong bisimulation reduction of state spaces S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 74-86, 2005
68 2005 Skew confluence and the lambda calculus with letrec ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
61 2002 Specification and verification of GPGPU programs S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
60 2014 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
60 2008 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
60 2008 Distributed state space minimization S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
48 2005 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
47 2012 Partial SCC Blom
CWI (Centre for Mathematics and Computer Science), 2001
47 2001 Term Graph Rewriting. Syntax and semantics SCC Blom
42 2001 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
35 2007 A distributed algorithm for strong bisimulation reduction of state spaces S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 68 (4), 523-538, 2002
33 2002 Verification of loop parallelisations S Blom, S Darabi, M Huisman
Fundamental Approaches to Software Engineering: 18th International …, 2015
31 2015 
Marieke HuismanVahvistettu sähköpostiosoite verkkotunnuksessa ewi.utwente.nl
