Alfons Laarman

Alfons Laarman

Leiden University - Leiden / Netherlands
Natural Sciences / Physics
AD Scientific Index ID: 4685900
Universiteit Leiden
person_outline Alfons Laarman's MOST POPULAR ARTICLES
1-) LTSmin: High-Performance, Language-Independent Model CheckingG Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van DijkTACAS 9035 (0302-9743), 692-707, 20152062015
2-) Boosting Multi-Core Reachability Performance with Shared Hash TablesA Laarman, J Van De Pol, M WeberFormal Methods in Computer-Aided Design (FMCAD), 2010, 247-255, 20101102010
3-) Improved multi-core nested depth-first searchS Evangelista, A Laarman, L Petrucci, J Van De PolAutomated Technology for Verification and Analysis: 10th International …, 2012752012
4-) Multi-Core Nested Depth-First SearchA Laarman, R Langerak, J Van De Pol, M Weber, A WijsAutomated Technology for Verification and Analysis, 321-335, 2011672011
5-) Multi-Core LTSmin: Marrying Modularity and ScalabilityA Laarman, J van de Pol, M WeberNASA Formal Methods, 506-511, 2011652011