Seguir
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ítulo
Citado por
Citado por
Añ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
2372001
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
2062015
LTSmin: Distributed and Symbolic Reachability
S Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1562010
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification
JF Groote, J van de Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
1451996
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
1102010
State space reduction by proving confluence
S Blom, J van de Pol
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
982002
Termination of higher-order rewrite systems
JC van de Pol
Univ. Utrecht, Faculteit Wijsbegeerte, 1996
821996
Termination proofs for higher-order rewrite systems
J Van de Pol
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
811993
Improved multi-core nested depth-first search
S Evangelista, A Laarman, L Petrucci, J Van De Pol
Automated Technology for Verification and Analysis: 10th International …, 2012
752012
Sylvan: multi-core framework for decision diagrams
T Van Dijk, J Van de Pol
International Journal on Software Tools for Technology Transfer 19, 675-696, 2017
722017
Sylvan: Multi-core decision diagrams
T Van Dijk, J Van De Pol
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
712015
Strict functionals for termination proofs
J Van de Pol, H Schwichtenberg
International Conference on Typed Lambda Calculi and Applications, 350-364, 1995
701995
The 2020 expert survey on formal methods
H Garavel, MH Beek, J Pol
Formal Methods for Industrial Critical Systems: 25th International …, 2020
662020
Multi-Core LTSmin: Marrying Modularity and Scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods, 506-511, 2011
662011
State space reduction using partial τ-confluence
JF Groote, J van de Pol
International Symposium on Mathematical Foundations of Computer Science, 383-393, 2000
652000
Multi-core nested depth-first search
A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs
Automated Technology for Verification and Analysis: 9th International …, 2011
642011
Distributed algorithms for SCC decomposition
J Barnat, J Chaloupka, J Van De Pol
Journal of Logic and Computation 21 (1), 23-44, 2011
632011
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, 83-90, 2010
632010
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
592008
Equational binary decision diagrams
J Friso Groote, J van de Pol
International Conference on Logic for Programming Artificial Intelligence …, 2000
592000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20