Journal articles and book chapters
@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.},
  year = {2014},
  volume = {36},
  number = {2},
  pages = {7},
  url = {http://doi.acm.org/10.1145/2627752},
  doi = {10.1145/2627752},
  biburl = {http://dblp.dagstuhl.de/rec/bib/journals/toplas/AlglaveMT14},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  note = {\emph{Cited in Linux Weekly News and C/C++ WG21/4215.}}
}
@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},
  year = {2012},
  volume = {41},
  number = {1},
  pages = {25--44},
  url = {http://dx.doi.org/10.1007/s10703-012-0155-3},
  doi = {10.1007/s10703-012-0155-3},
  biburl = {http://dblp.dagstuhl.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},
  number = {1},
  month = feb,
  year = {2010},
  journal = {International Journal on Software Tools for Technology Transfer},
  pages = {23--37},
  volume = {12},
  doi = {10.1007/s10009-009-0133-2}
}
@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}
}
  Refereed conference and workshop papers
@inproceedings{DBLP:conf/pldi/AlglaveMT14,
  author = {Jade Alglave and
               Luc Maranget and
               Michael Tautschnig},
  title = {Herding cats: modelling, simulation, testing, and data-mining for
               weak memory},
  booktitle = {Programming Language Design and Implementation (PLDI 2014)},
  year = {2014},
  pages = {7},
  publisher = {{ACM}},
  isbn = {978-1-4503-2784-8},
  url = {http://doi.acm.org/10.1145/2594291.2594347},
  doi = {10.1145/2594291.2594347},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/pldi/AlglaveMT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BloemKRT14,
  author = {Roderick Bloem and
               Robert K{\"{o}}nighofer and
               Franz R{\"o}ck and
               Michael Tautschnig},
  title = {Automating Test-Suite Augmentation},
  booktitle = {Quality Software (QSIC 2014)},
  pages = {67--72},
  year = {2014},
  publisher = {{IEEE}},
  isbn = {978-1-4799-7197-8},
  url = {http://dx.doi.org/10.1109/QSIC.2014.40},
  doi = {10.1109/QSIC.2014.40},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/qsic/BloemKRT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/se/BeyerHTV14,
  author = {Dirk Beyer and
               Andreas Holzer and
               Michael Tautschnig and
               Helmut Veith},
  title = {Reusing Information in Multi-Goal Reachability Analyses},
  booktitle = {Software Engineering 2014},
  year = {2014},
  pages = {97--98},
  series = {{LNI}},
  volume = {227},
  publisher = {{GI}},
  url = {http://eprints.uni-kiel.de/23752/},
  isbn = {978-388579-621-3},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/se/BeyerHTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KroeningT14,
  author = {Daniel Kroening and
               Michael Tautschnig},
  title = {{CBMC} - {C} Bounded Model Checker - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2014)},
  year = {2014},
  pages = {389--391},
  series = {Lecture Notes in Computer Science},
  volume = {8413},
  publisher = {Springer},
  isbn = {978-3-642-54861-1},
  url = {http://dx.doi.org/10.1007/978-3-642-54862-8_26},
  doi = {10.1007/978-3-642-54862-8_26},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tacas/KroeningT14},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = apr,
  note = {\emph{CBMC won the overall Gold medal.}}
}
@inproceedings{DBLP:conf/cav/AlglaveKT13,
  author = {Jade Alglave and
               Daniel Kroening and
               Michael Tautschnig},
  title = {Partial Orders for Efficient Bounded Model Checking of Concurrent
               Software},
  booktitle = {Computer Aided Verification (CAV 2013)},
  year = {2013},
  pages = {141--157},
  series = {Lecture Notes in Computer Science},
  volume = {8044},
  publisher = {Springer},
  isbn = {978-3-642-39798-1},
  url = {http://dx.doi.org/10.1007/978-3-642-39799-8_9},
  doi = {10.1007/978-3-642-39799-8_9},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/cav/AlglaveKT13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = jul
}
@inproceedings{DBLP:conf/csmr/ChocklerDLFHMMORSST13,
  author = {Hana Chockler and
               Giovanni Denaro and
               Meijia Ling and
               Grigory Fedyukovich and
               Antti Eero Johannes Hyv{\"{a}}rinen and
               Leonardo Mariani and
               Ali Muhammad and
               Manuel Oriol and
               Ajitha Rajan and
               Ondrej Sery and
               Natasha Sharygina and
               Michael Tautschnig},
  title = {{PINCETTE} -- Validating Changes and Upgrades in Networked
               Software},
  booktitle = {17th European Conference on Software Maintenance and Reengineering,
               (CSMR 2013)},
  year = {2013},
  pages = {461--464},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-5833-0},
  url = {http://dx.doi.org/10.1109/CSMR.2013.72},
  doi = {10.1109/CSMR.2013.72},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/csmr/ChocklerDLFHMMORSST13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = mar,
  note = {\emph{Best paper award.}}
}
@inproceedings{DBLP:conf/esop/BeyerHTV13,
  author = {Dirk Beyer and
               Andreas Holzer and
               Michael Tautschnig and
               Helmut Veith},
  title = {Information Reuse for Multi-goal Reachability Analyses},
  booktitle = {22nd European Symposium
               on Programming (ESOP 2013)},
  year = {2013},
  pages = {472--491},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7792},
  isbn = {978-3-642-37035-9},
  url = {http://dx.doi.org/10.1007/978-3-642-37036-6_26},
  doi = {10.1007/978-3-642-37036-6_26},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/esop/BeyerHTV13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = mar
}
@inproceedings{DBLP:conf/esop/AlglaveKNT13,
  author = {Jade Alglave and
               Daniel Kroening and
               Vincent Nimal and
               Michael Tautschnig},
  title = {Software Verification for Weak Memory via Program Transformation},
  booktitle = {22nd European Symposium
               on Programming (ESOP 2013)},
  year = {2013},
  pages = {512--532},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7792},
  isbn = {978-3-642-37035-9},
  url = {http://dx.doi.org/10.1007/978-3-642-37036-6_28},
  doi = {10.1007/978-3-642-37036-6_28},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/esop/AlglaveKNT13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = mar
}
@inproceedings{DBLP:conf/fmcad/HornTVLMGK13,
  author = {Alex Horn and
               Michael Tautschnig and
               Celina G. Val and
               Lihao Liang and
               Tom Melham and
               Jim Grundy and
               Daniel Kroening},
  title = {Formal co-validation of low-level hardware/software interfaces},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD 2013)},
  year = {2013},
  pages = {121--128},
  publisher = {{IEEE}},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679400},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/fmcad/HornTVLMGK13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = oct
}
@inproceedings{DBLP:conf/fsttcs/HolzerSTV13,
  author = {Andreas Holzer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {On the Structure and Complexity of Rational Sets of Regular Languages},
  booktitle = {Foundations of Software Technology and
               Theoretical Computer Science (FSTTCS 2013)},
  year = {2013},
  pages = {377--388},
  series = {LIPIcs},
  volume = {24},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.377},
  doi = {10.4230/LIPIcs.FSTTCS.2013.377},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/fsttcs/HolzerSTV13},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = dec
}
@inproceedings{DBLP:conf/tacas/DSilvaHKT12,
  author = {Vijay D'Silva and
               Leopold Haller and
               Daniel Kroening and
               Michael Tautschnig},
  title = {Numeric Bounds Analysis with Conflict-Driven Learning},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2012)},
  year = {2012},
  pages = {48--63},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7214},
  isbn = {978-3-642-28755-8},
  url = {http://dx.doi.org/10.1007/978-3-642-28756-5_5},
  doi = {10.1007/978-3-642-28756-5_5},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tacas/DSilvaHKT12},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = apr
}
@inproceedings{DBLP:conf/tacas/HolzerKSTV12,
  author = {Andreas Holzer and
               Daniel Kroening and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {Proving Reachability using {{\sc FShell}} - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2012)},
  year = {2012},
  pages = {538--541},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7214},
  isbn = {978-3-642-28755-8},
  url = {http://dx.doi.org/10.1007/978-3-642-28756-5_43},
  doi = {10.1007/978-3-642-28756-5_43},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tacas/HolzerKSTV12},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = apr
}
@inproceedings{DBLP:conf/tacas/BaslerDKKTW12,
  author = {G{\'{e}}rard Basler and
               Alastair F. Donaldson and
               Alexander Kaiser and
               Daniel Kroening and
               Michael Tautschnig and
               Thomas Wahl},
  title = {satabs: {A} Bit-Precise Verifier for {C} Programs - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2012)},
  year = {2012},
  pages = {552--555},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7214},
  isbn = {978-3-642-28755-8},
  url = {http://dx.doi.org/10.1007/978-3-642-28756-5_47},
  doi = {10.1007/978-3-642-28756-5_47},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tacas/BaslerDKKTW12},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = apr
}
@inproceedings{DBLP:conf/aplas/AlglaveKLNT11,
  author = {Jade Alglave and
               Daniel Kroening and
               John Lugton and
               Vincent Nimal and
    Michael Tautschnig},
  title = {Soundness of Data Flow Analyses for Weak Memory Models},
  booktitle = {Proceedings of Programming Languages and Systems - 9th Asian
    Symposium (APLAS 2011)},
  year = {2011},
  pages = {272--288},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7078},
  isbn = {978-3-642-25317-1},
  url = {http://dx.doi.org/10.1007/978-3-642-25318-8_21},
  doi = {10.1007/978-3-642-25318-8_21},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/aplas/AlglaveKLNT11},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  month = dec
}
@inproceedings{DBLP:conf/atva/AlglaveDKT11,
  author = {Jade Alglave and
               Alastair F. Donaldson and
               Daniel Kroening and
               Michael Tautschnig},
  title = {Making Software Verification Tools Really Work},
  booktitle = {Proceedings of 9th Automated Technology for Verification and
    Analysis (ATVA 2011)},
  year = {2011},
  pages = {28-42},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6996},
  isbn = {978-3-642-24371-4},
  month = oct
}
@inproceedings{DBLP:conf/fase/HolzerJKLSTV11,
  author = {Andreas Holzer and
               Visar Januzaj and
               Stefan Kugele and
               Boris Langer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {Seamless Testing for Models and Code},
  booktitle = {Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)},
  month = apr,
  year = {2011},
  pages = {278-293},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6603},
  isbn = {978-3-642-19810-6}
}
@inproceedings{DBLP:conf/isorc/BunteZTK11,
  author = {Sven B{\"{u}}nte and
               Michael Zolda and
               Michael Tautschnig and
               Raimund Kirner},
  title = {Improving the Confidence in Measurement-Based Timing Analysis},
  month = {March},
  year = {2011},
  address = {Newport Beach, CA, USA},
  booktitle = {Proceedings of 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011},
  pages = {144-151},
  isbn = {978-0-7695-4368-0},
  publisher = {IEEE Computer Society}
}
@inproceedings{DBLP:conf/hvc/HolzerTSV10,
  author = {Andreas Holzer and
               Michael Tautschnig and
               Christian Schallhart and
               Helmut Veith},
  title = {An Introduction to Test Specification in {FQL}},
  month = oct,
  year = {2010},
  booktitle = {Proceedings of 6th International Haifa Verification Conference (HVC 2011)},
  pages = {9-22},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6504},
  isbn = {978-3-642-19582-2}
}
@inproceedings{DBLP:conf/isola/HaberlHKTW10,
  author = {Wolfgang Haberl and
               Markus Herrmannsdoerfer and
               Stefan Kugele and
               Michael Tautschnig and
               Martin Wechs},
  title = {Seamless Model-driven Development put into Practice},
  month = oct,
  year = {2010},
  address = {Heraklion, Crete, Greece},
  booktitle = {Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010)},
  pages = {18-32},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6415},
  isbn = {978-3-642-16557-3},
  doi = {10.1007/978-3-642-16558-0_4}
}
@inproceedings{DBLP:conf/isola/HolzerJKT10,
  author = {Andreas Holzer and
               Visar Januzaj and
               Stefan Kugele and
               Michael Tautschnig},
  title = {Timely Time Estimates},
  month = oct,
  year = {2010},
  address = {Heraklion, Crete, Greece},
  booktitle = {Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010)},
  pages = {33-46},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6415},
  isbn = {978-3-642-16557-3},
  doi = {10.1007/978-3-642-16558-0_5}
}
@inproceedings{DBLP:conf/kbse/HolzerTVS10,
  author = {Andreas Holzer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {How did you specify your test suite ?},
  month = sep,
  year = {2010},
  address = {Antwerp, Belgium},
  booktitle = {Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
  pages = {407--416},
  publisher = {ACM},
  isbn = {978-1-4503-0116-9}
}
@inproceedings{DBLP:conf/vmcai/HolzerSTV09,
  author = {Andreas Holzer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {Query-Driven Program Testing},
  month = jan,
  year = {2009},
  address = {Savannah, GA, USA},
  booktitle = {Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)},
  pages = {151--166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5403},
  pdf = {vmcai09.pdf}
}
@inproceedings{haberl:herrmama:kugele:tautschnig:wechs:saase09,
  author = {Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin Wechs},
  title = {One Click from Model to Reality},
  year = {2009},
  booktitle = {Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009)}
}
@inproceedings{DBLP:conf/wia/GruberHT09,
  author = {Hermann Gruber and
               Markus Holzer and
               Michael Tautschnig},
  title = {Short Regular Expressions from Finite Automata: Empirical Results},
  month = jul,
  year = {2009},
  address = {Sydney, Australia},
  booktitle = {Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009)},
  pages = {188--197},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5642}
}
@inproceedings{DBLP:conf/cav/HolzerSTV08,
  author = {Andreas Holzer and
               Christian Schallhart and
               Michael Tautschnig and
               Helmut Veith},
  title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and   Measurement}},
  month = jul,
  year = {2008},
  address = {Princeton, NJ, USA},
  booktitle = {Proceedings of the 20th International Conference on Computer Aided   Verification (CAV 2008)},
  pages = {209--213},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5123},
  pdf = {cav08.pdf}
}
@inproceedings{DBLP:conf/fdl/WangHMT08,
  author = {Zhonglei Wang and
               Andreas Herkersdorf and
               Stefano Merenda and
               Michael Tautschnig},
  title = {A Model Driven Development Approach for Implementing Reactive Systems in Hardware},
  month = sep,
  year = {2008},
  address = {Stuttgart, Germany},
  booktitle = {Forum on Specification and Design Languages (FDL08)},
  pages = {197--202},
  publisher = {IEEE Computer Society},
  doi = {10.1109/FDL.2008.4641445}
}
@inproceedings{DBLP:conf/icst/BunteT08,
  author = {Sven B{\"{u}}nte and
               Michael Tautschnig},
  title = {{A Benchmarking Suite for Measurement-Based WCET Analysis Tools}},
  month = apr,
  year = {2008},
  address = {Lillehammer, Norway},
  booktitle = {International Conference on Software Testing Verification and Validation Workshop (ICSTW'08)},
  pages = {353--356},
  publisher = {IEEE Computer Society Press},
  isbn = {978-0-7695-3388-9},
  doi = {10.1109/ICSTW.2008.1},
  pdf = {testbench08.pdf}
}
@inproceedings{DBLP:conf/isola/LangerT08,
  author = {Boris Langer and
               Michael Tautschnig},
  title = {Navigating the Requirements Jungle},
  month = oct,
  year = {2008},
  address = {Porto Sani, Greece},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  pages = {354--368},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {17},
  isbn = {978-3-540-88478-1},
  pdf = {isola08-req-jungle.pdf}
}
@inproceedings{DBLP:conf/isola/KugeleHTW08,
  author = {Stefan Kugele and
               Wolfgang Haberl and
               Michael Tautschnig and
               Martin Wechs},
  title = {Optimizing Automatic Deployment Using Non-Functional Requirement Annotations},
  month = oct,
  year = {2008},
  address = {Porto Sani, Greece},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  pages = {400--414},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {17},
  isbn = {978-3-540-88478-1}
}
@inproceedings{DBLP:conf/wosp/WangHKT08,
  author = {Zhonglei Wang and
               Wolfgang Haberl and
               Stefan Kugele and
               Michael Tautschnig},
  title = {{Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis}},
  month = jun,
  year = {2008},
  address = {Princeton, NJ, USA},
  booktitle = {WOSP '08: Proceedings of the 7th International Workshop on Software and  Performance},
  pages = {139--144},
  publisher = {ACM},
  isbn = {978-1-59593-873-2},
  pdf = {wosp08.pdf}
}
@inproceedings{haberl:tautschnig:baumgarten:iaeng08,
  author = {Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten},
  title = {{Running COLA on Embedded Systems}},
  month = mar,
  year = {2008},
  address = {Hongkong, China},
  booktitle = {Proceedings of The International MultiConference of Engineers and Computer Scientists 2008},
  pages = {922--928},
  isbn = {9789889867188},
  pdf = {iaeng08.pdf},
  note = {\emph{Awarded Certificate of Merit.}}
}
@inproceedings{DBLP:conf/date/BauerPT07,
  author = {Andreas Bauer and
               Markus Pister and
               Michael Tautschnig},
  title = {Tool-support for the analysis of hybrid systems and models},
  month = apr,
  year = {2007},
  address = {Nice, France},
  booktitle = {Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE)},
  pages = {924--929},
  publisher = {European Design and Automation Association},
  abstract = {
  This paper introduces a method and tool-support for the automatic
  analysis and verification of hybrid and embedded control systems,
  whose continuous dynamics are often modelled using MATLAB/Simulink.
  The method is based upon converting system models into the uniform
  input language of our efficient multi-domain constraint solving
  library, ABsolver, which is then used for subsequent analysis.
  Basically, ABsolver is an extensible SMT-solver which addresses mixed
  Boolean and (nonlinear) arithmetic constraint problems as they appear
  in the design of hybrid control systems.
  It allows the integration and semantic connection of various domain
  specific solvers via a logical circuit, such that almost arbitrary
  multi-domain constraint problems can be formulated and solved.
  Its design has been tailored for extensibility, and thus facilitates
  the reuse of expert knowledge, in that the most appropriate solver for
  a given task can be integrated and used.
  As such the only constraint over the problem domain is the capability
  of the employed solvers.
  Our approach to systems verification has been validated in an
  industrial case study using the model of a car's steering control
  system.
  However, additional benchmarks show that other hard instances of
  problems could also be solved by ABsolver in respectable time, and
  that for some instances, ABsolver's approach was the only means of
  solving a problem at all.
  },
  isbn = {978-3-9810801-2-4},
  doi = {10.1109/DATE.2007.364411},
  pdf = {date07.pdf}
}
@inproceedings{DBLP:conf/euromicro/Kuhnel0T07,
  author = {Christian K{\"{u}}hnel and
               Andreas Bauer and
               Michael Tautschnig},
  title = {Compatibility and reuse in component-based systems via type and unit inference},
  month = aug,
  year = {2007},
  address = {L\"ubeck, Germany},
  booktitle = {Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
  pages = {101--108},
  publisher = {IEEE Computer Society Press},
  issn = {1089-6503},
  doi = {10.1109/EUROMICRO.2007.24},
  pdf = {kuehnel-componentbasedCompatibility.pdf}
}
@inproceedings{DBLP:conf/isola/BauerLST07,
  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},
  month = dec,
  year = {2007},
  address = {Poitiers, France},
  booktitle = {Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
  pages = {135--146},
  isbn = {9782854288148},
  pdf = {isola07.pdf}
}
  Talks
@misc{tum-dtu:tautschnig,
  author = {Michael Tautschnig},
  title = {{Satisfiability Modulo Theories: ABsolver}},
  howpublished = {Joint meeting {DTU}-{TUM}},
  year = {2007},
  address = {Munich, Germany},
  month = may,
  note = {talk},
  pdf = {tum-dtu.pdf},
  flags = {copy,omit}
}
@misc{eth-ox-tud:tautschnig,
  author = {Michael Tautschnig},
  title = {{Query-Driven Program Testing}},
  howpublished = {Joint meeting of groups from Oxford, ETH Z\"urich, and
    FORSYTE},
  year = {2009},
  address = {Stoos, Switzerland},
  month = apr,
  note = {talk}
}
@misc{ist-tuv:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {Joint meeting of Tom Henzinger's group and FORSYTE},
  year = {2010},
  address = {Maria Gugging, Austria},
  month = jan,
  note = {talk}
}
@misc{ist-rse:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {IST / TU Rigorous Systems Engineering Seminar},
  year = {2010},
  address = {Maria Gugging, Austria},
  month = mar,
  note = {talk}
}
@misc{biffl:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {Joint meeting of Quality Software Engineering and FORSYTE groups},
  year = {2010},
  address = {Vienna, Austria},
  month = mar,
  note = {talk}
}
@misc{rise:tautschnig,
  author = {Michael Tautschnig},
  title = {{Tools for Concurrency and Distributed Systems}},
  howpublished = {RiSE Workshop},
  year = {2010},
  address = {Graz, Austria},
  month = feb,
  note = {talk}
}
@misc{bodenmais:tautschnig,
  author = {Michael Tautschnig},
  title = {{A Query Language for Programs}},
  howpublished = {i7@Bodenmais},
  year = {2007},
  month = jul,
  note = {talk},
  flags = {copy,omit}
}
@misc{avm08:tautschnig,
  author = {Michael Tautschnig},
  title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and   Measurement}},
  howpublished = {Alpine Verification Meeting},
  year = {2008},
  address = {Semmering, Austria},
  month = may,
  note = {talk}
}
@misc{kps09:tautschnig,
  author = {Michael Tautschnig},
  title = {{FQL: A Query Language for Program Testing}},
  howpublished = {15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09)},
  year = {2009},
  address = {Maria Taferl, Austria},
  month = oct,
  note = {talk}
}
  Technical reports
@techreport{TUD-CS-2009-0184,
  author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig and Helmut Veith and Boris Langer},
  title = {Slope Testing for Activity Diagrams and Safety Critical Software},
  number = {TUD-CS-2009-0184},
  month = {October},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}
@techreport{TUD-CS-2009-0149,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {Dependency Coverage Criteria with {FQL}},
  number = {TUD-CS-2009-0149},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}
@techreport{holzer:schallhart:tautschnig:veith:TUD-CS-2009-0148,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {A Precise Specification Framework for White Box Program Testing},
  number = {TUD-CS-2009-0148},
  month = {September},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}
@techreport{tum-i0716,
  author = {Christian K{\"u}hnel and Andreas Bauer and Michael Tautschnig},
  title = {Compatibility and reuse in component-based systems via type and unit inference},
  number = {TUM-I0716},
  month = may,
  year = {2007},
  institution = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  pdf = {tum-i0716.pdf}
}
@techreport{holzer:schallhart:tautschnig:veith:vmcai09techreport,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {Query-Driven Program Testing},
  number = {TUD-CS-2008-1013},
  month = oct,
  year = {2008},
  institution = {Technische Universit\"at Darmstadt}
}
@techreport{tum-i0714,
  author = {Stefan Kugele and Michael Tautschnig and Andreas Bauer and Christian Schallhart and Stefano Merenda and Wolfgang Haberl and Christian K{\"u}hnel and Florian M{\"uller} and Zhonglei Wang and Doris Wild and Sabine Rittmann and Martin Wechs},
  title = {{COLA} -- The component language},
  number = {TUM-I0714},
  month = sep,
  year = {2007},
  institution = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  pdf = {tum-i0714.pdf}
}
  Theses
@phdthesis{tautschnig:diss,
  author = {Michael Tautschnig},
  title = {Query-Driven Program Testing},
  year = {2011},
  school = {Vienna University of Technology},
  pdf = {diss.pdf}
}
@mastersthesis{tautschnig:diploma06,
  author = {Michael Tautschnig},
  title = {Development of a tool to solve mixed logical/linear constraint problems},
  month = feb,
  year = {2006},
  school = {Technische Universit{\"a}t M{\"u}nchen},
  abstract = {
  The problem of solving mixed arithmetic and Boolean constraint systems arises in many
  different areas, such as verification of soft- and hardware systems, resource
  planning or system design and has been studied extensively in recent time. Yet,
  the available solvers are neither easily extensible, nor do they offer ways to
  apply problem specific heuristics that are required for most of the hard
  problems in this area.\par

  To overcome these limitations, a framework has been designed to integrate
  state-of-the-art solvers for the Boolean- and parts of the arithmetic domain to
  solve the combined problem. Thereby we benefit from the full strength of each of
  the tools in their special area.  Furthermore, the architecture of the system
  emphasises extensibility, which already proved useful for the implemented
  extension to non-linear arithmetic constraints.\par

  The results show that our implementation, albeit in in some parts not yet more than
  a proof of concept, can already compete with existing solvers. Due to the 
  extension to non-linear arithmetic we are even able to tackle a new class of
  real-world problems.\par

  The present work introduces this class of problems and our approach to solve
  them, accompanied by some real-life examples. Along with these descriptions we
  provide detailed insight into our tool and the hurdles we had to overcome.
  },
  pdf = {thesis.pdf}
}

Generated by bibtex2html 1.98.