Alfons Laarman

According to our database, Alfons Laarman authored at least 54 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Trade-offs between classical and quantum space using spooky pebbling.

Arend-Jan Quist, Alfons Laarman

CoRR, 2024

A Knowledge Compilation Map for Quantum Information.

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

CoRR, 2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 2024

Optimizing Causal Interventions in Hybrid Bayesian Networks - A Discretization, Knowledge Compilation, and Heuristic Optimization Approach.

Maarten C. Vonk, Diederick Vermetten, Jacob de Nobel, Sebastiaan Brand, Ninoslav Malekovic, Thomas Bäck, Alfons Laarman, Anna V. Kononova

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2024

Equivalence Checking of Quantum Circuits by Model Counting.

Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Disentangling the Gap Between Quantum and #SAT.

Jingyi Mei, Jan Martens, Alfons Laarman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

Enriching Diagrams with Algebraic Operations.

Alejandro Villoria, Henning Basold, Alfons Laarman

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Advancing Quantum Computing with Formal Methods.

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Formal Methods - 26th International Symposium, 2024

Compact Parallel Hash Tables on the GPU.

Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman

Proceedings of the Euro-Par 2024: Parallel Processing, 2024

Simulating Quantum Circuits by Model Counting.

Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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

Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman

Quantum, September, 2023

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko

Quantum, March, 2023

Introduction to the special issue for SPIN 2021.

Alfons Laarman, Ana Sokolova

Int. J. Softw. Tools Technol. Transf., February, 2023

Efficient Implementation of LIMDDs for Quantum Circuit Simulation.

Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman

Proceedings of the Model Checking Software - 29th International Symposium, 2023

ParaGnosis: A Tool for Parallel Knowledge Compilation.

Giso H. Dal, Alfons Laarman, Peter J. F. Lucas

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

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.

Arend-Jan Quist, Alfons Laarman

Proceedings of the Reversible Computation - 15th International Conference, 2023

Incremental Property Directed Reachability.

Max Blankestijn, Alfons Laarman

Proceedings of the Formal Methods and Software Engineering, 2023

A Decision Diagram Operation for Reachability.

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Proceedings of the Formal Methods - 25th International Symposium, 2023

Fast Equivalence Checking of Quantum Circuits of Clifford Gates.

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

FM 2023 Artefact for "A Decision Diagram Operation for Reachability".

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

Dataset, November, 2022

The Power of Disjoint Support Decompositions in Decision Diagrams.

Lieuwe Vinkhuijzen, Alfons Laarman

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

A compositional approach to probabilistic knowledge compilation.

Giso H. Dal, Alfons W. Laarman, Arjen Hommersom, Peter J. F. Lucas

Int. J. Approx. Reason., 2021

2020

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Alfons Laarman, Vedran Dunjko

CoRR, 2020

Symbolic Model Checking with Sentential Decision Diagrams.

Lieuwe Vinkhuijzen, Alfons Laarman

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019

Optimal compression of combinatorial state spaces.

Alfons Laarman

Innov. Syst. Softw. Eng., 2019

A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.

Richard Huybers, Alfons Laarman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Stubborn Transaction Reduction (with Proofs).

Alfons Laarman

CoRR, 2018

Parallel Probabilistic Inference by Weighted Model Counting.

Giso H. Dal, Alfons W. Laarman, Peter J. F. Lucas

Proceedings of the International Conference on Probabilistic Graphical Models, 2018

Stubborn Transaction Reduction.

Alfons Laarman

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Optimal Storage of Combinatorial State Spaces.

Alfons Laarman

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Dynamic Reductions for Model Checking Concurrent Software.

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Guard-based partial-order reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen

Int. J. Softw. Tools Technol. Transf., 2016

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).

Henning Günther, Alfons Laarman, Georg Weissenbacher

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Multi-core on-the-fly SCC decomposition.

Vincent Bloemen, Alfons Laarman, Jaco van de Pol

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Scalable multi-core model checking.

Alfons Laarman

PhD thesis, 2014

Partial-Order Reduction for Multi-core LTL Model Checking.

Alfons Laarman, Anton Wijs

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Guard-Based Partial-Order Reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Improved on-the-Fly Livelock Detection.

Alfons Laarman, David Faragó

Proceedings of the NASA Formal Methods, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.

Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Multi-Core BDD Operations for Symbolic Reachability.

Tom van Dijk, Alfons Laarman, Jaco van de Pol

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

SpinS: Extending LTSmin with Promela through SpinJa.

Freark I. van der Berg, Alfons Laarman

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Multi-core and/or Symbolic Model Checking.

Tom van Dijk, Alfons Laarman, Jaco van de Pol

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Multi-core Reachability for Timed Automata.

Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Improved Multi-Core Nested Depth-First Search.

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Variations on Multi-Core Nested Depth-First Search

Alfons Laarman, Jaco van de Pol

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Parallel Recursive State Compression for Free.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the NASA Formal Methods, 2011

A Parallel Compact Hash Table.

Steven van der Vegt, Alfons Laarman

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Boosting multi-core reachability performance with shared hash tables.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Ontological Metamodeling with Explicit Instantiation.

Alfons Laarman, Ivan Kurtev

Proceedings of the Software Language Engineering, Second International Conference, 2009