Alfons Laarman

Cited by

	All	Since 2018
Citations	994	423
h-index	18	12
i10-index	22	14

140

105

2010201120122013201420152016201720182019202020212022202313 30 59 73 112 86 103 80 121 104 67 59 66 5

Public access

View all

12 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
Michael WeberInstart LogicVerified email at foldr.org
Tom van DijkUniversity of TwenteVerified email at utwente.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Gijs KantPhD Student in Computer Science, University of TwenteVerified email at cs.utwente.nl
Jeroen MeijerEijsinkVerified email at eijsink.nl
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Andreas Engelbredt DalsgaardVerified email at cs.aau.dk
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl
Ivan KurtevAltran NederlandVerified email at altran.com
Henri HansenDocent, University Lecturer, Mathematics, Tampere UniversityVerified email at tuni.fi
Etienne RenaultTeacher / Researcher in Computer SciencesVerified email at lrde.epita.fr
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Alexandre Duret-LutzLRDE / EPITAVerified email at lrde.epita.fr
Freark van der BergUniversity of TwenteVerified email at utwente.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at

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	173	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	107	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	66	2012
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	60	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	57	2011
Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010	51	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	45	2013
Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011	44	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	39	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	39	2016
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012	36	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	30	2012
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
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	26	2018
SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012	25	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	18	2014
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
A parallel compact hash table S van der Vegt, A Laarman Mathematical and Engineering Methods in Computer Science: 7th International …, 2012	18	2012
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