Search the dblp DataBase

Publications of Author

1. Andreas Bauer 0002, Martin Leucker, Christian Schallhart
   Model-based runtime analysis of distributed reactive systems. [Citation Graph (0, 0)][DBLP]
   ASWEC, 2006, pp:243-252 [Conf]
   
2. Andreas Bauer 0002
   Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. [Citation Graph (0, 0)][DBLP]
   CPAIOR, 2005, pp:49-63 [Conf]
   
3. Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
   AutoMoDe - Model-Based Development of Automotive Software. [Citation Graph (0, 0)][DBLP]
   DATE, 2005, pp:171-177 [Conf]
   
4. Jan Romberg, Andreas Bauer 0002
   Loose synchronization of event-triggered networks for distribution of synchronous programs. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2004, pp:193-202 [Conf]
   
5. Andreas Bauer 0002, Martin Leucker, Christian Schallhart
   Monitoring of Real-Time Properties. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:260-272 [Conf]
   
6. Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
   Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2004, pp:13-17 [Conf]
   
7. Andreas Bauer 0002, Martin Leucker, Jonathan Streit
   SALT - Structured Assertion Language for Temporal Logic. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:757-775 [Conf]
   
8. Andreas Bauer 0002, Markus Pizka
   The Contribution of Free Software to Software Evolution. [Citation Graph (0, 0)][DBLP]
   IWPSE, 2003, pp:170-0 [Conf]
   
9. Markus Pizka, Andreas Bauer 0002
   A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. [Citation Graph (0, 0)][DBLP]
   IWPSE, 2004, pp:131-136 [Conf]
   
10. Andreas Bauer 0002
    Creating a Portable Programming Language Using Open Source Software. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2004, pp:103-113 [Conf]
    
11. Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    Integrierte Entwicklung von Automotive-Software mit AutoFocus. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:194-205 [Journal]
    
12. 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]
    
13. 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]
    
14. Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    AutoMoDe - Model-Based Development of Automotive Software [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
15. 
    LTL Goal Specifications Revisited. [Citation Graph (, )][DBLP]
    
    
16. 
    Runtime Verification Using a Temporal Description Logic. [Citation Graph (, )][DBLP]
    
    
17. 
    Security protocols, properties, and their monitoring. [Citation Graph (, )][DBLP]
    
    
18. 
    A First-Order Policy Language for History-Based Transaction Monitoring. [Citation Graph (, )][DBLP]
    
    
19. 
    Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. [Citation Graph (, )][DBLP]
    
    
20. 
    A Novel Architecture for Situation Awareness Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    The Good, the Bad, and the Ugly, But How Ugly Is Ugly? [Citation Graph (, )][DBLP]
    
    
22. 
    Matching Trace Patterns with Regular Policies. [Citation Graph (, )][DBLP]
    
    
23. 
    Tools for Traceable Security Verification. [Citation Graph (, )][DBLP]
    
    
24. 
    Runtime verification of cryptographic protocols. [Citation Graph (, )][DBLP]
    
    
25. 
    A decidable policy language for history-based transaction monitoring [Citation Graph (, )][DBLP]
    
    
26. 
    Monitorability of omega-regular languages [Citation Graph (, )][DBLP]