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.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

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

[BibT_eX]

[DOI]

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

2017

VerifyThis 2015 - A program verification competition.

[BibT_eX]

[DOI]

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

Concurrent Program Verification with Invariant-Guided Underapproximation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

v2c - A Verilog to C Translator.

[BibT_eX]

[DOI]

Rajdeep Mukherjee

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

smid: A Black-Box Program Driver.

[BibT_eX]

[DOI]

Kareem Khazem

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

Assisted Coverage Closure.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Pasquale Malacaria

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Effective verification of low-level software with nested interrupts.

[BibT_eX]

[DOI]

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

Learning the Language of Error.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

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

[BibT_eX]

[DOI]

Luc Maranget

ACM Trans. Program. Lang. Syst., 2014

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

[BibT_eX]

[DOI]

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

Reusing Information in Multi-Goal Reachability Analyses.

[BibT_eX]

[DOI]

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

Automating Test-Suite Augmentation.

[BibT_eX]

[DOI]

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

Automating Software Analysis at Large Scale.

[BibT_eX]

[DOI]

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

2013

Partial Orders for Efficient BMC of Concurrent Software

[BibT_eX]

[DOI]

CoRR, 2013

Herding Cats.

[BibT_eX]

[DOI]

Luc Maranget

Antti Eero Johannes Hyvärinen

CoRR, 2013

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Information Reuse for Multi-goal Reachability Analyses.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

Software Verification for Weak Memory via Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

[BibT_eX]

[DOI]

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

Partial Orders for Efficient Bounded Model Checking of Concurrent Software.

[BibT_eX]

[DOI]

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

2012

Counterexample-guided abstraction refinement for symmetric concurrent programs.

[BibT_eX]

[DOI]

Alastair F. Donaldson

Formal Methods Syst. Des., 2012

Proving Reachability Using FShell - (Competition Contribution).

[BibT_eX]

[DOI]

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

Numeric Bounds Analysis with Conflict-Driven Learning.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Gérard Basler

Alastair F. Donaldson

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

2011

Improving the Confidence in Measurement-Based Timing Analysis.

[BibT_eX]

[DOI]

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

Seamless Testing for Models and Code.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Making Software Verification Tools Really Work.

[BibT_eX]

[DOI]

Alastair F. Donaldson

Proceedings of the Automated Technology for Verification and Analysis, 2011

Soundness of Data Flow Analyses for Weak Memory Models.

[BibT_eX]

[DOI]

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

2010

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

[BibT_eX]

[DOI]

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

How did you specify your test suite.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Timely Time Estimates.

[BibT_eX]

[DOI]

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

Seamless Model-Driven Development Put into Practice.

[BibT_eX]

[DOI]

Wolfgang Haberl

Markus Herrmannsdoerfer

Stefan Kugele

Martin Wechs

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

An Introduction to Test Specification in FQL.

[BibT_eX]

[DOI]

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

2009

Short Regular Expressions from Finite Automata: Empirical Results.

[BibT_eX]

[DOI]

Hermann Gruber

Markus Holzer

Proceedings of the Implementation and Application of Automata, 2009

Query-Driven Program Testing.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

2008

Automatic generation of systemc models from component-based designs for early design validation and performance analysis.

[BibT_eX]

[DOI]

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

Navigating the Requirements Jungle.

[BibT_eX]

[DOI]

Boris Langer

Proceedings of the Leveraging Applications of Formal Methods, 2008

Optimizing Automatic Deployment Using Non-functional Requirement Annotations.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Benchmarking Suite for Measurement-Based WCET Analysis Tools.

[BibT_eX]

[DOI]

Sven Bünte

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

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

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

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

[BibT_eX]

[DOI]

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

2007

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

[BibT_eX]

[DOI]

Christian Kühnel

Andreas Bauer

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.

[BibT_eX]

[DOI]

Andreas Bauer

Markus Pister