Michael Tautschnig : Publications
|
[1] |
Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
|
[2] |
Seamless Testing for Models and Code Andreas Holzer‚ Visar Januzaj‚ Stefan Kugele‚ Boris Langer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith In Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011). Vol. 6603 of Lecture Notes in Computer Science. Pages 278−293. Springer. April, 2011. |
|
[3] |
Improving the Confidence in Measurement−Based Timing Analysis Sven Bünte‚ Raimund Kirner‚ Michael Zolda and Michael Tautschnig In Proceedings of 14th IEEE International Symposium on Object/Component/Service−Oriented Real−Time Distributed Computing‚ ISORC 2011. Pages 144−151. Newport Beach‚ CA‚ USA. March, 2011. IEEE Computer Society. |
|
[4] |
Soundness of Data Flow Analyses for Weak Memory Models Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig In Proceedings of Programming Languages and Systems − 9th Asian Symposium (APLAS 2011). Vol. 7078 of Lecture Notes in Computer Science. Pages 272−288. Springer. December, 2011. |
|
[5] |
Making Software Verification Tools Really Work Jade Alglave‚ Alastair Donaldson‚ Daniel Kroening and Michael Tautschnig In Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011). Vol. 6996 of Lecture Notes in Computer Science. Pages 28−42. Springer. October, 2011. |
|
[6] |
An Introduction to Test Specification in FQL Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith In Sharon Barner‚ Ian G. Harris‚ Daniel Kroening and Orna Raz, editors, Proceedings of 6th International Haifa Verification Conference (HVC 2011). Vol. 6504 of Lecture Notes in Computer Science. Pages 9−22. Springer. October, 2011. |
|
[7] |
How did you specify your test suite ? Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010). Pages 407–416. Antwerp‚ Belgium. September, 2010. ACM. |
|
[8] |
Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig In International Journal on Software Tools for Technology Transfer. Vol. 12. No. 1. Pages 23–37. February, 2010. |
|
[9] |
Timely Time Estimates Andreas Holzer‚ Visar Januzaj‚ Stefan Kugele and Michael Tautschnig In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010). Vol. 6415 of Lecture Notes in Computer Science. Pages 33−46. Heraklion‚ Crete‚ Greece. October, 2010. Springer. |
|
[10] |
Seamless Model−driven Development put into Practice Wolfgang Haberl‚ Markus Herrmannsdoerfer‚ Stefan Kugele‚ Michael Tautschnig and Martin Wechs In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010). Vol. 6415 of Lecture Notes in Computer Science. Pages 18−32. Heraklion‚ Crete‚ Greece. October, 2010. Springer. |
|
[11] |
Short Regular Expressions from Finite Automata: Empirical Results Hermann Gruber‚ Markus Holzer and Michael Tautschnig In Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009). Vol. 5642 of Lecture Notes in Computer Science. Pages 188–197. Sydney‚ Australia. July, 2009. Springer. |
|
[12] |
Generating Distributed Code From COLA Models Wolfgang Haberl‚ Michael Tautschnig and Uwe Baumgarten In Trends in Communication Technologies and Engineering Science. Vol. 33 of Lecture Notes in Electrical Engineering. Chapter 20. Springer. March, 2009. |
|
[13] |
Query−Driven Program Testing Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith In Neil D. Jones and Markus Müller−Olm, editors, Proceedings of the Tenth International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI 2009). Vol. 5403 of Lecture Notes in Computer Science. Pages 151–166. Savannah‚ GA‚ USA. January, 2009. Springer. |
|
[14] |
One Click from Model to Reality Wolfgang Haberl‚ Markus Herrmannsdoerfer‚ Stefan Kugele‚ Michael Tautschnig and Martin Wechs In Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009). 2009. |
|
[15] |
From COLA Models to Distributed Embedded Systems Code Wolfgang Haberl‚ Michael Tautschnig and Uwe Baumgarten In IAENG International Journal of Computer Science. Vol. 35. No. 3. Pages 427–437. September, 2008. |
|
[16] |
A Model Driven Development Approach for Implementing Reactive Systems in Hardware Zhonglei Wang‚ Andreas Herkersdorf‚ Stefano Merenda and Michael Tautschnig In Forum on Specification and Design Languages (FDL08). Pages 197–202. Stuttgart‚ Germany. September, 2008. IEEE Computer Society. |
|
[17] |
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008). Vol. 5123 of Lecture Notes in Computer Science. Pages 209–213. Princeton‚ NJ‚ USA. July, 2008. Springer. |
|
[18] |
Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis Zhonglei Wang‚ Wolfgang Haberl‚ Stefan Kugele and Michael Tautschnig In WOSP '08: Proceedings of the 7th International Workshop on Software and Performance. Pages 139–144. Princeton‚ NJ‚ USA. June, 2008. ACM. |
|
[19] |
A Benchmarking Suite for Measurement−Based WCET Analysis Tools Sven Bünte and Michael Tautschnig In International Conference on Software Testing Verification and Validation Workshop (ICSTW'08). Pages 353–356. Lillehammer‚ Norway. April, 2008. IEEE Computer Society Press. |
|
[20] |
Running COLA on Embedded Systems Wolfgang Haberl‚ Michael Tautschnig and Uwe Baumgarten In Proceedings of The International MultiConference of Engineers and Computer Scientists 2008. Pages 922–928. Hongkong‚ China. March, 2008. |
|
[21] |
Navigating the Requirements Jungle Boris Langer and Michael Tautschnig In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods‚ Verification and Validation. Vol. 17 of Communications in Computer and Information Science. Pages 354–368. Porto Sani‚ Greece. October, 2008. Springer. |
|
[22] |
Optimizing Automatic Deployment Using Non−Functional Requirement Annotations Stefan Kugele‚ Wolfgang Haberl‚ Michael Tautschnig and Martin Wechs In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods‚ Verification and Validation. Vol. 17 of Communications in Computer and Information Science. Pages 400–414. Porto Sani‚ Greece. October, 2008. Springer. |
|
[23] |
COLA – The component language Stefan Kugele‚ Michael Tautschnig‚ Andreas Bauer‚ Christian Schallhart‚ Stefano Merenda‚ Wolfgang Haberl‚ Christian Kühnel‚ Florian Müller‚ Zhonglei Wang‚ Doris Wild‚ Sabine Rittmann and Martin Wechs No. TUM−I0714. Institut für Informatik‚ Technische Universität München. September, 2007. |
|
[24] |
Compatibility and reuse in component−based systems via type and unit inference Christian Kühnel‚ Andreas Bauer and Michael Tautschnig In Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Pages 101–108. Lübeck‚ Germany. August, 2007. IEEE Computer Society Press. |
|
[25] |
Tool−support for the analysis of hybrid systems and models Andreas Bauer‚ Markus Pister and Michael Tautschnig In Proceedings of the 2007 Conference on Design‚ Automation and Test in Europe (DATE). Pages 924–929. Nice‚ France. April, 2007. European Design and Automation Association. |
|
[26] |
Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig In Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA). Pages 135–146. Poitiers‚ France. December, 2007. |