Alfons Laarman

Orcid: 0000-0002-2433-4174

Affiliations:
  • Leiden University, The Netherlands


According to our database1, Alfons Laarman authored at least 46 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Knowledge Compilation Map for Quantum Information.
CoRR, 2024

2023
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States.
Quantum, September, 2023

Hybrid divide-and-conquer approach for tree search algorithms.
Quantum, March, 2023

Introduction to the special issue for SPIN 2021.
Int. J. Softw. Tools Technol. Transf., February, 2023

Enriching Diagrams with Algebraic Operations.
CoRR, 2023

Efficient Implementation of LIMDDs for Quantum Circuit Simulation.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

ParaGnosis: A Tool for Parallel Knowledge Compilation.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

Quantum Graph-State Synthesis with SAT.
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Optimizing Quantum Space Using Spooky Pebble Games.
Proceedings of the Reversible Computation - 15th International Conference, 2023

Incremental Property Directed Reachability.
Proceedings of the Formal Methods and Software Engineering, 2023

A Decision Diagram Operation for Reachability.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Fast Equivalence Checking of Quantum Circuits of Clifford Gates.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
FM 2023 Artefact for "A Decision Diagram Operation for Reachability".
Dataset, November, 2022

The Power of Disjoint Support Decompositions in Decision Diagrams.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021
A compositional approach to probabilistic knowledge compilation.
Int. J. Approx. Reason., 2021

2020
Hybrid divide-and-conquer approach for tree search algorithms.
CoRR, 2020

Symbolic Model Checking with Sentential Decision Diagrams.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019
Optimal compression of combinatorial state spaces.
Innov. Syst. Softw. Eng., 2019

A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018
Stubborn Transaction Reduction (with Proofs).
CoRR, 2018

Parallel Probabilistic Inference by Weighted Model Counting.
Proceedings of the International Conference on Probabilistic Graphical Models, 2018

Stubborn Transaction Reduction.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Optimal Storage of Combinatorial State Spaces.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Dynamic Reductions for Model Checking Concurrent Software.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Guard-based partial-order reduction.
Int. J. Softw. Tools Technol. Transf., 2016

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Multi-core on-the-fly SCC decomposition.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015
LTSmin: High-Performance Language-Independent Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Scalable multi-core model checking.
PhD thesis, 2014

Partial-Order Reduction for Multi-core LTL Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2014

2013
Guard-Based Partial-Order Reduction.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Improved on-the-Fly Livelock Detection.
Proceedings of the NASA Formal Methods, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Multi-Core BDD Operations for Symbolic Reachability.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

SpinS: Extending LTSmin with Promela through SpinJa.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Multi-core and/or Symbolic Model Checking.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Multi-core Reachability for Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Improved Multi-Core Nested Depth-First Search.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Variations on Multi-Core Nested Depth-First Search
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Parallel Recursive State Compression for Free.
Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.
Proceedings of the NASA Formal Methods, 2011

A Parallel Compact Hash Table.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Multi-core Nested Depth-First Search.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Boosting multi-core reachability performance with shared hash tables.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
Ontological Metamodeling with Explicit Instantiation.
Proceedings of the Software Language Engineering, Second International Conference, 2009


  Loading...