BibTeX records: Marc Segelken

• > Home > Persons > Marc Segelken

@inproceedings{DBLP:conf/se/Segelken12,
  author       = {Marc Segelken},
  editor       = {Stefan J{\"{a}}hnichen and
                  Axel K{\"{u}}pper and
                  Sahin Albayrak},
  title        = {Anforderungen auf Konsistenz {\"{u}}berpr{\"{u}}ft - Formalisierung
                  hilft},
  booktitle    = {Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik,
                  27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-198}},
  pages        = {47--48},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18365},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/Segelken12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Segelken2008,
  author       = {Marc Segelken},
  title        = {Abstraktion und Gegenbeispiel-gelenkte Konstruktion von {\(\Omega\)}-Automaten
                  zur Verifikation Schritt-diskreter linearer hybrider Systeme},
  school       = {University of Oldenburg, Germany},
  year         = {2007},
  url          = {http://docserver.bis.uni-oldenburg.de/publikationen/dissertation/2008/segabs07/segabs07.html},
  urn          = {urn:nbn:de:gbv:715-oops-7887},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Segelken2008.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4700},
  pages        = {115--169},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75221-9\_6},
  doi          = {10.1007/978-3-540-75221-9\_6},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DammMOOPPSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Segelken07,
  author       = {Marc Segelken},
  editor       = {Werner Damm and
                  Holger Hermanns},
  title        = {Abstraction and Counterexample-Guided Construction of \emph{omega}
                  -Automata for Model Checking of Step-Discrete Linear Hybrid Models},
  booktitle    = {Computer Aided Verification, 19th International Conference, {CAV}
                  2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4590},
  pages        = {433--448},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73368-3\_46},
  doi          = {10.1007/978-3-540-73368-3\_46},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Segelken07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aswsd/BodeDHJNS04,
  author       = {Eckard B{\"{o}}de and
                  Werner Damm and
                  Jarl H{\o}yem and
                  Bernhard Josko and
                  J{\"{u}}rgen Niehaus and
                  Marc Segelken},
  editor       = {Manfred Broy and
                  Ingolf H. Kr{\"{u}}ger and
                  Michael Meisinger},
  title        = {Adding Value to Automotive Models},
  booktitle    = {Automotive Software - Connected Services in Mobile Networks, First
                  Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
                  10-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4147},
  pages        = {86--102},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11823063\_7},
  doi          = {10.1007/11823063\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aswsd/BodeDHJNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/DammSWSHE03,
  author       = {Werner Damm and
                  Christoph Schulte and
                  Hartmut Wittke and
                  Marc Segelken and
                  Uwe Higgen and
                  Michael Eckrich},
  editor       = {Klaus R. Dittrich and
                  Wolfgang K{\"{o}}nig and
                  Andreas Oberweis and
                  Kai Rannenberg and
                  Wolfgang Wahlster},
  title        = {Formale Verifikation von {ASCET} Modellen im Rahmen der Entwicklung
                  der Aktivlenkung},
  booktitle    = {33. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Innovative
                  Informatikanwendungen, {INFORMATIK} 2003, Frankfurt am Main, Germany,
                  September 29 - October 2, 2003, Band 1},
  series       = {{LNI}},
  volume       = {{P-34}},
  pages        = {340--344},
  publisher    = {{GI}},
  year         = {2003},
  url          = {https://dl.gi.de/handle/20.500.12116/29794},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/DammSWSHE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}