dblp.uni-trier.dewww.uni-trier.de

Michael Tautschnig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEHermann Gruber, Markus Holzer, Michael Tautschnig: Short Regular Expressions from Finite Automata: Empirical Results. CIAA 2009: 188-197
9EEAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
2008
8EEAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
7EEZhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig: A Model Driven Development Approach for Implementing Reactive Systems in Hardware. FDL 2008: 197-202
6EEBoris Langer, Michael Tautschnig: Navigating the Requirements Jungle. ISoLA 2008: 354-368
5EEStefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs: Optimizing Automatic Deployment Using Non-functional Requirement Annotations. ISoLA 2008: 400-414
4EEZhonglei 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
3EEAndreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
2EEChristian Kühnel, Andreas Bauer, Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108
1 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

1Andreas Bauer [1] [2] [3]
2Hermann Gruber [10]
3Wolfgang Haberl [4] [5]
4Andreas Herkersdorf [7]
5Andreas Holzer [8] [9]
6Markus Holzer [10]
7Stefan Kugele [4] [5]
8Christian Kühnel [2]
9Boris Langer [6]
10Martin Leucker [1]
11Stefano Merenda [7]
12Markus Pister [3]
13Christian Schallhart [1] [8] [9]
14Helmut Veith [8] [9]
15Zhonglei Wang [4] [7]
16Martin Wechs [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)