Michael Tautschnig : Publications

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

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

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

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

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

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

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 ?

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)

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)

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)

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

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

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

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

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

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)

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

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

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)

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

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

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

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

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)

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)

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