| Publication | Date of Publication | Type |
|---|
Certified SAT solving with GPU accelerated inprocessing
Formal Methods in System Design | 2024-06-28 | Paper |
| Compositional model checking with incremental counter-example construction | 2022-07-01 | Paper |
Term rewriting on GPUs
(available as arXiv preprint) | 2022-06-17 | Paper |
An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
| Experiments of Multiple Decision Making in CDCL SAT Solvers | 2021-06-23 | Dataset |
| To compose, or not to compose, that is the question: an analysis of compositional state space generation | 2021-05-04 | Paper |
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation
(available as arXiv preprint) | 2019-09-17 | Paper |
BFS-based model checking of linear-time properties with an application on GPUs
Computer Aided Verification | 2019-05-03 | Paper |
A formal verification technique for behavioural model-to-model transformations
Formal Aspects of Computing | 2018-02-02 | Paper |
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
Formal Methods in System Design | 2017-03-28 | Paper |
Parallel algorithms for transitive reduction for weighted graphs
Mathematica Macedonica | 2016-06-16 | Paper |
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
Fundamental Approaches to Software Engineering | 2016-04-21 | Paper |
Efficient property preservation checking of model refinements
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Sequential and distributed on-the-fly computation of weak tau-confluence
Science of Computer Programming | 2012-07-20 | Paper |
Extended beam search for non-exhaustive state space analysis
The Journal of Logic and Algebraic Programming | 2011-12-19 | Paper |
Hierarchical Adaptive State Space Caching Based on Level Sampling
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Survey on Directed Model Checking
Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
| Is timed branching bisimilarity a congruence indeed? | 2009-02-12 | Paper |
Pruning State Spaces with Extended Beam Search
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
The Journal of Logic and Algebraic Programming | 2005-10-17 | Paper |
