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 Andreas Holzer

> Home > Persons > Michael Tautschnig

Publications

2015
[j4]
- view
  - electronic edition via DOI (open access)
  - references & 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)
2014
[c30]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/BeyerHTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/BeyerHTV14
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering 2014: 97-98
2013
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BeyerHTV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BeyerHTV13
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491
[c23]
- view
  - electronic edition via DOI (open access)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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
[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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HolzerJKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HolzerJKT10
Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig:
Timely Time Estimates. ISoLA (1) 2010: 33-46
[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)
  - references & 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

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.