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

Andreas Bauer

Australian National University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
20EEFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
19EEAndreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
2008
18EEAndreas Bauer, Jan Jürjens: Security protocols, properties, and their monitoring. SESS 2008: 33-40
2007
17EEAndreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
16EEChristian Kühnel, Andreas Bauer, Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108
15 Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
14EEAndreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
13EEDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software CoRR abs/0710.4829: (2007)
12EEAndreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein: Das AutoMoDe-Projekt. Inform., Forsch. Entwickl. 22(1): 45-57 (2007)
2006
11EEAndreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
10EEAndreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
9EEAndreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
2005
8EEAndreas Bauer: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
7EEDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
6EEAndreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
2004
5EEJan Romberg, Andreas Bauer: Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT 2004: 193-202
4 Andreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17
3EEMarkus Pizka, Andreas Bauer: A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
2EEAndreas Bauer: Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track 2004: 103-113
2003
1EEAndreas Bauer, Markus Pizka: The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Coauthor Index

1Franz Baader [20]
2Peter Braun [7] [12] [13]
3Manfred Broy [12]
4Ulrich Freund [7] [12] [13]
5Rajeev Goré [19]
6Jan Jürjens [18]
7Christian Kühnel [16]
8Martin Leucker [9] [10] [11] [14] [15]
9Pierre Mai [12]
10Nuria Mata [12]
11Markus Pister [17]
12Markus Pizka [1] [3]
13Jan Romberg [4] [5] [6] [7] [12] [13]
14Robert Sandner [12]
15Christian Schallhart [10] [11] [14] [15]
16Bernhard Schätz [4] [6] [7] [12] [13]
17Jonathan Streit [9]
18Michael Tautschnig [15] [16] [17]
19Alwen Tiu (Alwen Fernanto Tiu) [19] [20]
20Dirk Ziegenbein [7] [12] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)