Search the dblp DataBase

Publications of Author

1. Andreas Bauer 0002, Markus Pister, Michael Tautschnig
   Tool-support for the analysis of hybrid systems and models. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:924-929 [Conf]
   
2. Christian Kühnel, Andreas Bauer 0002, Michael Tautschnig
   Compatibility and reuse in component-based systems via type and unit inference. [Citation Graph (0, 0)][DBLP]
   EUROMICRO-SEAA, 2007, pp:101-108 [Conf]
   
3. 
   FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. [Citation Graph (, )][DBLP]
   
   
4. 
   Optimizing Automatic Deployment Using Non-functional Requirement Annotations. [Citation Graph (, )][DBLP]
   
   
5. 
   Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. [Citation Graph (, )][DBLP]
   
   
6. 
   Navigating the Requirements Jungle. [Citation Graph (, )][DBLP]
   
   
7. 
   How did you specify your test suite. [Citation Graph (, )][DBLP]
   
   
8. 
   Query-Driven Program Testing. [Citation Graph (, )][DBLP]
   
   
9. 
   Short Regular Expressions from Finite Automata: Empirical Results. [Citation Graph (, )][DBLP]
   
   
10. 
    Automatic generation of systemc models from component-based designs for early design validation and performance analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    A Model Driven Development Approach for Implementing Reactive Systems in Hardware. [Citation Graph (, )][DBLP]