Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Dirección de correo verificada de cs.au.dk - Página principal
TítuloCitado porAño
µ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
2182001
LTSmin: Distributed and symbolic reachability
S Blom, J van de Pol, M Weber
International Conference on Computer Aided Verification, 354-359, 2010
1302010
A bounded retransmission protocol for large data packets
JF Groote, J van de Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
1211996
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
1132015
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
972010
State space reduction by proving confluence
S Blom, J van de Pol
International Conference on Computer Aided Verification, 596-609, 2002
852002
Termination proofs for higher-order rewrite systems
J Van de Pol
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
751993
Termination of higher-order rewrite systems
JC van de Pol
Univ. Utrecht, Faculteit Wijsbegeerte, 1996
711996
Strict functionals for termination proofs
J Van de Pol, H Schwichtenberg
International Conference on Typed Lambda Calculi and Applications, 350-364, 1995
651995
State space reduction using partial τ-confluence
JF Groote, J van de Pol
International Symposium on Mathematical Foundations of Computer Science, 383-393, 2000
622000
Equational binary decision diagrams
JF Groote, J Van De Pol
International Conference on Logic for Programming Artificial Intelligence …, 2000
572000
Multi-Core LTSmin: Marrying Modularity and Scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods, 506-511, 2011
562011
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
542012
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
522011
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-2), 83-90, 2010
502010
Equivalence checking for infinite systems using parameterized boolean equation systems
T Chen, B Ploeger, J Van De Pol, TAC Willemse
International Conference on Concurrency Theory, 120-135, 2007
492007
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
482008
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
482005
Efficient modelling and generation of Markov automata
M Timmer, JP Katoen, J Van De Pol, MIA Stoelinga
International Conference on Concurrency Theory, 364-379, 2012
47*2012
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
462004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20