Jens Oehlerking Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff: STL Model Checking of Continuous and Hybrid Systems. ATVA 2016: 412-427
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff: Reachset Conformance Testing of Hybrid Automata. HSCC 2016: 277-286
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Thomas Strathmann: Verification of Systems in Physical Contexts. Advanced Model-Based Engineering of Embedded Systems 2016: 105-117
2015
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Strathmann, Jens Oehlerking: Verifying Properties of an Electro-Mechanical Braking System. ARCH@CPSWeek 2015: 49-56
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle: Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek 2015: 80-88
2014
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Heinz, Jens Oehlerking, Matthias Woehrle: Benchmark: Reachability on a model with holes. ARCH@CPSWeek 2014: 31-36
2011
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking: Decomposition of stability proofs for hybrid systems. Carl von Ossietzky University of Oldenburg 2011, pp. 1-219
2010
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli: Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli 2010: 96-143
2009
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Oliver E. Theel: A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. ATVA 2009: 151-165
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Oliver E. Theel: Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC 2009: 276-290
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Henning Burchardt, Oliver E. Theel: Fully Automated Stability Verification for Piecewise Affine Systems. HSCC 2007: 741-745
2006
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek 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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Henning Burchardt, Oliver E. Theel: Towards automatic verification of affine hybrid system stability. SIGBED Review 2(2): 27-30 (2005)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Burchardt, Jens Oehlerking, Oliver E. Theel: Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC 2005: 374-378
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Abhishek Dhama, Oliver E. Theel: Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems 2005: 198-213

Coauthor Index

1Matthias Althoff[c13] [c12]
2Henning Burchardt[c4] [j1] [c2]
3Werner Damm[c8] [c5]
4Abhishek Dhama[c3] [c1]
5Henning Dierks[c8]
6Rainer Gmehlich[c10]
7Thomas Heinz[c13] [c10] [c9]
8Alfred Mikschl[c5]
9Ernst-Rüdiger Olderog[c5]
10Jun Pang[c5]
11André Platzer[c5]
12Amir Pnueli[c8]
13Hendrik Roehm[c13] [c12] [c10]
14Marc Segelken[c5]
15Thomas Strathmann[p1] [c11]
16Oliver E. Theel[c7] [c6] [c4] [c3] [j1] [c2] [c1]
17Boris Wirtz[c5]
18Matthias Woehrle[c12] [c10] [c9]

 

Last update 2017-05-28 00:33 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page