Michael Tautschnig

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Christian Schallhart

> Home > Persons > Michael Tautschnig

Publications

2015
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HolzerSTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HolzerSTV15
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)
2013
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/HolzerSTV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/HolzerSTV13
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS 2013: 377-388
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1305-6074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6074
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
On the Structure and Complexity of Rational Sets of Regular Languages. CoRR abs/1305.6074 (2013)
2012
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HolzerKSTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HolzerKSTV12
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
2011
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/HolzerJKLSTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HolzerJKLSTV11
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Seamless Testing for Models and Code. FASE 2011: 278-293
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BauerLST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BauerLST10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HolzerTSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HolzerTSV10
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HolzerTVS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HolzerTVS10
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
How did you specify your test suite. ASE 2010: 407-416
2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HolzerSTV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HolzerSTV09
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing. VMCAI 2009: 151-166
2008
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HolzerSTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HolzerSTV08
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
2007
[c1]
- view
  - electronic edition @ editions-rnti.fr
  - details & citations
- export record
  dblp key:
  - conf/isola/BauerLST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BauerLST07
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146

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.