BibTeX records: Gunther Vogel

download as .bib file

@inproceedings{DBLP:conf/adaEurope/RazaV08,
  author       = {Aoun Raza and
                  Gunther Vogel},
  editor       = {Fabrice Kordon and
                  Tullio Vardanega},
  title        = {RCanalyser: {A} Flexible Framework for the Detection of Data Races
                  in Parallel Programs},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
                  International Conference on Reliable Software Technologies, Venice,
                  Italy, June 16-20, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5026},
  pages        = {226--239},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68624-8\_17},
  doi          = {10.1007/978-3-540-68624-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RazaV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsr/WiebeKSV08,
  author       = {Eduard Wiebe and
                  Steffen Keul and
                  Stefan Staiger and
                  Gunther Vogel},
  editor       = {Rainer Gimnich and
                  Uwe Kaiser and
                  Jochen Quante and
                  Andreas Winter},
  title        = {Entwurfsmuster-Erkennung mit Bauhaus},
  booktitle    = {10th Workshop Software Reengineering, 5-7 May 2008, Bad Honnef, Germany},
  series       = {{LNI}},
  volume       = {{P-126}},
  pages        = {181--185},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21650},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsr/WiebeKSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Vogel07,
  author       = {Gunther Vogel},
  editor       = {Rainer Koschke and
                  Otthein Herzog and
                  Karl{-}Heinz R{\"{o}}diger and
                  Marc Ronthaler},
  title        = {Transformation und Vergleich von endlichen Automaten zur Analyse von
                  Software-Protokollen},
  booktitle    = {37. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  trifft Logistik, {INFORMATIK} 2007, Bremen, Germany, September 24-27,
                  2007, Band 2},
  series       = {{LNI}},
  volume       = {{P-110}},
  pages        = {268--274},
  publisher    = {{GI}},
  year         = {2007},
  url          = {https://dl.gi.de/handle/20.500.12116/22492},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Vogel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/StaigerVKW07,
  author       = {Stefan Staiger and
                  Gunther Vogel and
                  Steffen Keul and
                  Eduard Wiebe},
  title        = {Interprocedural Static Single Assignment Form},
  booktitle    = {14th Working Conference on Reverse Engineering {(WCRE} 2007), 28-31
                  October 2007, Vancouver, BC, Canada},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/WCRE.2007.31},
  doi          = {10.1109/WCRE.2007.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/StaigerVKW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Vogel06,
  author       = {Gunther Vogel},
  title        = {Statische Extraktion von Protokollen},
  journal      = {Softwaretechnik-Trends},
  volume       = {26},
  number       = {2},
  year         = {2006},
  url          = {http://pi.informatik.uni-siegen.de/stt/26\_2/01\_Fachgruppenberichte/04-WSR2006/27-Vogel.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/Vogel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RazaVP06,
  author       = {Aoun Raza and
                  Gunther Vogel and
                  Erhard Pl{\"{o}}dereder},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Bauhaus - {A} Tool Suite for Program Analysis and Reverse Engineering},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {71--82},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_6},
  doi          = {10.1007/11767077\_6},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RazaVP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/EisenbarthKV05,
  author       = {Thomas Eisenbarth and
                  Rainer Koschke and
                  Gunther Vogel},
  title        = {Static object trace extraction for programs with pointers},
  journal      = {J. Syst. Softw.},
  volume       = {77},
  number       = {3},
  pages        = {263--284},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.04.028},
  doi          = {10.1016/J.JSS.2004.04.028},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/EisenbarthKV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SimonVP05,
  author       = {Daniel Simon and
                  Gunther Vogel and
                  Erhard Pl{\"{o}}dereder},
  editor       = {Tullio Vardanega and
                  Andy J. Wellings},
  title        = {Teaching Software Engineering with Ada 95},
  booktitle    = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
                  Conference on Reliable Software Technologies, York, UK, June 20-24,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3555},
  pages        = {115--128},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499909\_10},
  doi          = {10.1007/11499909\_10},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SimonVP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/EisenbarthKV03,
  author       = {Thomas Eisenbarth and
                  Rainer Koschke and
                  Gunther Vogel},
  title        = {Extraktion statischer Objekt Prozess Graphen},
  journal      = {Softwaretechnik-Trends},
  volume       = {23},
  number       = {2},
  year         = {2003},
  url          = {http://pi.informatik.uni-siegen.de/stt/23\_2/01\_Fachgruppenberichte/wsr2003.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/EisenbarthKV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/EisenbarthKV02,
  author       = {Thomas Eisenbarth and
                  Rainer Koschke and
                  Gunther Vogel},
  editor       = {Arie van Deursen and
                  Elizabeth Burd},
  title        = {Static Trace Extraction},
  booktitle    = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
                  - 1 November 2002, Richmond, VA, {USA}},
  pages        = {128},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/WCRE.2002.1173071},
  doi          = {10.1109/WCRE.2002.1173071},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/EisenbarthKV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}