Jaco van de Pol

Jaco van de Pol

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435290
Aarhus Universitet
person_outline Jaco van de Pol's MOST POPULAR ARTICLES
1-) µCRL: A Toolset for Analysing Algebraic SpecificationsS Blom, W Fokkink, J Groote, I Van Langevelde, B Lisser, J van de PolComputer Aided Verification, 250-254, 20012302001
2-) LTSmin: high-performance language-independent model checkingG Kant, A Laarman, J Meijer, J Pol, S Blom, T DijkInternational Conference on Tools and Algorithms for the Construction and …, 20151712015
3-) LTSmin: Distributed and Symbolic ReachabilityS Blom, J Pol, M WeberInternational Conference on Computer Aided Verification, 354-359, 20101472010
4-) A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verificationJF Groote, J van de PolInternational Conference on Algebraic Methodology and Software Technology …, 19961451996
5-) Boosting multi-core reachability performance with shared hash tablesA Laarman, J van de Pol, M WeberFormal Methods in Computer Aided Design, 247-255, 20101092010