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.
Recent News
Miscellaneous
Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference
Projects
Improving the reliability of unmanned aircraft used in disaster situations: new grant awarded
Members of the Computer Science Department have been awarded funding by EPSRC (Engineering and Physical Sciences Research Council) for the `New Foundational Structures for Engineering Verified Multi-Unmanned Aerial Vehicles` project
Selected Publications
| 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. |
| 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. |
Info
|
Themes |
|
|
Projects |
EPSRC UAV Autonomy | CESAR | Verification of Shared-Memory Concurrent Software |
