@inproceedings{WangHKT08,
  title = {Automatic generation of systemc models from component-based designs for early design validation and performance analysis},
  author = {Zhonglei Wang and Wolfgang Haberl and Stefan Kugele and Michael Tautschnig},
  year = {2008},
  doi = {10.1145/1383559.1383577},
  url = {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},
}

@inproceedings{LangerT08,
  title = {Navigating the Requirements Jungle},
  author = {Boris Langer and Michael Tautschnig},
  year = {2008},
  doi = {10.1007/978-3-540-88479-8_25},
  url = {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},
}

@inproceedings{BauerLST07,
  title = {Don t care in SMT-Building flexible yet efficient abstraction/refinement solvers},
  author = {Andreas Bauer 0002 and Martin Leucker and Christian Schallhart and Michael Tautschnig},
  year = {2007},
  tags = {refinement, abstraction},
  researchr = {https://researchr.org/publication/BauerLST07},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {ISoLA},
}

@inproceedings{BauerPT07,
  title = {Tool-support for the analysis of hybrid systems and models},
  author = {Andreas Bauer 0002 and Markus Pister and Michael Tautschnig},
  year = {2007},
  doi = {10.1145/1266366.1266565},
  url = {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},
}

@inproceedings{HolzerSTV09,
  title = {Query-Driven Program Testing},
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
  year = {2009},
  doi = {10.1007/978-3-540-93900-9_15},
  url = {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},
}

@inproceedings{HolzerSTV08,
  title = {FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement},
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_20},
  url = {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},
}

@inproceedings{HolzerJKT10,
  title = {Timely Time Estimates},
  author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig},
  year = {2010},
  doi = {10.1007/978-3-642-16558-0_5},
  url = {http://dx.doi.org/10.1007/978-3-642-16558-0_5},
  researchr = {https://researchr.org/publication/HolzerJKT10},
  cites = {0},
  citedby = {0},
  pages = {33-46},
  booktitle = {ISoLA},
}

@article{BauerLST10,
  title = {Don t care in SMT: building flexible yet efficient abstraction/refinement solvers},
  author = {Andreas Bauer 0002 and Martin Leucker and Christian Schallhart and Michael Tautschnig},
  year = {2010},
  doi = {10.1007/s10009-009-0133-2},
  url = {http://dx.doi.org/10.1007/s10009-009-0133-2},
  tags = {refinement, abstraction},
  researchr = {https://researchr.org/publication/BauerLST10},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {12},
  number = {1},
  pages = {23-37},
}

@inproceedings{WangHMT08,
  title = {A Model Driven Development Approach for Implementing Reactive Systems in Hardware},
  author = {Zhonglei Wang and Andreas Herkersdorf and Stefano Merenda and Michael Tautschnig},
  year = {2008},
  doi = {10.1109/FDL.2008.4641445},
  url = {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},
}

@inproceedings{HolzerTVS10,
  title = {How did you specify your test suite},
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
  year = {2010},
  doi = {10.1145/1858996.1859084},
  url = {http://doi.acm.org/10.1145/1858996.1859084},
  tags = {testing},
  researchr = {https://researchr.org/publication/HolzerTVS10},
  cites = {0},
  citedby = {0},
  pages = {407-416},
  booktitle = {ASE},
}

@inproceedings{GruberHT09,
  title = {Short Regular Expressions from Finite Automata: Empirical Results},
  author = {Hermann Gruber and Markus Holzer and Michael Tautschnig},
  year = {2009},
  doi = {10.1007/978-3-642-02979-0_22},
  url = {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},
}

@inproceedings{HolzerJKLSTV11,
  title = {Seamless Testing for Models and Code},
  author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
  year = {2011},
  doi = {10.1007/978-3-642-19811-3_20},
  url = {http://dx.doi.org/10.1007/978-3-642-19811-3_20},
  tags = {meta-model, testing, Meta-Environment},
  researchr = {https://researchr.org/publication/HolzerJKLSTV11},
  cites = {0},
  citedby = {0},
  pages = {278-293},
  booktitle = {FASE},
}

@inproceedings{KugeleHTW08,
  title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations},
  author = {Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs},
  year = {2008},
  doi = {10.1007/978-3-540-88479-8_28},
  url = {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},
}

@inproceedings{BunteZTK11,
  title = {Improving the Confidence in Measurement-Based Timing Analysis},
  author = {Sven Bünte and Michael Zolda and Michael Tautschnig and Raimund Kirner},
  year = {2011},
  doi = {10.1109/ISORC.2011.27},
  url = {http://dx.doi.org/10.1109/ISORC.2011.27},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/BunteZTK11},
  cites = {0},
  citedby = {0},
  pages = {144-151},
  booktitle = {isorc},
}

@inproceedings{Kuhnel0T07,
  title = {Compatibility and reuse in component-based systems via type and unit inference},
  author = {Christian Kühnel and Andreas Bauer 0002 and Michael Tautschnig},
  year = {2007},
  doi = {10.1109/EUROMICRO.2007.24},
  url = {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},
}

@inproceedings{HaberlHKTW10,
  title = {Seamless Model-Driven Development Put into Practice},
  author = {Wolfgang Haberl and Markus Herrmannsdörfer and Stefan Kugele and Michael Tautschnig and Martin Wechs},
  year = {2010},
  doi = {10.1007/978-3-642-16558-0_4},
  url = {http://dx.doi.org/10.1007/978-3-642-16558-0_4},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/HaberlHKTW10},
  cites = {0},
  citedby = {0},
  pages = {18-32},
  booktitle = {ISoLA},
}

@inproceedings{HolzerTSV10,
  title = {An Introduction to Test Specification in FQL},
  author = {Andreas Holzer and Michael Tautschnig and Christian Schallhart and Helmut Veith},
  year = {2010},
  doi = {10.1007/978-3-642-19583-9_5},
  url = {http://dx.doi.org/10.1007/978-3-642-19583-9_5},
  tags = {testing},
  researchr = {https://researchr.org/publication/HolzerTSV10},
  cites = {0},
  citedby = {0},
  pages = {9-22},
  booktitle = {hvc},
}