Volgen
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Geverifieerd e-mailadres voor cs.au.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
µ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
2272001
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
1822015
LTSmin: Distributed and Symbolic Reachability
S Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1482010
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification
JF Groote, J van de Pol
Algebraic Methodology and Software Technology: 5th International Conference …, 1996
1341996
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
1092010
State space reduction by proving confluence
S Blom, J van de Pol
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
952002
Termination of higher-order rewrite systems
JC van de Pol
Univ. Utrecht, Faculteit Wijsbegeerte, 1996
831996
Termination proofs for higher-order rewrite systems
J Van de Pol
Higher-Order Algebra, Logic, and Term Rewriting: First International …, 1994
831994
Strict functionals for termination proofs
J Van de Pol, H Schwichtenberg
Typed Lambda Calculi and Applications: Second International Conference on …, 1995
721995
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
672012
State space reduction using partial τ-confluence
JF Groote, J van de Pol
Mathematical Foundations of Computer Science 2000: 25th International …, 2000
672000
Sylvan: Multi-core decision diagrams
T Van Dijk, J Van De Pol
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
652015
Distributed algorithms for SCC decomposition
J Barnat, J Chaloupka, J Van De Pol
Journal of Logic and Computation 21 (1), 23-44, 2011
622011
Multi-Core LTSmin: Marrying Modularity and Scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods, 506-511, 2011
612011
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
612010
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
582011
Equational binary decision diagrams
J Friso Groote, J van de Pol
Logic for Programming and Automated Reasoning: 7th International Conference …, 2000
582000
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
562017
Symbolic reachability for process algebras with recursive data types
S Blom, J Van De Pol
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
542008
Verification of a sliding window protocol in μCRL and PVS
B Badban, W Fokkink, JF Groote, J Pang, J Pol
Formal Aspects of Computing 17, 342-388, 2005
542005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20