Search results

explicit-state model checking 2015-02-20 Paper On clock-aware LTL properties of timed automata 2015-01-13 Paper Parallel model checking large-scale genetic...

{\(\mu\)}-calculus model checking 2013-08-30 Paper Using assumptions to distribute CTL model checking 2013-08-16 Paper Model checking of biological systems...

tree-processing programs via higher-order model checking 2016-07-27 Paper A ZDD-Based Efficient Higher-Order Model Checking Algorithm 2016-02-26 Paper Automata-based...

Asynchronous Shared-Memory Systems 2018-08-02 Paper Model checking procedural programs 2018-07-20 Paper Model checking population protocols 2018-04-19 Paper Soundness...

Paper Abstract regular tree model checking 2013-10-07 Paper Handling liveness properties in (\(\omega\)-)regular model checking 2013-10-02 Paper Reachability...

Making abstraction-refinement efficient in model checking 2011-08-17 Paper A Semantic Model for Many-Core Parallel Computing 2011-08-12 Paper Public communication...

2019-06-21 Paper Model checking for parametric single-index models: a dimension reduction model-adaptive approach 2019-06-12 Paper Model checking for general...

priority-based genetic algorithm for a flexible job shop scheduling problem 2017-06-14 Paper A parallel maximum clique algorithm for large and massive sparse...

graph clustering 2017-04-28 Paper Engineering parallel string sorting 2017-03-06 Paper Parallel algorithms reconsidered (invited talk) 2017-01-24 Paper...

2015-09-15 Paper Practical algorithms for MSO model-checking on tree-decomposable graphs 2014-11-24 Paper A faster parameterized algorithm for treedepth 2014-07-01...

Remove irrelevant atomic formulas for timed automaton model checking 2006-10-12 Paper Formal Modeling and Analysis of Timed Systems 2006-01-10 Paper https://portal...

2016-05-11 Paper Complexity of model checking for reaction systems 2016-03-31 Paper An excursion through quantitative model refinement 2016-02-26 Paper Dependency...

operations in initial order-sorted algebras 2017-06-01 Paper Abstract logical model checking of infinite-state systems using narrowing 2017-02-01 Paper Normal forms...

from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! Research outcomes over time This page was built for person:...

from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! Research outcomes over time This page was built for person:...

2012-08-23 Paper Branching-time model checking of parametric one-counter automata 2012-06-22 Paper Branching-time model checking of one-counter processes 2012-01-23...

of Electronic Contracts 2008-11-20 Paper A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems 2008-09-11 Paper Static Analysis...

from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! Research outcomes over time This page was built for person:...

computational complexity of model checking. 2003-01-21 Paper Working with ARMs: Complexity results on atomic representations of Herbrand models 2003-01-14 Paper https://portal...

Bounded model checking for propositional projection temporal logic 2013-06-11 Paper An efficient approach for abstraction-refinement in model checking 2012-11-27...