BibTeX records: Hartmut Wittke

download as .bib file

@inproceedings{DBLP:conf/birthday/BienmullerBB0HT26,
  author       = {Tom Bienm{\"{u}}ller and
                  Matthias B{\"{u}}ker and
                  Udo Brockmeyer and
                  J{\"{u}}rgen Bohn and
                  Hans J{\"{u}}rgen Holberg and
                  Tobe Toben and
                  Hartmut Wittke},
  editor       = {Martin Fr{\"{a}}nzle and
                  J{\"{u}}rgen Niehaus and
                  Bernd Westphal},
  title        = {{BTC} Embedded Systems - Bringing Formal Methods from Norddeutschland
                  to the World},
  booktitle    = {Engineering Safe and Trustworthy Cyber Physical Systems - Essays Dedicated
                  to Werner Damm on the Occasion of His 71st Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {15471},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-031-97537-0\_1},
  doi          = {10.1007/978-3-031-97537-0\_1},
  timestamp    = {Wed, 25 Feb 2026 10:38:36 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BienmullerBB0HT26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KloseTWW06,
  author       = {Jochen Klose and
                  Tobe Toben and
                  Bernd Westphal and
                  Hartmut Wittke},
  editor       = {Thomas Ball and
                  Robert B. Jones},
  title        = {Check It Out: On the Efficient Formal Verification of Live Sequence
                  Charts},
  booktitle    = {Computer Aided Verification, 18th International Conference, {CAV}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4144},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11817963\_22},
  doi          = {10.1007/11817963\_22},
  timestamp    = {Tue, 09 Jul 2024 07:54:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KloseTWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Wittke2005,
  author       = {Hartmut Wittke},
  title        = {An environment for compositional specification verification of complex
                  embedded systems},
  school       = {University of Oldenburg, Germany},
  year         = {2005},
  url          = {http://docserver.bis.uni-oldenburg.de/publikationen/dissertation/2006/witenv05/witenv05.html},
  urn          = {urn:nbn:de:gbv:715-oops-1381},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Wittke2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dfg/BrillDKWW04,
  author       = {Matthias Brill and
                  Werner Damm and
                  Jochen Klose and
                  Bernd Westphal and
                  Hartmut Wittke},
  editor       = {Hartmut Ehrig and
                  Werner Damm and
                  J{\"{o}}rg Desel and
                  Martin Gro{\ss}e{-}Rhode and
                  Wolfgang Reif and
                  Eckehard Schnieder and
                  Engelbert Westk{\"{a}}mper},
  title        = {Live Sequence Charts: An Introduction to Lines, Arrows, and Strange
                  Boxes in the Context of Formal Verification},
  booktitle    = {Integration of Software Specification Techniques for Applications
                  in Engineering, Priority Program SoftSpez of the German Research Foundation
                  (DFG), Final Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {3147},
  pages        = {374--399},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27863-4\_21},
  doi          = {10.1007/978-3-540-27863-4\_21},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/BrillDKWW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dfg/BrillBDKWW04,
  author       = {Matthias Brill and
                  Ralf Buscherm{\"{o}}hle and
                  Werner Damm and
                  Jochen Klose and
                  Bernd Westphal and
                  Hartmut Wittke},
  editor       = {Hartmut Ehrig and
                  Werner Damm and
                  J{\"{o}}rg Desel and
                  Martin Gro{\ss}e{-}Rhode and
                  Wolfgang Reif and
                  Eckehard Schnieder and
                  Engelbert Westk{\"{a}}mper},
  title        = {Formal Verification of LSCs in the Development Process},
  booktitle    = {Integration of Software Specification Techniques for Applications
                  in Engineering, Priority Program SoftSpez of the German Research Foundation
                  (DFG), Final Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {3147},
  pages        = {494--516},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27863-4\_27},
  doi          = {10.1007/978-3-540-27863-4\_27},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/BrillBDKWW04.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}
}

@article{DBLP:journals/it/BienmullerDKW01,
  author       = {Tom Bienm{\"{u}}ller and
                  Werner Damm and
                  Jochen Klose and
                  Hartmut Wittke},
  title        = {Formale Analyse und Verifikation von Statemate-Entw{\"{u}}rfen
                  (Formal Analysis and Verification of Statemate Designs)},
  journal      = {Informationstechnik Tech. Inform.},
  volume       = {43},
  number       = {1},
  pages        = {29--34},
  year         = {2001},
  url          = {https://doi.org/10.1524/itit.2001.43.1.29},
  doi          = {10.1524/ITIT.2001.43.1.29},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/BienmullerDKW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KloseW01,
  author       = {Jochen Klose and
                  Hartmut Wittke},
  editor       = {Tiziana Margaria and
                  Wang Yi},
  title        = {An Automata Based Interpretation of Live Sequence Charts},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  7th International Conference, {TACAS} 2001 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2001
                  Genova, Italy, April 2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2031},
  pages        = {512--527},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45319-9\_35},
  doi          = {10.1007/3-540-45319-9\_35},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KloseW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BienmullerDW00,
  author       = {Tom Bienm{\"{u}}ller and
                  Werner Damm and
                  Hartmut Wittke},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {The {STATEMATE} Verification Environment - Making It Real},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {561--567},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_45},
  doi          = {10.1007/10722167\_45},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BienmullerDW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.