 | 2009 |
|---|
| 10 |       | Hermann Gruber,
Markus Holzer,
Michael Tautschnig:
Short Regular Expressions from Finite Automata: Empirical Results.
CIAA 2009: 188-197 |
| 9 | | Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
Helmut Veith:
Query-Driven Program Testing.
VMCAI 2009: 151-166 |
| 2008 |
|---|
| 8 | | Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
CAV 2008: 209-213 |
| 7 | | Zhonglei Wang,
Andreas Herkersdorf,
Stefano Merenda,
Michael Tautschnig:
A Model Driven Development Approach for Implementing Reactive Systems in Hardware.
FDL 2008: 197-202 |
| 6 | | Boris Langer,
Michael Tautschnig:
Navigating the Requirements Jungle.
ISoLA 2008: 354-368 |
| 5 | | Stefan Kugele,
Wolfgang Haberl,
Michael Tautschnig,
Martin Wechs:
Optimizing Automatic Deployment Using Non-functional Requirement Annotations.
ISoLA 2008: 400-414 |
| 4 | | Zhonglei Wang,
Wolfgang Haberl,
Stefan Kugele,
Michael Tautschnig:
Automatic generation of systemc models from component-based designs for early design validation and performance analysis.
WOSP 2008: 139-144 |
| 2007 |
|---|
| 3 | | Andreas Bauer,
Markus Pister,
Michael Tautschnig:
Tool-support for the analysis of hybrid systems and models.
DATE 2007: 924-929 |
| 2 | | Christian Kühnel,
Andreas Bauer,
Michael Tautschnig:
Compatibility and reuse in component-based systems via type and unit inference.
EUROMICRO-SEAA 2007: 101-108 |
| 1 |  | Andreas Bauer,
Martin Leucker,
Christian Schallhart,
Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.
ISoLA 2007: 135-146 |
