| Publication | Date of Publication | Type |
|---|
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Program analysis via satisfiability modulo path programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Efficient probabilistic model checking of systems with ranged probabilities
Lecture Notes in Computer Science | 2013-01-07 | Paper |
Donut domains: efficient non-convex domains for abstract interpretation
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Static Analysis in Disjunctive Numerical Domains
Static Analysis | 2009-03-12 | Paper |
Program Analysis Using Symbolic Ranges
Static Analysis | 2009-03-03 | Paper |
Efficient SAT-based bounded model checking for software verification
Theoretical Computer Science | 2008-10-07 | Paper |
Whodunit? Causal Analysis for Counterexamples
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
A Policy Iteration Technique for Time Elapse over Template Polyhedra
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
Static Analysis | 2008-08-28 | Paper |
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
Computer Aided Verification | 2007-11-29 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Counterexample-guided predicate abstraction of hybrid systems
Theoretical Computer Science | 2006-04-28 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2085314 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085312 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2033295 (Why is no real title available?) | 2004-01-27 | Paper |
| scientific article; zbMATH DE number 1956618 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956582 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1955876 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1794358 (Why is no real title available?) | 2002-09-03 | Paper |
