Michael Tautschnig

According to our database, Michael Tautschnig authored at least 54 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

CBMC: The C Bounded Model Checker.

Daniel Kroening, Peter Schrammel, Michael Tautschnig

CoRR, 2023

2022

Verification Witnesses.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 2022

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

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

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

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

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

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution).

Kareem Khazem, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Tests from Witnesses - Execution-Based Validation of Verification Results.

Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017

VerifyThis 2015 - A program verification competition.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

Int. J. Softw. Tools Technol. Transf., 2017

Concurrent Program Verification with Invariant-Guided Underapproximation.

Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

v2c - A Verilog to C Translator.

Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

smid: A Black-Box Program Driver.

Kareem Khazem, Michael Tautschnig

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Assisted Coverage Closure.

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Information Leakage Analysis of Complex C Code and Its application to OpenSSL.

Pasquale Malacaria, Michael Tautschnig, Dino Distefano

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Closure properties and complexity of rational sets of regular languages.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Theor. Comput. Sci., 2015

Effective verification of low-level software with nested interrupts.

Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Learning the Language of Error.

Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory.

Jade Alglave, Luc Maranget, Michael Tautschnig

ACM Trans. Program. Lang. Syst., 2014

CBMC - C Bounded Model Checker - (Competition Contribution).

Daniel Kroening, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Reusing Information in Multi-Goal Reachability Analyses.

Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Automating Test-Suite Augmentation.

Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Automating Software Analysis at Large Scale.

Daniel Kroening, Michael Tautschnig

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

2013

Partial Orders for Efficient BMC of Concurrent Software

Jade Alglave, Daniel Kroening, Michael Tautschnig

CoRR, 2013

Herding Cats.

Jade Alglave, Luc Maranget, Michael Tautschnig

CoRR, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Information Reuse for Multi-goal Reachability Analyses.

Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith

Proceedings of the Programming Languages and Systems, 2013

Software Verification for Weak Memory via Program Transformation.

Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig

Proceedings of the Programming Languages and Systems, 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

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Partial Orders for Efficient Bounded Model Checking of Concurrent Software.

Jade Alglave, Daniel Kroening, Michael Tautschnig

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Counterexample-guided abstraction refinement for symmetric concurrent programs.

Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

Formal Methods Syst. Des., 2012

Proving Reachability Using FShell - (Competition Contribution).

Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Numeric Bounds Analysis with Conflict-Driven Learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).

Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Improving the Confidence in Measurement-Based Timing Analysis.

Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Seamless Testing for Models and Code.

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Making Software Verification Tools Really Work.

Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig

Proceedings of the Automated Technology for Verification and Analysis, 2011

Soundness of Data Flow Analyses for Weak Memory Models.

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig

Int. J. Softw. Tools Technol. Transf., 2010

How did you specify your test suite.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the ASE 2010, 2010

Timely Time Estimates.

Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Seamless Model-Driven Development Put into Practice.

Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.

Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith

Proceedings of the Hardware and Software: Verification and Testing, 2010

2009

Short Regular Expressions from Finite Automata: Empirical Results.

Hermann Gruber, Markus Holzer, Michael Tautschnig

Proceedings of the Implementation and Application of Automata, 2009

Query-Driven Program Testing.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Verification, 2009

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

Proceedings of the 7th International Workshop on Software and Performance, 2008

Navigating the Requirements Jungle.

Boris Langer, Michael Tautschnig

Proceedings of the Leveraging Applications of Formal Methods, 2008

Optimizing Automatic Deployment Using Non-functional Requirement Annotations.

Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Benchmarking Suite for Measurement-Based WCET Analysis Tools.

Sven Bünte, Michael Tautschnig

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A Model Driven Development Approach for Implementing Reactive Systems in Hardware.

Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig

Proceedings of the Forum on specification and Design Languages, 2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Compatibility and reuse in component-based systems via type and unit inference.

Christian Kühnel, Andreas Bauer, Michael Tautschnig

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Tool-support for the analysis of hybrid systems and models.

Andreas Bauer, Markus Pister, Michael Tautschnig

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007