Search the dblp DataBase

Publications of Author

1. Jens Oehlerking, Henning Burchardt, Oliver E. Theel
   Fully Automated Stability Verification for Piecewise Affine Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:741-745 [Conf]
   
2. Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
   Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. [Citation Graph (0, 0)][DBLP]
   ICPADS (1), 2006, pp:23-30 [Conf]
   
3. Henning Burchardt, Jens Oehlerking, Oliver E. Theel
   Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   PRDC, 2005, pp:374-378 [Conf]
   
4. Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
   Towards Automatic Convergence Verification of Self-stabilizing Algorithms. [Citation Graph (0, 0)][DBLP]
   Self-Stabilizing Systems, 2005, pp:198-213 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   Formal Methods and Hybrid Real-Time Systems, 2007, pp:115-169 [Conf]
   
6. 
   A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards Component Based Design of Hybrid Systems: Safety and Stability. [Citation Graph (, )][DBLP]
   
   
8. 
   Decompositional Construction of Lyapunov Functions for Hybrid Systems. [Citation Graph (, )][DBLP]