Name Card

Full name Familienname, Vorname
Tautschnig, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bünte, Sven ; Zolda, Michael ; Tautschnig, Michael ; Kirner, Raimund Improving the Confidence in Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2011
2Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010
3Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut How did you specify your test suiteKonferenzbeitrag Inproceedings 2010
4Haberl, Wolfgang ; Herrmannsdoerfer, Markus ; Kugele, Stefan ; Tautschnig, Michael ; Wechs, Martin Seamless Model-Driven Development Put into PracticeKonferenzbeitrag Inproceedings2010
5Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael Timely Time EstimatesKonferenzbeitrag Inproceedings2010
6Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael Don't care in SMT---Building flexible yet efficient abstraction/refinement solversArtikel Article 2010