Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
µCRL: A Toolset for Analysing Algebraic Specifications
S Blom, W Fokkink, J Groote, I Van Langevelde, B Lisser, J van de Pol
Computer Aided Verification, 250-254, 2001
2242001
LTSmin: Distributed and symbolic reachability
S Blom, J van de Pol, M Weber
International Conference on Computer Aided Verification, 354-359, 2010
1382010
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
1362015
A bounded retransmission protocol for large data packets
JF Groote, J van de Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
1251996
Boosting multi-core reachability performance with shared hash tables
A Laarman, J van de Pol, M Weber
Formal Methods in Computer Aided Design, 247-255, 2010
1012010
State space reduction by proving confluence
S Blom, J van de Pol
International Conference on Computer Aided Verification, 596-609, 2002
942002
Termination of higher-order rewrite systems
JC van de Pol
Univ. Utrecht, Faculteit Wijsbegeerte, 1996
771996
Termination proofs for higher-order rewrite systems
J Van de Pol
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
771993
State space reduction using partial τ-confluence
JF Groote, J van de Pol
International Symposium on Mathematical Foundations of Computer Science, 383-393, 2000
662000
Strict functionals for termination proofs
J Van de Pol, H Schwichtenberg
International Conference on Typed Lambda Calculi and Applications, 350-364, 1995
661995
Improved multi-core nested depth-first search
S Evangelista, A Laarman, L Petrucci, J Van De Pol
International Symposium on Automated Technology for Verification and …, 2012
602012
Multi-Core LTSmin: Marrying Modularity and Scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods, 506-511, 2011
582011
Equational binary decision diagrams
JF Groote, J Van De Pol
International Conference on Logic for Programming Artificial Intelligence …, 2000
572000
Distributed algorithms for SCC decomposition
J Barnat, J Chaloupka, J Van De Pol
Journal of Logic and Computation 21 (1), 23-44, 2011
562011
Towards model checking executable UML specifications in mCRL2
HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol
Innovations in Systems and Software Engineering 6 (1), 83-90, 2010
562010
Multi-core nested depth-first search
A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs
International Symposium on Automated Technology for Verification and …, 2011
532011
Verification of a sliding window protocol in μ CRL and PVS
B Badban, W Fokkink, JF Groote, J Pang, J van de Pol
Formal Aspects of Computing 17 (3), 342-388, 2005
522005
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
Verifying a Sliding Window Protocol in μCRL
W Fokkink, JF Groote, J Pang, B Badban, J Van De Pol
International Conference on Algebraic Methodology and Software Technology …, 2004
502004
Confluence reduction for Markov automata
M Timmer, JC van de Pol, MIA Stoelinga
Formal Modeling and Analysis of Timed Systems (FORMATS'13), 2013
492013
The system can't perform the operation now. Try again later.
Articles 1–20