• Hilary Term 2012: Practicals: Concurrent Programming
• Hilary Term 2011: Practicals: Software Verification
• Winter 2010: Tutorial: Formal Methods in Computer Science
• Summer 2010: Lab course Computer Aided Verification
• Winter 2009: Tutorial: Effiziente Entscheidungsprozeduren, Seminar Software Validation
• Summer 2009: Tutorial: Automated Methods in Software Engineering, Seminar Software Validation
• Winter 2008: Tutorial: Effiziente Entscheidungsprozeduren, Lab course Programm- und Modellanalyse, Seminar Software Validation
• Winter 2007: Tutorial: Automaten, Formale Sprachen und Berechenbarkeit, Lab course Lego Mindstorms, Lab course Game Playing, Seminar Software Validation
• Summer 2007: Tutorial: Model Checking, Lab course Lego Mindstorms, Lab course Game Playing
• Winter 2006: Tutorial: Automaten, Formale Sprachen und Berechenbarkeit
• Summer 2006: Lab course Lego Mindstorms, Lab course Game Playing
• Summer 2005: Lab course Lego Mindstorms
• Winter 2004: Lab course Lego Mindstorms
• Summer 2004: Lab course Lego Mindstorms
• Winter 2003: Lab course Lego Mindstorms
• Summer 2003: Lab course Lego Mindstorms

 

Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig. Don't care in SMT-building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23-37, February 2010. [ bib ]

 

Wolfgang Haberl, Michael Tautschnig, and Uwe Baumgarten. Generating Distributed Code From COLA Models, volume 33 of Lecture Notes in Electrical Engineering, chapter 20. Springer, March 2009. [ bib ]

 

Wolfgang Haberl, Michael Tautschnig, and Uwe Baumgarten. From COLA Models to Distributed Embedded Systems Code. IAENG International Journal of Computer Science, 35(3):427-437, September 2008. [ bib | pdf ]

 

Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design. To appear. [ bib ]

 

Vijay D'Silva, Leopold Haller, Daniel Kroening, and Michael Tautschnig. Numeric bounds analysis with conflict-driven learning. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, March 2012. To appear. [ bib ]

 

Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. Satabs: a bit-precise verifier for c programs (competition contribution). In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, March 2012. To appear. [ bib ]

 

Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Proving reachability using fshell (competition contribution). In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, March 2012. To appear. [ bib ]

 

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig. Soundness of data flow analyses for weak memory models. In Proceedings of Programming Languages and Systems - 9th Asian Symposium (APLAS 2011), volume 7078 of Lecture Notes in Computer Science, pages 272-288. Springer, December 2011. [ bib ]

 

Jade Alglave, Alastair Donaldson, Daniel Kroening, and Michael Tautschnig. Making software verification tools really work. In Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011), volume 6996 of Lecture Notes in Computer Science, pages 28-42. Springer, October 2011. [ bib ]

 

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Seamless testing for models and code. In Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of Lecture Notes in Computer Science, pages 278-293. Springer, April 2011. [ bib ]

 

Sven Bünte, Raimund Kirner, Michael Zolda, and Michael Tautschnig. Improving the confidence in measurement-based timing analysis. 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. [ bib ]

 

Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. Seamless model-driven development put into practice. In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010), volume 6415 of Lecture Notes in Computer Science, pages 18-32, Heraklion, Crete, Greece, October 2010. Springer. [ bib ]

 

Andreas Holzer, Visar Januzaj, Stefan Kugele, and Michael Tautschnig. Timely time estimates. In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010), volume 6415 of Lecture Notes in Computer Science, pages 33-46, Heraklion, Crete, Greece, October 2010. Springer. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. An introduction to test specification in FQL. In Sharon Barner, Ian G. Harris, Daniel Kroening, and Orna Raz, editors, Proceedings of 6th International Haifa Verification Conference (HVC 2011), volume 6504 of Lecture Notes in Computer Science, pages 9-22. Springer, October 2010. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. How did you specify your test suite ? In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, Antwerp, Belgium, September 2010. ACM. [ bib ]

 

Hermann Gruber, Markus Holzer, and Michael Tautschnig. Short regular expressions from finite automata: Empirical results. In Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009), volume 5642 of Lecture Notes in Computer Science, pages 188-197, Sydney, Australia, July 2009. Springer. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Query-driven program testing. 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), volume 5403 of Lecture Notes in Computer Science, pages 151-166, Savannah, GA, USA, January 2009. Springer. [ bib | pdf ]

 

Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. One click from model to reality. In Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009), 2009. [ bib ]

 

Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, and Martin Wechs. Optimizing automatic deployment using non-functional requirement annotations. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science, pages 400-414, Porto Sani, Greece, October 2008. Springer. [ bib ]

 

Boris Langer and Michael Tautschnig. Navigating the requirements jungle. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science, pages 354-368, Porto Sani, Greece, October 2008. Springer. [ bib | pdf ]

 

Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, and Michael Tautschnig. A model driven development approach for implementing reactive systems in hardware. In Forum on Specification and Design Languages (FDL08), pages 197-202, Stuttgart, Germany, September 2008. IEEE Computer Society. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, pages 209-213, Princeton, NJ, USA, July 2008. Springer. [ bib | pdf ]

 

Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, and Michael Tautschnig. Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis. In WOSP '08: Proceedings of the 7th International Workshop on Software and Performance, pages 139-144, Princeton, NJ, USA, June 2008. ACM. [ bib | pdf ]

Keywords: COLA, Code Generation, Simulation, SystemC

 

Sven Bünte and Michael Tautschnig. A Benchmarking Suite for Measurement-Based WCET Analysis Tools. In International Conference on Software Testing Verification and Validation Workshop (ICSTW'08), pages 353-356, Lillehammer, Norway, April 2008. IEEE Computer Society Press. [ bib | pdf ]

 

Wolfgang Haberl, Michael Tautschnig, and Uwe Baumgarten. Running COLA on Embedded Systems. In Proceedings of The International MultiConference of Engineers and Computer Scientists 2008, pages 922-928, Hongkong, China, March 2008. [ bib | pdf ]

Keywords: embedded systems, component-based models, automated code generation

 

Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig. Don't care in SMT-building flexible yet efficient abstraction/refinement solvers. In Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pages 135-146, Poitiers, France, December 2007. [ bib | pdf ]

 

Christian Kühnel, Andreas Bauer, and Michael Tautschnig. Compatibility and reuse in component-based systems via type and unit inference. 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. [ bib | pdf ]

 

Andreas Bauer, Markus Pister, and Michael Tautschnig. Tool-support for the analysis of hybrid systems and models. 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. [ bib | pdf ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. IST / TU Rigorous Systems Engineering Seminar, March 2010. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. Joint meeting of Quality Software Engineering and FORSYTE groups, March 2010. [ bib ]

 

Michael Tautschnig. Tools for Concurrency and Distributed Systems. RiSE Workshop, February 2010. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. Joint meeting of Tom Henzinger's group and FORSYTE, January 2010. [ bib ]

 

Michael Tautschnig. FQL: A Query Language for Program Testing. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09), October 2009. [ bib ]

 

Michael Tautschnig. Query-Driven Program Testing. Joint meeting of groups from Oxford, ETH Zürich, and FORSYTE, April 2009. [ bib ]

 

Michael Tautschnig. FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. Alpine Verification Meeting, May 2008. [ bib ]

 

Michael Tautschnig. A Query Language for Programs. i7@Bodenmais, July 2007. [ bib ]

 

Michael Tautschnig. Satisfiability Modulo Theories: ABsolver. Joint meeting DTU-TUM, May 2007. [ bib | pdf ]

 

Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, and Boris Langer. Slope testing for activity diagrams and safety critical software. Technical Report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009. [ bib | .pdf ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. A precise specification framework for white box program testing. Technical Report TUD-CS-2009-0148, Technische Universität Darmstadt, September 2009. [ bib | .pdf ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Dependency coverage criteria with FQL. Technical Report TUD-CS-2009-0149, Technische Universität Darmstadt, 2009. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Query-driven program testing. Technical Report TUD-CS-2008-1013, Technische Universität Darmstadt, October 2008. [ bib | .pdf ]

 

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. COLA - the component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München, September 2007. [ bib | pdf ]

 

Christian Kühnel, Andreas Bauer, and Michael Tautschnig. Compatibility and reuse in component-based systems via type and unit inference. Technical Report TUM-I0716, Institut für Informatik, Technische Universität München, May 2007. [ bib | pdf ]

 

Michael Tautschnig. Query-Driven Program Testing. PhD thesis, Vienna University of Technology, 2011. [ bib | pdf ]

 

Michael Tautschnig. Development of a tool to solve mixed logical/linear constraint problems. Master's thesis, Technische Universität München, February 2006. [ bib | pdf ]

Generated by bibtex2html 1.75