Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, and Michael Tautschnig. Effective verification for low-level software with competing interrupts. ACM Trans. Embedded Comput. Syst., 17(2):36:1--36:26, 2018. [ bib | DOI | http ]

 

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Michael Tautschnig. Verifythis 2015 - A program verification competition. STTT, 19(6):763--771, 2017. [ bib | DOI | http ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci., 605:62--79, 2015. [ bib | DOI | http ]

 

Jade Alglave, Luc Maranget, and Michael Tautschnig. Herding cats: Modelling, simulation, testing, and data mining for weak memory. ACM Trans. Program. Lang. Syst., 36(2):7:1--7:74, 2014. Cited in Linux Weekly News and C/C++ WG21/4215. [ bib | DOI | http ]

 

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, 41(1):25--44, 2012. [ bib | DOI | http ]

 

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 | DOI ]

 

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 ]

This file was generated by bibtex2html 1.99.