Michael Tautschnig

Dr Michael Tautschnig

Research Assistant

michael.tautschnig@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

I joined the group of Dr Daniel Kroening as a postdoctoral research assistant in January 2011. I obtained my PhD from Vienna University of Technology in early 2011 under the supervision of Helmut Veith. I did my undergraduate studies at Technische Unversität München.

Selected Publications

View all

Manage publications

Numeric Bounds Analysis with Conflict−Driven Learning

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

In TACAS. 2012.

Details | BibTeX | Download (pdf)

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 | BibTeX

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 | BibTeX