Jörg's bib File

@INPROCEEDINGS{KSV10,
  AUTHOR = {J{\"o}rg Kreiker and Helmut Seidl and Vesal Vojdani},
  TITLE =  {Shape Analysis of Low-level C with Overlapping Structures},
  BOOKTITLE = {11th International Conference on Verification, Model Checking, and Abstract Interpretation},
  EDITOR = {Gilles Barthe and Manuel Hermenegildo}
  YEAR = {2010},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/vmcai10.pdf}
}

@INPROCEEDINGS{BBRK08,
  AUTHOR = {J{\"o}rg Bauer and Iovka Boneva and Arend Rensink and Marcos E. Kurban},
  TITLE =  {A Modal-Logic Based Graph Abstraction},
  BOOKTITLE = {International Conference of Graph Transformation},
  EDITOR = {Reiko Heckel and Gabriele Taentzer}
  YEAR = {2008},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/icgt08.pdf}
}

@INPROCEEDINGS{BNNP08,
  AUTHOR = {J{\"o}rg Bauer and Flemming Nielson and Hanne Riis Nielson and Henrik Pilegaard},
  TITLE =  {Relational Analysis for Delivery of Services},
  BOOKTITLE = {Relational Analysis of Correlation},
  EDITOR = {Maria Alpuente and German Vidal}
  VOLUME = {5079},
  PAGES = {32-46},
  YEAR = {2008},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/sas08.pdf}
}

@INPROCEEDINGS{BDTW07,
  AUTHOR = {J{\"o}rg Bauer and Werner Damm and Tobe Toben and Bernd Westphal},
  TITLE = {Verification and Synthesis of OCL Constraints via Topology Analysis: A Case Study},
  BOOKTITLE = {Applications of Graph Transformations with Industrial Relevance Third International Symposium},
  YEAR = {2007},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/agtive07.pdf}
}

@INPROCEEDINGS{NNBNP07,
  AUTHOR = {Flemming Nielson and Hanne Riis Nielson and J{\"o}rg Bauer and Christoffer Rosenkilde Nielsen and Henrik Pilegaard},
  TITLE =  {Relational Analysis for Delivery of Services},
  BOOKTITLE = {{T}rustworthy {G}lobal {C}omputing},
  EDITOR = {Gilles Barthe and Cedric Fournet}
  VOLUME = {4912},
  PAGES = {73-89},
  YEAR = {2007},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/tgc07.pdf}
}

@INPROCEEDINGS{BauerTW07,
  AUTHOR    = {J{\"o}rg Bauer and
               Tobe Toben and
               Bernd Westphal},
  TITLE     = {Mind the Shapes: Abstraction Refinement Via Topology Invariants},
  BOOKTITLE = {Automated Technology for Verification and Analysis, 5th
               International Symposium, ATVA 2007, Tokyo, Japan, October
               22-25, 2007, Proceedings},
  EDITOR    = {Kedar S. Namjoshi and
               Tomohiro Yoneda and
               Teruo Higashino and
               Yoshio Okamura},
  YEAR      = {2007},
  PAGES     = {35-50},
  PUBLISHER = {Springer},
  VOLUME    = {4762}
  URL       = {http://www.model.in.tum.de/~joba/atva07.pdf}
}

@INPROCEEDING{BauWi07,
  AUTHOR = {J{\"o}rg Bauer and Reinhard Wilhelm},
  TITLE = {{S}tatic {A}nalysis of {D}ynamic {C}ommunication {S}ystems},
  BOOKTITLE = {14th {I}nternational {S}tatic {A}nalysis {S}ymposium},
  EDITOR = {Gilberto File and Hanne Riis Nielson},
  VOLUME = {4634},
  YEAR = {2007},
  PUBLISHER = {Springer},
  URL = {http://www.model.in.tum.de/~joba/sas07.pdf}
}

@PROCEEDINGS{RSB07a,
  EDITOR    = {Thomas Reps and Mooly Sagiv and J{\"o}rg Bauer},
  TITLE     = {Program Analysis and Compilation, Theory and Practice,
               Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
  BOOKTITLE = {Festschrift},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {4444},
  YEAR      = {2007},
  ISBN      = {978-3-540-71315-9}
}

@INPROCEEDINGS{RSB07b,
  AUTHOR    = {Thomas Reps and Mooly Sagiv and J{\"o}rg Bauer}
  TITLE     = {An Appreciation of the Work of Reinhard Wilhelm.}
  BOOKTITLE = {Festschrift},
  YEAR      = {2007},
  PAGES     = {1-11},
  CROSSREF  = {RSB07a},
  URL       = {http://www.model.in.tum.de/~joba/appreciation.pdf},
  ISBN      = {978-3-540-71315-9}
}

@PHDTHESIS{Bauer06,
  AUTHOR = {J{\"o}rg Bauer},
  TITLE = {{A}nalysis of {C}ommunication {T}opologies by {P}artner {A}bstraction},
  SCHOOL = {Universit{\"a}t des Saarlandes},
  YEAR = {2006},
  ISBN = {978-3-937436-12-8},
  PUBLISHER = {Verlag Pirrot, 66125 Saarbr{\"u}cken},
  URL = {http://www.model.in.tum.de/~joba/phd.pdf}
}

@TECHREPORT{BauWi06,
  AUTHOR = {J. Bauer and R. Wilhelm},
  TITLE = {{A}nalysis of {D}ynamic {C}ommunicating {S}ystems by {H}ierarchical {A}bstraction},
  INSTITUTION = {Dagstuhl},
  YEAR = {2006},
  TYPE = {Seminar Proceedings 06081},
  MONTH = FEB,
  URL = {http://www.model.in.tum.de/~joba/dagstuhl06081.pdf}
}

@INPROCEEDINGS{BaSTW06,
  AUTHOR = {J{\"o}rg Bauer and Ina Schaefer and Tobe Toben and Bernd Westphal},
  TITLE = {{S}pecification and {V}erification of {D}ynamic {C}ommunication {S}ystems},
  BOOKTITLE = {Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on},
  YEAR = {2006},
  PUBLISHER = {IEEE Computer Society Press},
  URL = {http://www.model.in.tum.de/~joba/acsd06.pdf}
}

@INPROCEEDINGS{RBRSW05,
  AUTHOR = {N. Rinetzky and J. Bauer and T. Reps and M. Sagiv and R. Wilhelm},
  TITLE = {{A}~{S}emantics for {P}rocedure {L}ocal {H}eaps and its {A}bstractions},
  BOOKTITLE = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
  YEAR = {2005},
  URL = {http://www.model.in.tum.de/~joba/popl05.pdf}
}

@TECHREPORT{RBRSW04,
  AUTHOR = {N. Rinetzky and J. Bauer and T. Reps and M. Sagiv and R. Wilhelm},
  TITLE = {{A}~{S}emantics for {P}rocedure {L}ocal {H}eaps and its {A}bstractions},
  INSTITUTION = {AVACS},
  YEAR = {2004},
  TYPE = {Tech. Rep.},
  NUMBER = {1},
  MONTH = {Sep},
  URL = {http://www.model.in.tum.de/~joba/avacsTR1.pdf}
}

@MASTERSTHESIS{Bauer01,
  AUTHOR = {J{\"o}rg Bauer},
  TITLE = {{A} {C}ontrol-{F}low-{A}nalysis for {M}ulti-{T}hreaded {J}ava with {S}ecurity {A}pplications},
  SCHOOL = {Saarland University},
  YEAR = {2001},
  URL = {http://www.model.in.tum.de/~joba/diplom.ps.gz}
}