Alfons Laarman

Cited by

	All	Since 2019
Citations	1263	557
h-index	20	13
i10-index	26	18

140

105

20102011201220132014201520162017201820192020202120222023202415 31 63 78 111 88 106 80 119 117 73 61 75 99 129

Public access

View all

18 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
Tim CoopmansDelft University of TechnologyVerified email at tudelft.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
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
Vedran DunjkoLeiden UniversityVerified email at liacs.leidenuniv.nl
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Peter J.F. LucasThe Bayesian Institute; University of Twente; guest at Radboud UniversityVerified email at cs.ru.nl
Ivan KurtevEindhoven University of TechnologyVerified email at tue.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Henri HansenDocent, University Lecturer, Data Science, Tampere UniversityVerified email at tuni.fi
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Alexandre Duret-LutzLRE / EPITAVerified email at lrde.epita.fr
David ElkoussOkinawa Institute of Science and Technology (OIST) & QuTech, TU DelftVerified email at oist.jp
Thomas BäckProfessor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, NorwayVerified email at liacs.leidenuniv.nl
Mathys RennelaResearcher at INRIAVerified email at welinq.fr
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Arjen HommersomAssociate professor at Open University of the NetherlandsVerified email at ou.nl
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl

Alfons Laarman

Leiden University

Verified email at liacs.leidenuniv.nl - Homepage

Reliable Computing 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	217	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	77	2012
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	67	2011
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	65	2011
Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010	56	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	51	2013
Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011	50	2011
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	45	2016
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	45	2016
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012	45	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	39	2018
SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012	32	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
Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher International Conference on Tools and Algorithms for the Construction and …, 2016	30	2016
Scalable multi-core model checking A Laarman	26	2014
LIMDD: A decision diagram for simulation of quantum computing including stabilizer states L Vinkhuijzen, T Coopmans, D Elkouss, V Dunjko, A Laarman Quantum 7, 1108, 2023	24	2023
A parallel compact hash table S van der Vegt, A Laarman International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011	24	2011
Variations on multi-core nested depth-first search A Laarman, J van de Pol arXiv preprint arXiv:1111.0369, 2011	22	2011
Partial-order reduction for multi-core LTL model checking A Laarman, A Wijs Hardware and Software: Verification and Testing: 10th International Haifa …, 2014	21	2014

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