Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Tautschnig
2010 – today
- 2013
[c25]Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti E. J. Hyvrinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig: PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464- [c24]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith: Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491
- [c23]Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig: Software Verification for Weak Memory via Program Transformation. ESOP 2013: 512-532
- [i3]Jade Alglave, Daniel Kroening, Michael Tautschnig: Partial Orders for Efficient BMC of Concurrent Software. CoRR abs/1301.1629 (2013)
- [i2]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
- [j2]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design 41(1): 25-44 (2012)
- [c22]Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig: Numeric Bounds Analysis with Conflict-Driven Learning. TACAS 2012: 48-63
- [c21]Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
- [c20]Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555
- [i1]Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig: Software Verification for Weak Memory via Program Transformation. CoRR abs/1207.7264 (2012)
- 2011
- [c19]Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig: Soundness of Data Flow Analyses for Weak Memory Models. APLAS 2011: 272-288
- [c18]Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig: Making Software Verification Tools Really Work. ATVA 2011: 28-42
- [c17]Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Seamless Testing for Models and Code. FASE 2011: 278-293
- [c16]Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner: Improving the Confidence in Measurement-Based Timing Analysis. ISORC 2011: 144-151
- 2010
- [j1]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. STTT 12(1): 23-37 (2010)
- [c15]Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith: An Introduction to Test Specification in FQL. Haifa Verification Conference 2010: 9-22
- [c14]Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs: Seamless Model-Driven Development Put into Practice. ISoLA (1) 2010: 18-32
- [c13]Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig: Timely Time Estimates. ISoLA (1) 2010: 33-46
- [c12]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: How did you specify your test suite. ASE 2010: 407-416
2000 – 2009
- 2009
- [c11]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
- [c10]Hermann Gruber, Markus Holzer, Michael Tautschnig: Short Regular Expressions from Finite Automata: Empirical Results. CIAA 2009: 188-197
- 2008
- [c9]Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
- [c8]Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig: A Model Driven Development Approach for Implementing Reactive Systems in Hardware. FDL 2008: 197-202
- [c7]Sven Bünte, Michael Tautschnig: A Benchmarking Suite for Measurement-Based WCET Analysis Tools. ICST Workshops 2008: 353-356
- [c6]
- [c5]Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs: Optimizing Automatic Deployment Using Non-functional Requirement Annotations. ISoLA 2008: 400-414
- [c4]Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig: Automatic generation of systemc models from component-based designs for early design validation and performance analysis. WOSP 2008: 139-144
- 2007
- [c3]Andreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
- [c2]Christian Kühnel, Andreas Bauer, Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108
- [c1]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-03 20:12 CEST by the dblp team