Michael Tautschnig : Publications

Book chapters

• [1]

  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.

  Details about Generating Distributed Code From COLA Models | BibTeX data for Generating Distributed Code From COLA Models

Journal papers

• [1]

  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.

  Details about Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers | BibTeX data for Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers | DOI (10.1007/s10009-009-0133-2)

• [2]

  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.

  Details about From COLA Models to Distributed Embedded Systems Code | BibTeX data for From COLA Models to Distributed Embedded Systems Code

Conference papers

• [1]

  Numeric Bounds Analysis with Conflict−Driven Learning

  Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig

  In TACAS. 2012.

  Details about Numeric Bounds Analysis with Conflict−Driven Learning | BibTeX data for Numeric Bounds Analysis with Conflict−Driven Learning | Download (pdf) of Numeric Bounds Analysis with Conflict−Driven Learning

• [2]

  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.

  Details about Soundness of Data Flow Analyses for Weak Memory Models | BibTeX data for Soundness of Data Flow Analyses for Weak Memory Models

• [3]

  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.

  Details about Making Software Verification Tools Really Work | BibTeX data for Making Software Verification Tools Really Work

• [4]

  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.

  Details about Improving the Confidence in Measurement−Based Timing Analysis | BibTeX data for Improving the Confidence in Measurement−Based Timing Analysis

• [5]

  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.

  Details about Seamless Testing for Models and Code | BibTeX data for Seamless Testing for Models and Code

• [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.

  Details about An Introduction to Test Specification in FQL | BibTeX data for An Introduction to Test Specification in FQL

• [7]

  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.

  Details about Timely Time Estimates | BibTeX data for Timely Time Estimates | DOI (10.1007/978-3-642-16558-0_5)

• [8]

  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.

  Details about Seamless Model−driven Development put into Practice | BibTeX data for Seamless Model−driven Development put into Practice | DOI (10.1007/978-3-642-16558-0_4)

• [9]

  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.

  Details about How did you specify your test suite ? | BibTeX data for How did you specify your test suite ?

• [10]

  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.

  Details about One Click from Model to Reality | BibTeX data for One Click from Model to Reality

• [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.

  Details about Short Regular Expressions from Finite Automata: Empirical Results | BibTeX data for Short Regular Expressions from Finite Automata: Empirical Results

• [12]

  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.

  Details about Query−Driven Program Testing | BibTeX data for Query−Driven Program Testing

• [13]

  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.

  Details about Navigating the Requirements Jungle | BibTeX data for Navigating the Requirements Jungle

• [14]

  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.

  Details about Optimizing Automatic Deployment Using Non−Functional Requirement Annotations | BibTeX data for Optimizing Automatic Deployment Using Non−Functional Requirement Annotations

• [15]

  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.

  Details about A Model Driven Development Approach for Implementing Reactive Systems in Hardware | BibTeX data for A Model Driven Development Approach for Implementing Reactive Systems in Hardware | DOI (10.1109/FDL.2008.4641445)

• [16]

  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.

  Details about FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement | BibTeX data for FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement

• [17]

  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.

  Details about Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis | BibTeX data for Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis

• [18]

  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.

  Details about A Benchmarking Suite for Measurement−Based WCET Analysis Tools | BibTeX data for A Benchmarking Suite for Measurement−Based WCET Analysis Tools | DOI (10.1109/ICSTW.2008.1)

• [19]

  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.

  Details about Running COLA on Embedded Systems | BibTeX data for Running COLA on Embedded Systems

• [20]

  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.

  Details about Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers | BibTeX data for Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers

• [21]

  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.

  Details about Compatibility and reuse in component−based systems via type and unit inference | BibTeX data for Compatibility and reuse in component−based systems via type and unit inference | DOI (10.1109/EUROMICRO.2007.24)

• [22]

  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.

  Details about Tool−support for the analysis of hybrid systems and models | BibTeX data for Tool−support for the analysis of hybrid systems and models | DOI (10.1109/DATE.2007.364411)

Technical reports

• [1]

  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.

  Details about COLA – The component language | BibTeX data for COLA – The component language