Michael Tautschnig

64 papers A* 5A 9B 8C 7Journal 18Unranked 17

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