BibTeX records: Jens Oehlerking

download as .bib file

@inproceedings{DBLP:conf/atva/RoehmOHA16,
  author    = {Hendrik Roehm and
               Jens Oehlerking and
               Thomas Heinz and
               Matthias Althoff},
  title     = {{STL} Model Checking of Continuous and Hybrid Systems},
  booktitle = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  pages     = {412--427},
  year      = {2016},
  crossref  = {DBLP:conf/atva/2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3_26},
  doi       = {10.1007/978-3-319-46520-3_26},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atva/RoehmOHA16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoehmOWA16,
  author    = {Hendrik Roehm and
               Jens Oehlerking and
               Matthias Woehrle and
               Matthias Althoff},
  title     = {Reachset Conformance Testing of Hybrid Automata},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
               2016},
  pages     = {277--286},
  year      = {2016},
  crossref  = {DBLP:conf/hybrid/2016},
  url       = {http://doi.acm.org/10.1145/2883817.2883828},
  doi       = {10.1145/2883817.2883828},
  timestamp = {Mon, 23 May 2016 15:50:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/RoehmOWA16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/sp/16/OehlerkingS16,
  author    = {Jens Oehlerking and
               Thomas Strathmann},
  title     = {Verification of Systems in Physical Contexts},
  booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
               the {SPES} 2020 Methodology},
  pages     = {105--117},
  year      = {2016},
  crossref  = {DBLP:books/sp/spes2016},
  url       = {https://doi.org/10.1007/978-3-319-48003-9_7},
  doi       = {10.1007/978-3-319-48003-9_7},
  timestamp = {Tue, 16 May 2017 14:01:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/sp/16/OehlerkingS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/StrathmannO15,
  author    = {Thomas Strathmann and
               Jens Oehlerking},
  title     = {Verifying Properties of an Electro-Mechanical Braking System},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  pages     = {49--56},
  year      = {2015},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/248654},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/StrathmannO15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/RoehmGHOW15,
  author    = {Hendrik Roehm and
               Rainer Gmehlich and
               Thomas Heinz and
               Jens Oehlerking and
               Matthias Woehrle},
  title     = {Industrial Examples of Formal Specifications for Test Case Generation},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  pages     = {80--88},
  year      = {2015},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/248658},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/RoehmGHOW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HeinzOW14,
  author    = {Thomas Heinz and
               Jens Oehlerking and
               Matthias Woehrle},
  title     = {Benchmark: Reachability on a model with holes},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  pages     = {31--36},
  year      = {2014},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/251012},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/HeinzOW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Oehlerking11,
  author    = {Jens Oehlerking},
  title     = {Decomposition of stability proofs for hybrid systems},
  school    = {Carl von Ossietzky University of Oldenburg},
  year      = {2011},
  url       = {http://oops.uni-oldenburg.de/volltexte/2012/1455/},
  urn       = {urn:nbn:de:gbv:715-oops-14554},
  timestamp = {Fri, 15 Apr 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/phd/dnb/Oehlerking11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DammDOP10,
  author    = {Werner Damm and
               Henning Dierks and
               Jens Oehlerking and
               Amir Pnueli},
  title     = {Towards Component Based Design of Hybrid Systems: Safety and Stability},
  booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
  pages     = {96--143},
  year      = {2010},
  crossref  = {DBLP:conf/birthday/2010pnueli},
  url       = {https://doi.org/10.1007/978-3-642-13754-9_6},
  doi       = {10.1007/978-3-642-13754-9_6},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/DammDOP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atva/OehlerkingT09,
  author    = {Jens Oehlerking and
               Oliver E. Theel},
  title     = {A Decompositional Proof Scheme for Automated Convergence Proofs of
               Stochastic Hybrid Systems},
  booktitle = {Automated Technology for Verification and Analysis, 7th International
               Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  pages     = {151--165},
  year      = {2009},
  crossref  = {DBLP:conf/atva/2009},
  url       = {https://doi.org/10.1007/978-3-642-04761-9_13},
  doi       = {10.1007/978-3-642-04761-9_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atva/OehlerkingT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OehlerkingT09,
  author    = {Jens Oehlerking and
               Oliver E. Theel},
  title     = {Decompositional Construction of Lyapunov Functions for Hybrid Systems},
  booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
               {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  pages     = {276--290},
  year      = {2009},
  crossref  = {DBLP:conf/hybrid/2009},
  url       = {https://doi.org/10.1007/978-3-642-00602-9_20},
  doi       = {10.1007/978-3-642-00602-9_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/OehlerkingT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DammMOOPPSW07,
  author    = {Werner Damm and
               Alfred Mikschl and
               Jens Oehlerking and
               Ernst{-}R{\"{u}}diger Olderog and
               Jun Pang and
               Andr{\'{e}} Platzer and
               Marc Segelken and
               Boris Wirtz},
  title     = {Automating Verification of Cooperation, Control, and Design in Traffic
               Applications},
  booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  pages     = {115--169},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007bz},
  url       = {https://doi.org/10.1007/978-3-540-75221-9_6},
  doi       = {10.1007/978-3-540-75221-9_6},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/DammMOOPPSW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OehlerkingBT07,
  author    = {Jens Oehlerking and
               Henning Burchardt and
               Oliver E. Theel},
  title     = {Fully Automated Stability Verification for Piecewise Affine Systems},
  booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
               {HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
  pages     = {741--745},
  year      = {2007},
  crossref  = {DBLP:conf/hybrid/2007},
  url       = {https://doi.org/10.1007/978-3-540-71493-4_74},
  doi       = {10.1007/978-3-540-71493-4_74},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/OehlerkingBT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icpads/DhamaOT06,
  author    = {Abhishek Dhama and
               Jens Oehlerking and
               Oliver E. Theel},
  title     = {Verification of Orbitally Self-Stabilizing Distributed Algorithms
               Using Lyapunov Functions and Poincare Maps},
  booktitle = {12th International Conference on Parallel and Distributed Systems,
               {ICPADS} 2006, Minneapolis, Minnesota, USA, July 12-15, 2006},
  pages     = {23--30},
  year      = {2006},
  crossref  = {DBLP:conf/icpads/2006},
  url       = {https://doi.org/10.1109/ICPADS.2006.108},
  doi       = {10.1109/ICPADS.2006.108},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icpads/DhamaOT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigbed/OehlerkingBT05,
  author    = {Jens Oehlerking and
               Henning Burchardt and
               Oliver E. Theel},
  title     = {Towards automatic verification of affine hybrid system stability},
  journal   = {{SIGBED} Review},
  volume    = {2},
  number    = {2},
  pages     = {27--30},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1121788.1121797},
  doi       = {10.1145/1121788.1121797},
  timestamp = {Thu, 12 Jul 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sigbed/OehlerkingBT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BurchardtOT05,
  author    = {Henning Burchardt and
               Jens Oehlerking and
               Oliver E. Theel},
  title     = {Towards Push-of-a-Button Stability Verification for Discrete-Time
               Hybrid Systems},
  booktitle = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
               {(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
  pages     = {374--378},
  year      = {2005},
  crossref  = {DBLP:conf/prdc/2005},
  url       = {https://doi.org/10.1109/PRDC.2005.59},
  doi       = {10.1109/PRDC.2005.59},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/prdc/BurchardtOT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sss/OehlerkingDT05,
  author    = {Jens Oehlerking and
               Abhishek Dhama and
               Oliver E. Theel},
  title     = {Towards Automatic Convergence Verification of Self-stabilizing Algorithms},
  booktitle = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005,
               Barcelona, Spain, October 26-27, 2005, Proceedings},
  pages     = {198--213},
  year      = {2005},
  crossref  = {DBLP:conf/sss/2005},
  url       = {https://doi.org/10.1007/11577327_14},
  doi       = {10.1007/11577327_14},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sss/OehlerkingDT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atva/2016,
  editor    = {Cyrille Artho and
               Axel Legay and
               Doron Peled},
  title     = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9938},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3},
  doi       = {10.1007/978-3-319-46520-3},
  isbn      = {978-3-319-46519-7},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atva/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2016,
  editor    = {Alessandro Abate and
               Georgios E. Fainekos},
  title     = {Proceedings of the 19th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2883817},
  doi       = {10.1145/2883817},
  isbn      = {978-1-4503-3955-1},
  timestamp = {Mon, 23 May 2016 15:50:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/sp/spes2016,
  editor    = {Klaus Pohl and
               Manfred Broy and
               Heinrich Daembkes and
               Harald H{\"{o}}nninger},
  title     = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
               the {SPES} 2020 Methodology},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48003-9},
  doi       = {10.1007/978-3-319-48003-9},
  isbn      = {978-3-319-48002-2},
  timestamp = {Tue, 16 May 2017 14:01:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/sp/spes2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2014-15arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/ARCH15},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/2014-15arch},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010pnueli,
  editor    = {Zohar Manna and
               Doron A. Peled},
  title     = {Time for Verification, Essays in Memory of Amir Pnueli},
  series    = {Lecture Notes in Computer Science},
  volume    = {6200},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13754-9},
  doi       = {10.1007/978-3-642-13754-9},
  isbn      = {978-3-642-13753-2},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2010pnueli},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atva/2009,
  editor    = {Zhiming Liu and
               Anders P. Ravn},
  title     = {Automated Technology for Verification and Analysis, 7th International
               Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5799},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04761-9},
  doi       = {10.1007/978-3-642-04761-9},
  isbn      = {978-3-642-04760-2},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atva/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2009,
  editor    = {Rupak Majumdar and
               Paulo Tabuada},
  title     = {Hybrid Systems: Computation and Control, 12th International Conference,
               {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00602-9},
  doi       = {10.1007/978-3-642-00602-9},
  isbn      = {978-3-642-00601-2},
  timestamp = {Thu, 25 May 2017 00:43:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4700},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9},
  doi       = {10.1007/978-3-540-75221-9},
  isbn      = {978-3-540-75220-2},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2007bz},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2007,
  editor    = {Alberto Bemporad and
               Antonio Bicchi and
               Giorgio C. Buttazzo},
  title     = {Hybrid Systems: Computation and Control, 10th International Workshop,
               {HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4416},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71493-4},
  doi       = {10.1007/978-3-540-71493-4},
  isbn      = {978-3-540-71492-7},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icpads/2006,
  title     = {12th International Conference on Parallel and Distributed Systems,
               {ICPADS} 2006, Minneapolis, Minnesota, USA, July 12-15, 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11004},
  isbn      = {0-7695-2612-8},
  timestamp = {Mon, 04 May 2015 17:00:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icpads/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/prdc/2005,
  title     = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
               {(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10694},
  isbn      = {0-7695-2492-3},
  timestamp = {Thu, 19 May 2016 11:35:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/prdc/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sss/2005,
  editor    = {Ted Herman and
               S{\'{e}}bastien Tixeuil},
  title     = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005,
               Barcelona, Spain, October 26-27, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3764},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11577327},
  doi       = {10.1007/11577327},
  isbn      = {3-540-29814-2},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sss/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier