|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bünte, Sven ; Zolda, Michael ; Tautschnig, Michael ; Kirner, Raimund | Improving the Confidence in Measurement-Based Timing Analysis | Konferenzbeitrag Inproceedings  | 2011 |
| 2 | | Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut | An Introduction to Test Specification in FQL | Konferenzbeitrag Inproceedings | 2010 |
| 3 | | Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut | How did you specify your test suite | Konferenzbeitrag Inproceedings | 2010 |
| 4 | | Haberl, Wolfgang ; Herrmannsdoerfer, Markus ; Kugele, Stefan ; Tautschnig, Michael ; Wechs, Martin | Seamless Model-Driven Development Put into Practice | Konferenzbeitrag Inproceedings | 2010 |
| 5 | | Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael | Timely Time Estimates | Konferenzbeitrag Inproceedings | 2010 |
| 6 | | Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael | Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers | Artikel Article | 2010 |