| Publication | Date of Publication | Type |
|---|
Verifying asynchronous event-driven programs using partial abstract transformers
Computer Aided Verification | 2024-02-16 | Paper |
| Delayed closed-loop neurostimulation for the treatment of pathological brain rhythms in mental disorders | 2023-03-20 | Paper |
Delay-bounded scheduling without delay!
(available as arXiv preprint) | 2022-03-25 | Paper |
Identifying volatile numeric expressions in numeric computing applications
Mathematics and Computers in Simulation | 2021-03-02 | Paper |
Stabilizing Floating-Point Programs Using Provenance Analysis
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Lost in abstraction: monotonicity in multi-threaded programs
Information and Computation | 2016-12-22 | Paper |
Unbounded-thread program verification using thread-state equations
Automated Reasoning | 2016-09-05 | Paper |
Lost in abstraction: monotonicity in multi-threaded programs
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Counterexample-guided abstraction refinement for symmetric concurrent programs
Formal Methods in System Design | 2014-03-28 | Paper |
| Efficient reduction techniques for systems with many components | 2013-09-26 | Paper |
Efficient coverability analysis by proof minimization
Lecture Notes in Computer Science | 2012-09-25 | Paper |
An interpolating sequent calculus for quantifier-free Presburger arithmetic
Journal of Automated Reasoning | 2012-07-31 | Paper |
Linear completeness thresholds for bounded model checking
Computer Aided Verification | 2011-08-19 | Paper |
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
Lecture Notes in Computer Science | 2011-02-15 | Paper |
A lazy approach to symmetry reduction
Formal Aspects of Computing | 2010-12-17 | Paper |
Context-aware counter abstraction
Formal Methods in System Design | 2010-11-03 | Paper |
An interpolating sequent calculus for quantifier-free Presburger arithmetic
Automated Reasoning | 2010-09-14 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Finding Lean Induced Cycles in Binary Hypercubes
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Symbolic Counter Abstraction for Concurrent Software
Computer Aided Verification | 2009-06-30 | Paper |
Extending Symmetry Reduction by Exploiting System Architecture
Lecture Notes in Computer Science | 2009-02-10 | Paper |
Adaptive Symmetry Reduction
Computer Aided Verification | 2007-11-29 | 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 1803766 (Why is no real title available?) | 2002-01-01 | Paper |
Export restrictions, urban unemployment, and the location of processing activities
Economics Letters | 2001-08-20 | Paper |
Relocalization -- theory and practice
Discrete Applied Mathematics | 2001-04-26 | Paper |
