Michael Tautschnig
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Concurrent program verification with invariant-guided underapproximation Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| Model checking boot code from AWS data centers Formal Methods in System Design | 2021-08-30 | Paper |
| On the structure and complexity of rational sets of regular languages (available as arXiv preprint) | 2017-02-21 | Paper |
| Learning the Language of Error Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
| Closure properties and complexity of rational sets of regular languages Theoretical Computer Science | 2015-10-30 | Paper |
| Counterexample-guided abstraction refinement for symmetric concurrent programs Formal Methods in System Design | 2014-03-28 | Paper |
| Software verification for weak memory via program transformation Programming Languages and Systems | 2013-08-05 | Paper |
| Information reuse for multi-goal reachability analyses Programming Languages and Systems | 2013-08-05 | Paper |
| Numeric bounds analysis with conflict-driven learning Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
| An introduction to test specification in FQL Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
| Short Regular Expressions from Finite Automata: Empirical Results Implementation and Application of Automata | 2009-07-09 | Paper |
| Query-Driven Program Testing Lecture Notes in Computer Science | 2009-02-10 | Paper |
Research outcomes over time
This page was built for person: Michael Tautschnig
