Articles with public access mandates - Alfons LaarmanLearn more
Available somewhere: 17
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
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
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
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
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
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
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
Mandates: Netherlands Organisation for Scientific Research, European Commission
Partial-order reduction for multi-core LTL model checking
A Laarman, A Wijs
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
Mandates: Austrian Science Fund
Parallel probabilistic inference by weighted model counting
GH Dal, AW Laarman, PJF Lucas
International Conference on Probabilistic Graphical Models, 97-108, 2018
Mandates: Netherlands Organisation for Scientific Research
Dynamic reductions for model checking concurrent software
H Günther, A Laarman, A Sokolova, G Weissenbacher
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
Stubborn transaction reduction
A Laarman
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
Mandates: Austrian Science Fund, Netherlands Organisation for Scientific Research …
Hybrid divide-and-conquer approach for tree search algorithms
M Rennela, S Brand, A Laarman, V Dunjko
Quantum 7, 959, 2023
Mandates: Netherlands Organisation for Scientific Research, European Commission
Optimal compression of combinatorial state spaces
A Laarman
Innovations in Systems and Software Engineering 15, 235-251, 2019
Mandates: Netherlands Organisation for Scientific Research
Efficient implementation of LIMDDs for quantum circuit simulation
L Vinkhuijzen, T Grurl, S Hillmich, S Brand, R Wille, A Laarman
International Symposium on Model Checking Software, 3-21, 2023
Mandates: European Commission
Automated reasoning in quantum circuit compilation
D Thanos, A Villoria, S Brand, AJ Quist, J Mei, T Coopmans, A Laarman
Model Checking Software (SPIN), 2024
Mandates: Netherlands Organisation for Scientific Research
Symbolic model checking with sentential decision diagrams
L Vinkhuijzen, A Laarman
International Symposium on Dependable Software Engineering: Theories, Tools …, 2020
Mandates: Netherlands Organisation for Scientific Research
A parallel relation-based algorithm for symbolic bisimulation minimization
R Huybers, A Laarman
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
Mandates: Netherlands Organisation for Scientific Research
A decision diagram operation for reachability
S Brand, T Bäck, A Laarman
International Symposium on Formal Methods, 514-532, 2023
Mandates: European Commission
Optimal storage of combinatorial state spaces
A Laarman
NASA Formal Methods Symposium, 261-279, 2018
Mandates: Netherlands Organisation for Scientific Research
D6. 6: Divide and quantum open source software
S Brand, A Laarman, V Moret
Mandates: European Commission
Publication and funding information is determined automatically by a computer program