Tool-support for the analysis of hybrid systems and models. - Andreas Bauer 002; Markus Pister 001; Michael Tautschnig (DATE, 2007)

Compatibility and reuse in component-based systems via type and unit inference. - Christian Kühnel; Andreas Bauer 002; Michael Tautschnig (EUROMICRO-SEAA, 2007)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (CAV, 2008)

A Model Driven Development Approach for Implementing Reactive Systems in Hardware. - Zhonglei Wang; Andreas Herkersdorf; Stefano Merenda; Michael Tautschnig (FDL, 2008)

A Benchmarking Suite for Measurement-Based WCET Analysis Tools. - Sven Bünte; Michael Tautschnig (ICST Workshops, 2008)

Optimizing Automatic Deployment Using Non-functional Requirement Annotations. - Stefan Kugele; Wolfgang Haberl; Michael Tautschnig; Martin Wechs (ISoLA, 2008)

Navigating the Requirements Jungle. - Boris Langer; Michael Tautschnig (ISoLA, 2008)

Automatic generation of systemc models from component-based designs for early design validation and performance analysis. - Zhonglei Wang; Wolfgang Haberl; Stefan Kugele; Michael Tautschnig (WOSP, 2008)

Query-Driven Program Testing. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (VMCAI, 2009)

Short Regular Expressions from Finite Automata: Empirical Results. - Hermann Gruber; Markus Holzer 001; Michael Tautschnig (CIAA, 2009)

An Introduction to Test Specification in FQL. - Andreas Holzer; Michael Tautschnig; Christian Schallhart; Helmut Veith (Haifa Verification Conference, 2010)

Seamless Model-Driven Development Put into Practice. - Wolfgang Haberl; Markus Herrmannsdoerfer; Stefan Kugele; Michael Tautschnig; Martin Wechs (ISoLA (1), 2010)

Timely Time Estimates. - Andreas Holzer; Visar Januzaj; Stefan Kugele; Michael Tautschnig (ISoLA (1), 2010)

How did you specify your test suite. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (ASE, 2010)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. - Andreas Bauer 002; Martin Leucker; Christian Schallhart; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2010)

Soundness of Data Flow Analyses for Weak Memory Models. - Jade Alglave; Daniel Kroening; John Lugton; Vincent Nimal; Michael Tautschnig (APLAS, 2011)

Making Software Verification Tools Really Work. - Jade Alglave; Alastair F. Donaldson; Daniel Kroening; Michael Tautschnig (ATVA, 2011)

Seamless Testing for Models and Code. - Andreas Holzer; Visar Januzaj; Stefan Kugele; Boris Langer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FASE, 2011)

Improving the Confidence in Measurement-Based Timing Analysis. - Sven Bünte; Michael Zolda; Michael Tautschnig; Raimund Kirner (ISORC, 2011)

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). - Gérard Basler; Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Michael Tautschnig; Thomas Wahl (TACAS, 2012)

Numeric Bounds Analysis with Conflict-Driven Learning. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening; Michael Tautschnig (TACAS, 2012)

Proving Reachability Using FShell - (Competition Contribution). - Andreas Holzer; Daniel Kroening; Christian Schallhart; Michael Tautschnig; Helmut Veith (TACAS, 2012)

Counterexample-guided abstraction refinement for symmetric concurrent programs. - Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Michael Tautschnig; Thomas Wahl (Formal Methods Syst. Des., 2012)

Partial Orders for Efficient Bounded Model Checking of Concurrent Software. - Jade Alglave; Daniel Kroening; Michael Tautschnig (CAV, 2013)

PINCETTE - Validating Changes and Upgrades in Networked Software. - Hana Chockler; Giovanni Denaro; Meijia Ling; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Leonardo Mariani; Ali Muhammad; Manuel Oriol; Ajitha Rajan; Ondrej Sery; Natasha Sharygina; Michael Tautschnig (CSMR, 2013)

Software Verification for Weak Memory via Program Transformation. - Jade Alglave; Daniel Kroening; Vincent Nimal; Michael Tautschnig (ESOP, 2013)

Information Reuse for Multi-goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (ESOP, 2013)

Formal co-validation of low-level hardware/software interfaces. - Alex Horn; Michael Tautschnig; Celina G. Val; Lihao Liang; Tom Melham; Jim Grundy; Daniel Kroening (FMCAD, 2013)

On the Structure and Complexity of Rational Sets of Regular Languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (FSTTCS, 2013)

Herding Cats. - Jade Alglave; Luc Maranget; Michael Tautschnig (CoRR, 2013)

Partial Orders for Efficient BMC of Concurrent Software - Jade Alglave; Daniel Kroening; Michael Tautschnig (CoRR, 2013)

Automating Software Analysis at Large Scale. - Daniel Kroening; Michael Tautschnig (MEMICS, 2014)

Automating Test-Suite Augmentation. - Roderick Bloem; Robert Könighofer; Franz Röck; Michael Tautschnig (QSIC, 2014)

Reusing Information in Multi-Goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (Software Engineering, 2014)

CBMC - C Bounded Model Checker - (Competition Contribution). - Daniel Kroening; Michael Tautschnig (TACAS, 2014)

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. - Jade Alglave; Luc Maranget; Michael Tautschnig (ACM Trans. Program. Lang. Syst., 2014)

Learning the Language of Error. - Martin Chapman; Hana Chockler; Pascal Kesseli; Daniel Kroening; Ofer Strichman; Michael Tautschnig (ATVA, 2015)

Effective verification of low-level software with nested interrupts. - Daniel Kroening; Lihao Liang; Tom Melham; Peter Schrammel; Michael Tautschnig (DATE, 2015)

Closure properties and complexity of rational sets of regular languages. - Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith (Theor. Comput. Sci., 2015)

Information Leakage Analysis of Complex C Code and Its application to OpenSSL. - Pasquale Malacaria; Michael Tautschnig; Dino Distefano (ISoLA (1), 2016)

Assisted Coverage Closure. - Adam Nellis; Pascal Kesseli; Philippa Ryan Conmy; Daniel Kroening; Peter Schrammel; Michael Tautschnig (NFM, 2016)

smid: A Black-Box Program Driver. - Kareem Khazem; Michael Tautschnig (SPIN, 2016)

v2c - A Verilog to C Translator. - Rajdeep Mukherjee; Michael Tautschnig; Daniel Kroening (TACAS, 2016)

Concurrent Program Verification with Invariant-Guided Underapproximation. - Sumanth Prabhu 001; Peter Schrammel; Mandayam K. Srivas; Michael Tautschnig; Anand Yeolekar (ATVA, 2017)

VerifyThis 2015 - A program verification competition. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2017)

Tests from Witnesses - Execution-Based Validation of Verification Results. - Dirk Beyer 001; Matthias Dangl; Thomas Lemberger 002; Michael Tautschnig (TAP@STAF, 2018)

Effective Verification for Low-Level Software with Competing Interrupts. - Lihao Liang; Tom Melham; Daniel Kroening; Peter Schrammel; Michael Tautschnig (ACM Trans. Embed. Comput. Syst., 2018)

CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). - Kareem Khazem; Michael Tautschnig (TACAS (3), 2019)

Using model checking tools to triage the severity of security bugs in the Xen hypervisor. - Byron Cook; Björn Döbel; Daniel Kroening; Norbert Manthey; Martin Pohlack; Elizabeth Polgreen; Michael Tautschnig; Pawel Wieczorkiewicz (FMCAD, 2020)

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 (ICSE (SEIP), 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

Model checking boot code from AWS data centers. - Byron Cook; Kareem Khazem; Daniel Kroening; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (Formal Methods Syst. Des., 2021)

Code-level model checking in the software development workflow at Amazon Web Services. - Nathan Chong; Byron Cook; Jonathan Eidelman; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz-Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (Softw. Pract. Exp., 2021)

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

CBMC: The C Bounded Model Checker. - Daniel Kroening; Peter Schrammel; Michael Tautschnig (CoRR, 2023)

Neural Model Checking. - Mirco Giacobbe; Daniel Kroening; Abhinandan Pal; Michael Tautschnig (NeurIPS, 2024)