Michael Tautschnig

According to our database1, Michael Tautschnig authored at least 51 papers between 2007 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Code-level model checking in the software development workflow at Amazon Web Services.
Softw. Pract. Exp., 2021

Model checking boot code from AWS data centers.
Formal Methods Syst. Des., 2021

2020
Code-level model checking in the software development workflow.
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.
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Effective Verification for Low-Level Software with Competing Interrupts.
ACM Trans. Embed. Comput. Syst., 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017
VerifyThis 2015 - A program verification competition.
Int. J. Softw. Tools Technol. Transf., 2017

Concurrent Program Verification with Invariant-Guided Underapproximation.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
v2c - A Verilog to C Translator.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

smid: A Black-Box Program Driver.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Assisted Coverage Closure.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015
Closure properties and complexity of rational sets of regular languages.
Theor. Comput. Sci., 2015

Effective verification of low-level software with nested interrupts.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Learning the Language of Error.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory.
ACM Trans. Program. Lang. Syst., 2014

CBMC - C Bounded Model Checker - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Reusing Information in Multi-Goal Reachability Analyses.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Automating Test-Suite Augmentation.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Automating Software Analysis at Large Scale.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

2013
Partial Orders for Efficient BMC of Concurrent Software
CoRR, 2013

Herding Cats.
CoRR, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Information Reuse for Multi-goal Reachability Analyses.
Proceedings of the Programming Languages and Systems, 2013

Software Verification for Weak Memory via Program Transformation.
Proceedings of the Programming Languages and Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Partial Orders for Efficient Bounded Model Checking of Concurrent Software.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Counterexample-guided abstraction refinement for symmetric concurrent programs.
Formal Methods Syst. Des., 2012

Proving Reachability Using FShell - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Numeric Bounds Analysis with Conflict-Driven Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011
Improving the Confidence in Measurement-Based Timing Analysis.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Seamless Testing for Models and Code.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Making Software Verification Tools Really Work.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Soundness of Data Flow Analyses for Weak Memory Models.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
Int. J. Softw. Tools Technol. Transf., 2010

How did you specify your test suite.
Proceedings of the ASE 2010, 2010

Timely Time Estimates.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Seamless Model-Driven Development Put into Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.
Proceedings of the Hardware and Software: Verification and Testing, 2010

2009
Short Regular Expressions from Finite Automata: Empirical Results.
Proceedings of the Implementation and Application of Automata, 2009

Query-Driven Program Testing.
Proceedings of the Verification, 2009

2008
Automatic generation of systemc models from component-based designs for early design validation and performance analysis.
Proceedings of the 7th International Workshop on Software and Performance, 2008

Navigating the Requirements Jungle.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Optimizing Automatic Deployment Using Non-functional Requirement Annotations.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Benchmarking Suite for Measurement-Based WCET Analysis Tools.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A Model Driven Development Approach for Implementing Reactive Systems in Hardware.
Proceedings of the Forum on specification and Design Languages, 2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Compatibility and reuse in component-based systems via type and unit inference.
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.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007


  Loading...