 | 2009 |
|---|
| 7 |       | Jens Oehlerking,
Oliver E. Theel:
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.
ATVA 2009: 151-165 |
| 6 | | Jens Oehlerking,
Oliver E. Theel:
Decompositional Construction of Lyapunov Functions for Hybrid Systems.
HSCC 2009: 276-290 |
| 2007 |
|---|
| 5 | | Werner Damm,
Alfred Mikschl,
Jens Oehlerking,
Ernst-Rüdiger Olderog,
Jun Pang,
André Platzer,
Marc Segelken,
Boris Wirtz:
Automating Verification of Cooperation, Control, and Design in Traffic Applications.
Formal Methods and Hybrid Real-Time Systems 2007: 115-169 |
| 4 | | Jens Oehlerking,
Henning Burchardt,
Oliver E. Theel:
Fully Automated Stability Verification for Piecewise Affine Systems.
HSCC 2007: 741-745 |
| 2006 |
|---|
| 3 | | Abhishek Dhama,
Jens Oehlerking,
Oliver E. Theel:
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.
ICPADS (1) 2006: 23-30 |
| 2005 |
|---|
| 2 | | Henning Burchardt,
Jens Oehlerking,
Oliver E. Theel:
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.
PRDC 2005: 374-378 |
| 1 | | Jens Oehlerking,
Abhishek Dhama,
Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
Self-Stabilizing Systems 2005: 198-213 |
