Michael Tautschnig
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.
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
-
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