Alfons Laarman

Cited by

	All	Since 2018
Citations	1045	473
h-index	18	12
i10-index	24	17

140

105

2010201120122013201420152016201720182019202020212022202313 30 58 74 112 86 104 80 121 105 66 60 68 50

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Peter LucasThe Bayesian Institute; University of Twente; guest at Radboud UniversityVerified email at cs.ru.nl
Ivan KurtevAltran NederlandVerified email at altran.com
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Vedran DunjkoLeiden UniversityVerified email at liacs.leidenuniv.nl
Henri HansenDocent, University Lecturer, Mathematics, Tampere UniversityVerified email at tuni.fi
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Alexandre Duret-LutzLRDE / EPITAVerified email at lrde.epita.fr
Mathys RennelaResearcher at INRIAVerified email at inria.fr
David FaragóKITVerified email at kit.edu
Tim CoopmansDelft University of TechnologyVerified email at tudelft.nl
David ElkoussOkinawa Institute of Science and Technology (OIST) & QuTech, TU DelftVerified email at oist.jp
Arjen HommersomAssociate professor at Open University of the NetherlandsVerified email at ou.nl
Thomas BäckProfessor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, NorwayVerified email at liacs.leidenuniv.nl
Stefan HillmichJohannes Kepler Universität LinzVerified email at jku.at
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de

Alfons Laarman

Leiden University

Verified email at liacs.leidenuniv.nl - Homepage

Formal Methods Parallel Computing Quantum Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LTSmin: High-Performance, Language-Independent Model Checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk TACAS 9035 (0302-9743), 692-707, 2015	182	2015
Boosting Multi-Core Reachability Performance with Shared Hash Tables A Laarman, J Van De Pol, M Weber Formal Methods in Computer-Aided Design (FMCAD), 2010, 247-255, 2010	109	2010
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	67	2012
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	61	2011
Multi-Core Nested Depth-First Search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis, 321-335, 2011	58	2011
Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010	53	2010
Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction A Laarman, MC Olesen, A Dalsgaard, KG Larsen, J van de Pol CAV 2013, 16, 2013	47	2013
Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011	47	2011
Multi-core on-the-fly SCC decomposition V Bloemen, A Laarman, J van de Pol Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016	43	2016
Guard-based partial-order reduction A Laarman, E Pater, J Van De Pol, H Hansen International journal on software tools for technology transfer 18 (4), 427-448, 2016	40	2016
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012	40	2012
Multi-core reachability for timed automata AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012	31	2012
Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018	30	2018
Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	29	2016
SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012	26	2012
Variations on multi-core nested depth-first search A Laarman, J van de Pol arXiv preprint arXiv:1111.0369, 2011	22	2011
Scalable multi-core model checking. A Laarman University of Twente, Enschede, Netherlands, 2014	20	2014
A parallel compact hash table S van der Vegt, A Laarman Mathematical and Engineering Methods in Computer Science: 7th International …, 2012	20	2012
Partial-order reduction for multi-core LTL model checking A Laarman, A Wijs Hardware and Software: Verification and Testing: 10th International Haifa …, 2014	18	2014
Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, and Jaco van de Pol. Multi-core emptiness checking of timed Büchi automata using inclusion abstraction A Laarman, M Chr CAV’13 8044, 968-983, 2013	14	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors