Michael Tautschnig

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 20

Top Topics

Closure Properties

Software Development

Formal Specification

Top Venues

Publications

Daniel Kroening, Peter Schrammel, Michael Tautschnig
CBMC: The C Bounded Model Checker. CoRR (2023)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model checking boot code from AWS data centers. Formal Methods Syst. Des. 57 (1) (2021)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. FMCAD (2020)
Kareem Khazem, Michael Tautschnig
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). TACAS (3) (2019)
Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF (2018)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model Checking Boot Code from AWS Data Centers. CAV (2) (2018)
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Effective Verification for Low-Level Software with Competing Interrupts. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA (2017)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. NFM (2016)
Pasquale Malacaria, Michael Tautschnig, Dino Distefano
Information Leakage Analysis of Complex C Code and Its application to OpenSSL. ISoLA (1) (2016)
Kareem Khazem, Michael Tautschnig
smid: A Black-Box Program Driver. SPIN (2016)
Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening
v2c - A Verilog to C Translator. TACAS (2016)
Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig
Effective verification of low-level software with nested interrupts. DATE (2015)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605 (2015)
Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
Learning the Language of Error. ATVA (2015)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. CoRR (2015)
Daniel Kroening, Michael Tautschnig
CBMC - C Bounded Model Checker - (Competition Contribution). TACAS (2014)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering (2014)
Daniel Kroening, Michael Tautschnig
Automating Software Analysis at Large Scale. MEMICS (2014)
Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig
Automating Test-Suite Augmentation. QSIC (2014)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding cats: modelling, simulation, testing, and data-mining for weak memory. PLDI (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Information Reuse for Multi-goal Reachability Analyses. ESOP (2013)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation. ESOP (2013)
Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening
Formal co-validation of low-level hardware/software interfaces. FMCAD (2013)
Jade Alglave, Daniel Kroening, Michael Tautschnig
Partial Orders for Efficient BMC of Concurrent Software CoRR (2013)
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
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Jade Alglave, Daniel Kroening, Michael Tautschnig
Partial Orders for Efficient Bounded Model Checking of Concurrent Software. CAV (2013)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats. CoRR (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages CoRR (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS (2013)
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proving Reachability Using FShell - (Competition Contribution). TACAS (2012)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation CoRR (2012)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41 (1) (2012)
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS (2012)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
Numeric Bounds Analysis with Conflict-Driven Learning. TACAS (2012)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Seamless Testing for Models and Code. FASE (2011)
Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner
Improving the Confidence in Measurement-Based Timing Analysis. ISORC (2011)
Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
Soundness of Data Flow Analyses for Weak Memory Models. APLAS (2011)
Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
Making Software Verification Tools Really Work. ATVA (2011)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
Seamless Model-Driven Development Put into Practice. ISoLA (1) (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
How did you specify your test suite. ASE (2010)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
Timely Time Estimates. ISoLA (1) (2010)
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
An Introduction to Test Specification in FQL. Haifa Verification Conference (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Query-Driven Program Testing. VMCAI (2009)
Hermann Gruber, Markus Holzer, Michael Tautschnig
Short Regular Expressions from Finite Automata: Empirical Results. CIAA (2009)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV (2008)
Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs
Optimizing Automatic Deployment Using Non-functional Requirement Annotations. ISoLA (2008)
Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig
Automatic generation of systemc models from component-based designs for early design validation and performance analysis. WOSP (2008)
Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig
A Model Driven Development Approach for Implementing Reactive Systems in Hardware. FDL (2008)
Boris Langer, Michael Tautschnig
Navigating the Requirements Jungle. ISoLA (2008)
Sven Bünte, Michael Tautschnig
A Benchmarking Suite for Measurement-Based WCET Analysis Tools. ICST Workshops (2008)
Andreas Bauer, Markus Pister, Michael Tautschnig
Tool-support for the analysis of hybrid systems and models. DATE (2007)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA (2007)
Christian Kühnel, Andreas Bauer, Michael Tautschnig
Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA (2007)