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
| Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
| 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. |
| 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. |
Info
|
Themes |
|
|
Projects |
EPSRC UAV Autonomy | Verification of Shared-Memory Concurrent Software |
|
Completed Projects |
CESAR | |