| Publication | Date of Publication | Type |
|---|
| Local Nontermination Detection for Parallel C++ Programs | 2024-03-14 | Paper |
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components
Euro-Par 2016: Parallel Processing Workshops | 2022-03-09 | Paper |
Detecting attractors in biological models with uncertain parameters
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Symbolic computation via program transformation
(available as arXiv preprint) | 2018-11-23 | Paper |
LTL parameter synthesis of parametric timed automata
Software Engineering and Formal Methods | 2018-07-06 | Paper |
Finding boundary elements in ordered sets with application to safety and requirements analysis
Software Engineering and Formal Methods | 2018-07-06 | Paper |
On clock-aware LTL parameter synthesis of timed automata
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Tunable online MUS/MSS enumeration
(available as arXiv preprint) | 2018-04-19 | Paper |
| Verification of systems with degradation | 2018-04-05 | Paper |
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Analysing sanity of requirements for avionics systems
Formal Aspects of Computing | 2016-05-12 | Paper |
Quo vadis explicit-state model checking
Lecture Notes in Computer Science | 2015-02-20 | Paper |
On clock-aware LTL properties of timed automata
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Parallel model checking large-scale genetic regulatory networks with DiVinE
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Improved distributed algorithms for SCC decomposition
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Science of Computer Programming | 2013-06-06 | Paper |
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica | 2013-03-04 | Paper |
Distributed algorithms for SCC decomposition
Journal Of Logic And Computation | 2011-02-02 | Paper |
Flash memory efficient LTL model checking
Science of Computer Programming | 2011-01-14 | Paper |
On algorithmic analysis of transcriptional regulation by LTL model checking
Theoretical Computer Science | 2009-08-07 | Paper |
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Distributed breadth-first search LTL model checking
Formal Methods in System Design | 2006-10-24 | Paper |
| scientific article; zbMATH DE number 1744967 (Why is no real title available?) | 2002-05-23 | Paper |
