default search action
Michael Tautschnig
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i6]Daniel Kroening, Peter Schrammel, Michael Tautschnig:
CBMC: The C Bounded Model Checker. CoRR abs/2302.02384 (2023) - 2022
- [j9]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31(4): 57:1-57:69 (2022) - 2021
- [j8]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): 34-52 (2021) - [j7]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): 772-797 (2021) - 2020
- [c45]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: 185-193 - [c44]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: 11-20 - [d1]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Reproduction Package for TOSEM Article 'Verification Witnesses'. Zenodo, 2020
2010 – 2019
- 2019
- [c43]Kareem Khazem, Michael Tautschnig:
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). TACAS (3) 2019: 199-203 - 2018
- [j6]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): 36:1-36:26 (2018) - [c42]Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle:
Model Checking Boot Code from AWS Data Centers. CAV (2) 2018: 467-486 - [c41]Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig:
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018: 3-23 - 2017
- [j5]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig:
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19(6): 763-771 (2017) - [c40]Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar:
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA 2017: 241-248 - 2016
- [c39]Pasquale Malacaria, Michael Tautschnig, Dino Distefano:
Information Leakage Analysis of Complex C Code and Its application to OpenSSL. ISoLA (1) 2016: 909-925 - [c38]Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. NFM 2016: 49-64 - [c37]Kareem Khazem, Michael Tautschnig:
smid: A Black-Box Program Driver. SPIN 2016: 182-188 - [c36]Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening:
v2c - A Verilog to C Translator. TACAS 2016: 580-586 - 2015
- [j4]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605: 62-79 (2015) - [c35]Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig:
Learning the Language of Error. ATVA 2015: 114-130 - [c34]Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig:
Effective verification of low-level software with nested interrupts. DATE 2015: 229-234 - [i5]Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. CoRR abs/1509.04587 (2015) - 2014
- [j3]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM Trans. Program. Lang. Syst. 36(2): 7:1-7:74 (2014) - [c33]Daniel Kroening, Michael Tautschnig:
Automating Software Analysis at Large Scale. MEMICS 2014: 30-39 - [c32]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding cats: modelling, simulation, testing, and data-mining for weak memory. PLDI 2014: 40 - [c31]Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig:
Automating Test-Suite Augmentation. QSIC 2014: 67-72 - [c30]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering 2014: 97-98 - [c29]Daniel Kroening, Michael Tautschnig:
CBMC - C Bounded Model Checker - (Competition Contribution). TACAS 2014: 389-391 - 2013
- [c28]Jade Alglave, Daniel Kroening, Michael Tautschnig:
Partial Orders for Efficient Bounded Model Checking of Concurrent Software. CAV 2013: 141-157 - [c27]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: 461-464 - [c26]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491 - [c25]Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. ESOP 2013: 512-532 - [c24]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: 121-128 - [c23]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS 2013: 377-388 - [i4]Jade Alglave, Daniel Kroening, Michael Tautschnig:
Partial Orders for Efficient BMC of Concurrent Software. CoRR abs/1301.1629 (2013) - [i3]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. CoRR abs/1305.6074 (2013) - [i2]Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding Cats. CoRR abs/1308.6810 (2013) - 2012
- [j2]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): 25-44 (2012) - [c22]Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig:
Numeric Bounds Analysis with Conflict-Driven Learning. TACAS 2012: 48-63 - [c21]Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541 - [c20]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: 552-555 - [i1]Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. CoRR abs/1207.7264 (2012) - 2011
- [c19]Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig:
Soundness of Data Flow Analyses for Weak Memory Models. APLAS 2011: 272-288 - [c18]Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig:
Making Software Verification Tools Really Work. ATVA 2011: 28-42 - [c17]Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Seamless Testing for Models and Code. FASE 2011: 278-293 - [c16]Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner:
Improving the Confidence in Measurement-Based Timing Analysis. ISORC 2011: 144-151 - 2010
- [j1]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): 23-37 (2010) - [c15]Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22 - [c14]Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs:
Seamless Model-Driven Development Put into Practice. ISoLA (1) 2010: 18-32 - [c13]Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig:
Timely Time Estimates. ISoLA (1) 2010: 33-46 - [c12]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
How did you specify your test suite. ASE 2010: 407-416
2000 – 2009
- 2009
- [c11]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing. VMCAI 2009: 151-166 - [c10]Hermann Gruber, Markus Holzer, Michael Tautschnig:
Short Regular Expressions from Finite Automata: Empirical Results. CIAA 2009: 188-197 - 2008
- [c9]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213 - [c8]Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig:
A Model Driven Development Approach for Implementing Reactive Systems in Hardware. FDL 2008: 197-202 - [c7]Sven Bünte, Michael Tautschnig:
A Benchmarking Suite for Measurement-Based WCET Analysis Tools. ICST Workshops 2008: 353-356 - [c6]Boris Langer, Michael Tautschnig:
Navigating the Requirements Jungle. ISoLA 2008: 354-368 - [c5]Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs:
Optimizing Automatic Deployment Using Non-functional Requirement Annotations. ISoLA 2008: 400-414 - [c4]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: 139-144 - 2007
- [c3]Andreas Bauer, Markus Pister, Michael Tautschnig:
Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929 - [c2]Christian Kühnel, Andreas Bauer, Michael Tautschnig:
Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108 - [c1]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint