@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -c '$type = "ARTICLE" or $type = "INBOOK"' /Users/michael/svnhome/cv/public_bib/my.bib}}

@article{DBLP:journals/tecs/LiangMKST18,
  author = {Lihao Liang and
               Tom Melham and
               Daniel Kroening and
               Peter Schrammel and
               Michael Tautschnig},
  title = {Effective Verification for Low-Level Software with Competing Interrupts},
  journal = {{ACM} Trans. Embedded Comput. Syst.},
  volume = {17},
  number = {2},
  pages = {36:1--36:26},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3147432},
  doi = {10.1145/3147432},
  timestamp = {Tue, 15 May 2018 15:36:00 +0200},
  biburl = {https://dblp.org/rec/bib/journals/tecs/LiangMKST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/HuismanKMT17,
  author = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan and
               Michael Tautschnig},
  title = {VerifyThis 2015 - {A} program verification competition},
  journal = {{STTT}},
  volume = {19},
  number = {6},
  pages = {763--771},
  year = {2017},
  url = {https://doi.org/10.1007/s10009-016-0438-x},
  doi = {10.1007/s10009-016-0438-x},
  timestamp = {Tue, 26 Jun 2018 14:09:49 +0200},
  biburl = {https://dblp.org/rec/bib/journals/sttt/HuismanKMT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HolzerSTV15,
  author = {Andreas Holzer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {Closure properties and complexity of rational sets of regular languages},
  journal = {Theor. Comput. Sci.},
  volume = {605},
  pages = {62--79},
  year = {2015},
  url = {http://dx.doi.org/10.1016/j.tcs.2015.08.035},
  doi = {10.1016/j.tcs.2015.08.035},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/HolzerSTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/toplas/AlglaveMT14,
  author = {Jade Alglave and
               Luc Maranget and
               Michael Tautschnig},
  title = {Herding Cats: Modelling, Simulation, Testing, and Data Mining for
               Weak Memory},
  journal = {{ACM} Trans. Program. Lang. Syst.},
  volume = {36},
  number = {2},
  pages = {7:1--7:74},
  year = {2014},
  note = {\emph{Cited in Linux Weekly News and C/C++ WG21/4215.}},
  url = {http://doi.acm.org/10.1145/2627752},
  doi = {10.1145/2627752},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/toplas/AlglaveMT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/fmsd/DonaldsonKKTW12,
  author = {Alastair~F. Donaldson and
               Alexander Kaiser and
               Daniel Kroening and
               Michael Tautschnig and
               Thomas Wahl},
  title = {Counterexample-guided abstraction refinement for symmetric concurrent
               programs},
  journal = {Formal Methods in System Design},
  volume = {41},
  number = {1},
  pages = {25--44},
  year = {2012},
  url = {http://dx.doi.org/10.1007/s10703-012-0155-3},
  doi = {10.1007/s10703-012-0155-3},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fmsd/DonaldsonKKTW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/sttt/BauerLST10,
  author = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart and
               Michael Tautschnig},
  title = {Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume = {12},
  number = {1},
  month = feb,
  pages = {23--37},
  year = {2010},
  doi = {10.1007/s10009-009-0133-2},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/sttt/BauerLST10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inbook{haberl:tautschnig:baumgarten:lnee,
  author = {Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten},
  title = {{Generating Distributed Code From COLA Models}},
  month = mar,
  year = {2009},
  booktitle = {Trends in Communication Technologies and Engineering Science},
  chapter = {20},
  publisher = {Springer},
  series = {Lecture Notes in Electrical Engineering},
  volume = {33},
  isbn = {978-1-4020-9492-7}
}

@article{haberl:tautschnig:baumgarten:ijcs,
  author = {Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten},
  title = {{From COLA Models to Distributed Embedded Systems Code}},
  number = {3},
  month = sep,
  year = {2008},
  journal = {IAENG International Journal of Computer Science},
  pages = {427--437},
  volume = {35},
  issn = {1819-656X},
  pdf = {IJCS_35_3_21.pdf}
}

This file was generated by bibtex2html 1.99.