Michael Tautschnig

Available identifiers

zbMath Open tautschnig.michaelMaRDI QIDQ888430

List of research outcomes

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
Information Reuse for Multi-goal Reachability Analyses	2013-08-05	Paper
Software Verification for Weak Memory via Program Transformation	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Tautschnig