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: "Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008"
  editor:
  - name: "Alberto Avritzer"
    link: "https://researchr.org/alias/alberto-avritzer"
  - name: "Elaine J. Weyuker"
    link: "https://researchr.org/alias/elaine-j.-weyuker"
  - name: "C. Murray Woodside"
    link: "https://researchr.org/alias/c.-murray-woodside"
  publisher: "ACM"
  isbn: "978-1-59593-873-2"
  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: "Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "17"
  series: "Communications in Computer and Information Science"
  publisher: "Springer"
  isbn: "978-3-540-88478-1"
  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 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007"
  editor:
  - name: "Yamine Aït Ameur"
    link: "https://researchr.org/alias/yamine-a%C3%AFt-ameur"
  - name: "Frédéric Boniol"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-boniol"
  - name: "Virginie Wiels"
    link: "https://researchr.org/alias/virginie-wiels"
  volume: "RNTI-SM-1"
  series: "Revue des Nouvelles Technologies de l Information"
  publisher: "Cépaduès-Éditions"
  isbn: "978-2-85428-814-8"
  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: "2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France"
  editor:
  - name: "Rudy Lauwereins"
    link: "https://researchr.org/alias/rudy-lauwereins"
  - name: "Jan Madsen"
    link: "https://researchr.org/alias/jan-madsen"
  publisher: "ACM"
  isbn: "978-3-9810801-2-4"
  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: "Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Markus Müller-Olm"
    link: "https://researchr.org/alias/markus-m%C3%BCller-olm"
  volume: "5403"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93899-6"
  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: "Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings"
  editor:
  - name: "Aarti Gupta"
    link: "https://researchr.org/alias/aarti-gupta"
  - name: "Sharad Malik"
    link: "https://researchr.org/alias/sharad-malik"
  volume: "5123"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70543-7"
  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: "Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "6415"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16557-3"
  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: "Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings"
  publisher: "IEEE"
  isbn: "978-1-4244-2265-4"
  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 2010, 25th IEEE/ACM International Conference on Automated Software Engineering,  Antwerp, Belgium, September 20-24, 2010"
  editor:
  - name: "Charles Pecheur"
    link: "https://researchr.org/alias/charles-pecheur"
  - name: "Jamie Andrews"
    link: "https://researchr.org/alias/jamie-andrews"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  publisher: "ACM"
  isbn: "978-1-4503-0116-9"
  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: "Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings"
  editor:
  - name: "Sebastian Maneth"
    link: "https://researchr.org/alias/sebastian-maneth"
  volume: "5642"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02978-3"
  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: "Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings"
  editor:
  - name: "Dimitra Giannakopoulou"
    link: "https://researchr.org/alias/dimitra-giannakopoulou"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "6603"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-19810-6"
  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: "Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "17"
  series: "Communications in Computer and Information Science"
  publisher: "Springer"
  isbn: "978-3-540-88478-1"
  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: "14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4368-0"
  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: "33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, German"
  publisher: "IEEE Computer Society"
  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: "Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "6415"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16557-3"
  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: "Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers"
  editor:
  - name: "Sharon Barner"
    link: "https://researchr.org/alias/sharon-barner"
  - name: "Ian G. Harris"
    link: "https://researchr.org/alias/ian-g.-harris"
  - name: "Daniel Kroening"
    link: "https://researchr.org/alias/daniel-kroening"
  - name: "Orna Raz"
    link: "https://researchr.org/alias/orna-raz"
  volume: "6504"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-19582-2"
  kind: "inproceedings"
  key: "HolzerTSV10"