Michael Tautschnig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
16
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2020 | FMCAD | Using model checking tools to triage the severity of security bugs in the Xen hypervisor. | Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
| 2020 | ICSE | Code-level model checking in the software development workflow. | Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2019 | TACAS | CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). | Kareem Khazem, Michael Tautschnig |
| 2018 | CAV | Model Checking Boot Code from AWS Data Centers. | Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2018 | TAP | Tests from Witnesses - Execution-Based Validation of Verification Results. | Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig |
| 2017 | ATVA | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
| 2016 | ISoLA | Information Leakage Analysis of Complex C Code and Its application to OpenSSL. | Pasquale Malacaria, Michael Tautschnig, Dino Distefano |
| 2016 | TACAS | v2c - A Verilog to C Translator. | Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening |
| 2015 | ATVA | Learning the Language of Error. | Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |
| 2015 | DATE | Effective verification of low-level software with nested interrupts. | Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig |
| 2014 | PLDI | Herding cats: modelling, simulation, testing, and data-mining for weak memory. | Jade Alglave, Luc Maranget, Michael Tautschnig |
| 2014 | TACAS | CBMC - C Bounded Model Checker - (Competition Contribution). | Daniel Kroening, Michael Tautschnig |
| 2013 | CAV | Partial Orders for Efficient Bounded Model Checking of Concurrent Software. | Jade Alglave, Daniel Kroening, Michael Tautschnig |
| 2013 | ESOP | Software Verification for Weak Memory via Program Transformation. | Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig |
| 2013 | ESOP | Information Reuse for Multi-goal Reachability Analyses. | Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith |
| 2013 | FMCAD | Formal co-validation of low-level hardware/software interfaces. | Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening |
| 2012 | TACAS | satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). | Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
| 2012 | TACAS | Numeric Bounds Analysis with Conflict-Driven Learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig |
| 2012 | TACAS | Proving Reachability Using FShell - (Competition Contribution). | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | APLAS | Soundness of Data Flow Analyses for Weak Memory Models. | Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
| 2011 | ATVA | Making Software Verification Tools Really Work. | Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
| 2011 | FASE | Seamless Testing for Models and Code. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | ISORC | Improving the Confidence in Measurement-Based Timing Analysis. | Sven Bnte, Michael Zolda, Michael Tautschnig, Raimund Kirner |
| 2010 | ISoLA | Seamless Model-Driven Development Put into Practice. | Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs |
| 2010 | ISoLA | Timely Time Estimates. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig |
| 2009 | VMCAI | Query-Driven Program Testing. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2008 | CAV | FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2008 | FDL | A Model Driven Development Approach for Implementing Reactive Systems in Hardware. | Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig |
| 2008 | ICST | A Benchmarking Suite for Measurement-Based WCET Analysis Tools. | Sven Bnte, Michael Tautschnig |
| 2008 | ISoLA | Optimizing Automatic Deployment Using Non-functional Requirement Annotations. | Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs |
| 2008 | ISoLA | Navigating the Requirements Jungle. | Boris Langer, Michael Tautschnig |
| 2007 | DATE | Tool-support for the analysis of hybrid systems and models. | Andreas Bauer, Markus Pister, Michael Tautschnig |
| 2007 | ISoLA | Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. | Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig |