Andreas Bauer

Australian National University

other persons with the same name:

• Andreas Bauer
• Andreas Bauer - Erlangen-Nürnberg / T-Systems
• Andreas Bauer - Uni Bonn

2009
20	EE	Franz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
19	EE	Andreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
2008
18	EE	Andreas Bauer, Jan Jürjens: Security protocols, properties, and their monitoring. SESS 2008: 33-40
2007
17	EE	Andreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
16	EE	Christian 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
14	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
13	EE	Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software CoRR abs/0710.4829: (2007)
12	EE	Andreas 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
11	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
10	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
9	EE	Andreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
2005
8	EE	Andreas Bauer: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
7	EE	Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
6	EE	Andreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
2004
5	EE	Jan 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
3	EE	Markus Pizka, Andreas Bauer: A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
2	EE	Andreas Bauer: Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track 2004: 103-113
2003
1	EE	Andreas Bauer, Markus Pizka: The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Coauthor Index

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

Colors in the list of coauthors