µ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
237 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
206 2015 LTSmin: Distributed and Symbolic ReachabilityS Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
156 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
113 2017 State space reduction by proving confluence S Blom, J van de Pol
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
98 2002 The VerCors tool for verification of concurrent programs S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
87 2014 Cyclic lambda calculi ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
84 1997 Distributed branching bisimulation reduction of state spaces S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
74 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
69 2005 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
59 2008 Skew confluence and the lambda calculus with letrec ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
58 2002 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
57 2008 Specification and verification of GPGPU programs S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
53 2014 Distributed state space minimization S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
50 2005 Partial -confluence for efficient state space generation SCC Blom
CWI (Centre for Mathematics and Computer Science), 2001
48 2001 Term Graph Rewriting. Syntax and semantics SCC Blom
45 2001 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
40 2012 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
34 2002 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
32 2008