publications:
- title: "Automatic generation of systemc models from component-based designs for early design validation and performance analysis"
  author:
  - name: "Zhonglei Wang"
    link: "https://researchr.org/alias/zhonglei-wang"
  - name: "Wolfgang Haberl"
    link: "https://researchr.org/alias/wolfgang-haberl"
  - name: "Stefan Kugele"
    link: "https://researchr.org/alias/stefan-kugele"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1383559.1383577"
  links:
    doi: "http://doi.acm.org/10.1145/1383559.1383577"
  tags:
  - "analysis"
  - "design"
  researchr: "https://researchr.org/publication/WangHKT08"
  cites: 0
  citedby: 0
  pages: "139-144"
  booktitle: "wosp"
  kind: "inproceedings"
  key: "WangHKT08"
- title: "Navigating the Requirements Jungle"
  author:
  - name: "Boris Langer"
    link: "https://researchr.org/alias/boris-langer"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88479-8_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88479-8_25"
  researchr: "https://researchr.org/publication/LangerT08"
  cites: 0
  citedby: 0
  pages: "354-368"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "LangerT08"
- title: "Don t care in SMT-Building flexible yet efficient abstraction/refinement solvers"
  author:
  - name: "Andreas Bauer 0002"
    link: "https://researchr.org/alias/andreas-bauer-0002"
  - name: "Martin Leucker"
    link: "https://researchr.org/alias/martin-leucker"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2007"
  tags:
  - "refinement"
  - "abstraction"
  researchr: "https://researchr.org/publication/BauerLST07"
  cites: 0
  citedby: 0
  pages: "135-146"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "BauerLST07"
- title: "Tool-support for the analysis of hybrid systems and models"
  author:
  - name: "Andreas Bauer 0002"
    link: "https://researchr.org/alias/andreas-bauer-0002"
  - name: "Markus Pister"
    link: "https://researchr.org/alias/markus-pister"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1266366.1266565"
  links:
    doi: "http://doi.acm.org/10.1145/1266366.1266565"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BauerPT07"
  cites: 0
  citedby: 0
  pages: "924-929"
  booktitle: "date"
  kind: "inproceedings"
  key: "BauerPT07"
- title: "Query-Driven Program Testing"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_15"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/HolzerSTV09"
  cites: 0
  citedby: 0
  pages: "151-166"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "HolzerSTV09"
- title: "FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_20"
  tags:
  - "testing"
  - "analysis"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HolzerSTV08"
  cites: 0
  citedby: 0
  pages: "209-213"
  booktitle: "cav"
  kind: "inproceedings"
  key: "HolzerSTV08"
- title: "Timely Time Estimates"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Visar Januzaj"
    link: "https://researchr.org/alias/visar-januzaj"
  - name: "Stefan Kugele"
    link: "https://researchr.org/alias/stefan-kugele"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16558-0_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16558-0_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/HolzerJKT10"
  researchr: "https://researchr.org/publication/HolzerJKT10"
  cites: 0
  citedby: 0
  pages: "33-46"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "HolzerJKT10"
- title: "Don t care in SMT: building flexible yet efficient abstraction/refinement solvers"
  author:
  - name: "Andreas Bauer 0002"
    link: "https://researchr.org/alias/andreas-bauer-0002"
  - name: "Martin Leucker"
    link: "https://researchr.org/alias/martin-leucker"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s10009-009-0133-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-009-0133-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/BauerLST10"
  tags:
  - "refinement"
  - "abstraction"
  researchr: "https://researchr.org/publication/BauerLST10"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "12"
  number: "1"
  pages: "23-37"
  kind: "article"
  key: "BauerLST10"
- title: "A Model Driven Development Approach for Implementing Reactive Systems in Hardware"
  author:
  - name: "Zhonglei Wang"
    link: "https://researchr.org/alias/zhonglei-wang"
  - name: "Andreas Herkersdorf"
    link: "https://researchr.org/alias/andreas-herkersdorf"
  - name: "Stefano Merenda"
    link: "https://researchr.org/alias/stefano-merenda"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/FDL.2008.4641445"
  links:
    doi: "http://dx.doi.org/10.1109/FDL.2008.4641445"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/WangHMT08"
  cites: 0
  citedby: 0
  pages: "197-202"
  booktitle: "fdl"
  kind: "inproceedings"
  key: "WangHMT08"
- title: "How did you specify your test suite"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1858996.1859084"
  links:
    doi: "http://doi.acm.org/10.1145/1858996.1859084"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/HolzerTVS10"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/HolzerTVS10"
  cites: 0
  citedby: 0
  pages: "407-416"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "HolzerTVS10"
- title: "Short Regular Expressions from Finite Automata: Empirical Results"
  author:
  - name: "Hermann Gruber"
    link: "https://researchr.org/alias/hermann-gruber"
  - name: "Markus Holzer"
    link: "https://researchr.org/alias/markus-holzer"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02979-0_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02979-0_22"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/GruberHT09"
  cites: 0
  citedby: 0
  pages: "188-197"
  booktitle: "wia"
  kind: "inproceedings"
  key: "GruberHT09"
- title: "Seamless Testing for Models and Code"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Visar Januzaj"
    link: "https://researchr.org/alias/visar-januzaj"
  - name: "Stefan Kugele"
    link: "https://researchr.org/alias/stefan-kugele"
  - name: "Boris Langer"
    link: "https://researchr.org/alias/boris-langer"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-19811-3_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19811-3_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/HolzerJKLSTV11"
  tags:
  - "meta-model"
  - "testing"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HolzerJKLSTV11"
  cites: 0
  citedby: 0
  pages: "278-293"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "HolzerJKLSTV11"
- title: "Optimizing Automatic Deployment Using Non-functional Requirement Annotations"
  author:
  - name: "Stefan Kugele"
    link: "https://researchr.org/alias/stefan-kugele"
  - name: "Wolfgang Haberl"
    link: "https://researchr.org/alias/wolfgang-haberl"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Martin Wechs"
    link: "https://researchr.org/alias/martin-wechs"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88479-8_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88479-8_28"
  tags:
  - "optimization"
  - "deployment"
  researchr: "https://researchr.org/publication/KugeleHTW08"
  cites: 0
  citedby: 0
  pages: "400-414"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "KugeleHTW08"
- title: "Improving the Confidence in Measurement-Based Timing Analysis"
  author:
  - name: "Sven Bünte"
    link: "https://researchr.org/alias/sven-b%26uuml%3Bnte"
  - name: "Michael Zolda"
    link: "https://researchr.org/alias/michael-zolda"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Raimund Kirner"
    link: "https://researchr.org/alias/raimund-kirner"
  year: "2011"
  doi: "http://dx.doi.org/10.1109/ISORC.2011.27"
  links:
    doi: "http://dx.doi.org/10.1109/ISORC.2011.27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isorc/BunteZTK11"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/BunteZTK11"
  cites: 0
  citedby: 0
  pages: "144-151"
  booktitle: "isorc"
  kind: "inproceedings"
  key: "BunteZTK11"
- title: "Compatibility and reuse in component-based systems via type and unit inference"
  author:
  - name: "Christian Kühnel"
    link: "https://researchr.org/alias/christian-k%C3%BChnel"
  - name: "Andreas Bauer 0002"
    link: "https://researchr.org/alias/andreas-bauer-0002"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.24"
  tags:
  - "reusable components"
  - "type inference"
  - "rule-based"
  - "type system"
  - "reuse"
  researchr: "https://researchr.org/publication/Kuhnel0T07"
  cites: 0
  citedby: 0
  pages: "101-108"
  booktitle: "euromicro"
  kind: "inproceedings"
  key: "Kuhnel0T07"
- title: "Seamless Model-Driven Development Put into Practice"
  author:
  - name: "Wolfgang Haberl"
    link: "https://researchr.org/alias/wolfgang-haberl"
  - name: "Markus Herrmannsdörfer"
    link: "http://www4.in.tum.de/~herrmama/"
  - name: "Stefan Kugele"
    link: "https://researchr.org/alias/stefan-kugele"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Martin Wechs"
    link: "https://researchr.org/alias/martin-wechs"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16558-0_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16558-0_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/HaberlHKTW10"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HaberlHKTW10"
  cites: 0
  citedby: 0
  pages: "18-32"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "HaberlHKTW10"
- title: "An Introduction to Test Specification in FQL"
  author:
  - name: "Andreas Holzer"
    link: "https://researchr.org/alias/andreas-holzer"
  - name: "Michael Tautschnig"
    link: "http://www.cs.ox.ac.uk/people/michael.tautschnig/"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-19583-9_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19583-9_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hvc/HolzerTSV10"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/HolzerTSV10"
  cites: 0
  citedby: 0
  pages: "9-22"
  booktitle: "hvc"
  kind: "inproceedings"
  key: "HolzerTSV10"