Παρακολούθηση
Alfons Laarman
Alfons Laarman
Leiden University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα liacs.leidenuniv.nl - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1882015
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
1092010
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
682012
Multi-Core LTSmin: Marrying Modularity and Scalability
A Laarman, J van de Pol, M Weber
NASA Formal Methods, 506-511, 2011
622011
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
602011
Ontological Metamodeling with Explicit Instantiation
A Laarman, I Kurtev
Software Language Engineering, 174-183, 2010
552010
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
492013
Parallel Recursive State Compression for Free
A Laarman, J Van De Pol, M Weber
Model Checking Software, 38-56, 2011
482011
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
422016
Multi-Core BDD Operations for Symbolic Reachability
T van Dijk, AW Laarman, JC van de Pol
Electronic Notes in Theoretical Computer Science, 2012
422012
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
412016
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
332018
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
302016
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
302012
SpinS: Extending LTSmin with Promela through SpinJa
FI van der Berg, AW Laarman
PASM / PDMC, 11, 2012
282012
Variations on multi-core nested depth-first search
A Laarman, J van de Pol
arXiv preprint arXiv:1111.0369, 2011
222011
A parallel compact hash table
S van der Vegt, A Laarman
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011
212011
Scalable multi-core model checking.
A Laarman
University of Twente, Enschede, Netherlands, 2014
202014
Partial-order reduction for multi-core LTL model checking
A Laarman, A Wijs
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
162014
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
152013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20