Michael Tautschnig

Available identifiers

Publication	Date of Publication	Type
Concurrent program verification with invariant-guided underapproximation	2022-08-12	Paper
Model checking boot code from AWS data centers	2021-08-30	Paper
On the structure and complexity of rational sets of regular languages	2017-02-21	Paper
Learning the Language of Error	2016-01-08	Paper
Closure properties and complexity of rational sets of regular languages	2015-10-30	Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs	2014-03-28	Paper
Software verification for weak memory via program transformation	2013-08-05	Paper
Information reuse for multi-goal reachability analyses	2013-08-05	Paper
Numeric bounds analysis with conflict-driven learning	2012-06-29	Paper
An introduction to test specification in FQL	2011-04-06	Paper
Short Regular Expressions from Finite Automata: Empirical Results	2009-07-09	Paper
Query-Driven Program Testing	2009-02-10	Paper

This page was built for person: Michael Tautschnig