| µ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 | 224 | 2001 |
| 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 | 145 | 2015 |
| LTSmin: Distributed and symbolic reachability S Blom, J van de Pol, M Weber International Conference on Computer Aided Verification, 354-359, 2010 | 139 | 2010 |
| State space reduction by proving confluence S Blom, J van de Pol International Conference on Computer Aided Verification, 596-609, 2002 | 95 | 2002 |
| Cyclic lambda calculi ZM Ariola, S Blom International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997 | 80 | 1997 |
| The VerCors tool for verification of concurrent programs S Blom, M Huisman International Symposium on Formal Methods, 127-131, 2014 | 75 | 2014 |
| Distributed branching bisimulation reduction of state spaces S Blom, S Orzan Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003 | 70 | 2003 |
| 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 | 59 | 2005 |
| 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 | 50 | 2017 |
| 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 | 50 | 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 | 50 | 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 | 48 | 2008 |
| Partial t-confluence for efficient state space generation S Blom | 47 | 2001 |
| Specification and verification of GPGPU programs S Blom, M Huisman, M Mihelčić Science of Computer Programming 95, 376-388, 2014 | 45 | 2014 |
| Term Graph Rewriting. Syntax and semantics SCC Blom | 44 | 2001 |
| Distributed state space minimization S Blom, S Orzan International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005 | 42 | 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 | 39 | 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 |
| 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 |
| 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 | 28 | 2009 |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
