µ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
233 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
182 2015 LTSmin: Distributed and Symbolic ReachabilityS Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
146 2010 State space reduction by proving confluence S Blom, J van de Pol
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
99 2002 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
88 2017 The VerCors tool for verification of concurrent programs S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
88 2014 Cyclic lambda calculi ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
82 1997 Distributed branching bisimulation reduction of state spaces S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
77 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
59 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
53 2008 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
52 2008 Specification and verification of GPGPU programs S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
51 2014 Distributed state space minimization S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
49 2005 Partial SCC Blom
Software Engineering [SEN], 2001
47 2001 Term Graph Rewriting. Syntax and semantics SCC Blom
46 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
41 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
33 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 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
31 2003 
Marieke HuismanDirección de correo verificada de ewi.utwente.nl
