Praktische Informatik - Systemsoftware und verteilte Systeme

Dipl.-Inform. Jens Oehlerking

Kontaktinformationen

Postadresse  Carl v. Ossietzky Universität
   Fakultät II, Department für Informatik
   26111 Oldenburg
Telefon +49 441 798 4629
Fax +49 441 798 2756
Email Jens.Oehlerking(Klammeraffe)Informatik.Uni-Oldenburg.DE
Raum A4-2-218







Publikationen

  • Werner Damm, Henning Dierks, Jens Oehlerking, and Amir Pnueli
    "Towards Component Based Design of Hybrid Systems: Safety and Stability"
    Time for Verification (Essays in Memory of Amir Pnueli), Lecture Notes in Computer Science 6200, pages 96-143, 2010. (c) Springer-Verlag.

  • Jens Oehlerking and Oliver Theel
    "A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems"
    7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Lecture Notes in Computer Science 5799, 2009. (c) Springer-Verlag. An updated version is available on this website . The proof sequence on pages 10-11 has been corrected. The original publication is available at Springerlink.com.

  • Jens Oehlerking and Oliver Theel
    "Decompositional Construction of Lyapunov Functions for Hybrid Systems"
    12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), Lecture Notes in Computer Science 5469, pages 276–290, 2009. (c) Springer-Verlag. A postprint version is available on this website. The original publication is available at Springerlink.com.

  • Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, and Boris Wirtz
    "Automating Verification of Cooperation, Control, and Design in Traffic Applications"
    Formal Methods and Hybrid Real-Time Systems, Lecture Notes in Computer Science 4700, pages 115-169, 2007. Springer.

  • Jens Oehlerking, Henning Burchardt, and Oliver Theel
    "Fully Automated Stability Verification for Piecewise Affine Systems"
    10th International Conference on Hybrid Systems: Computation and Control (HSCC'07), Lecture Notes in Computer Science 4416, 2007. Springer.

  • Abhishek Dhama, Jens Oehlerking, and Oliver Theel
    "Verification of Orbitally Self-stabilizing Distributed Algorithms using Lyapunov Functions and Poincaré Maps"
    12th International Conference on Parallel and Distributed Systems (ICPADS'06), 2006. IEEE Computer Society.

  • Abhishek Dhama, Jens Oehlerking, and Oliver Theel
    "Verification of Orbitally Self-Stabilizing Distributed Algorithms using Lyapunov Functions and Poincaré Maps"
    1st Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID'06), 2006.

  • Jens Oehlerking, Henning Burchardt, and Oliver Theel
    "Towards Automatic Verification of Affine Hybrid System Stability"
    ACM SIGBED Review, Special Issue on IEEE RTAS 2005 Work-in-Progress, volume 2, pages 27-30, 2005. ACM.

  • Henning Burchardt, Jens Oehlerking, and Oliver Theel
    "Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems"
    11th Pacific Rim International Symposium on Dependable Computing (PRDC'05), 2005. IEEE Computer Society.

  • Henning Burchardt, Jens Oehlerking, and Oliver Theel
    "The Role of State-space Partitioning in Automated Verification of Affine Hybrid System Stability"
    3rd International Conference on Computing, Communications and Control Technologies, volume 1, pages 187-192, 2005.

  • Jens Oehlerking, Abhishek Dhama, and Oliver Theel
    "Towards Automatic Convergence Verification of Self-Stabilizing Algorithms"
    Symposium on Self-Stabilization (SSS'05), Lecture Notes in Computer Science 3764, pages 198-213, 2005. Springer.

  • Jens Oehlerking
    "Transformation of Edmonds' Maximum Matching Algorithm into a Graph Program"
    Technical Report, Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg. 2004.

  • Jens Oehlerking
    "Transformation of Edmonds' Maximum Matching Algorithm into a Graph Program"
    Diplomarbeit (Master's Thesis), Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg. 2004.