@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.