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
25		Franz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCos 2009: 149-164
24		Andreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
23		Franz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
22		Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter: A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92
21		Andreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
20		Andreas Bauer, Sophie Pinchinat: Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. Discrete Event Dynamic Systems 19(4): 451-470 (2009)
	2008
19		Jan Jürjens, Yijun Yu, Andreas Bauer: Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390
18		Andreas Bauer, Jan Jürjens: Security protocols, properties, and their monitoring. SESS 2008: 33-40
	2007
17		Andreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
16		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		Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
13		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		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		Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
10		Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
9		Andreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
	2005
8		Andreas Bauer: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
7		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		Andreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
	2004
5		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		Markus Pizka, Andreas Bauer: A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
2		Andreas Bauer: Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track 2004: 103-113
	2003
1		Andreas Bauer, Markus Pizka: The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Coauthor Index

1	Franz Baader	[22] [23] [25]
2	Peter Baumgartner	[22]
3	Peter Braun	[7] [12] [13]
4	Manfred Broy	[12]
5	Anne Cregan	[22]
6	Ulrich Freund	[7] [12] [13]
7	Alfredo Gabaldon	[22]
8	Rajeev Goré	[21] [24]
9	Krystian Ji	[22]
10	Jan Jürjens	[18] [19]
11	Christian Kühnel	[16]
12	Kevin Lee	[22]
13	Martin Leucker	[9] [10] [11] [14] [15]
14	Marcel Lippmann	[25]
15	Pierre Mai	[12]
16	Nuria Mata	[12]
17	Sophie Pinchinat	[20]
18	Markus Pister	[17]
19	Markus Pizka	[1] [3]
20	David Rajaratnam	[22]
21	Jan Romberg	[4] [5] [6] [7] [12] [13]
22	Robert Sandner	[12]
23	Christian Schallhart	[10] [11] [14] [15]
24	Bernhard Schätz	[4] [6] [7] [12] [13]
25	Rolf Schwitter	[22]
26	Jonathan Streit	[9]
27	Michael Tautschnig	[15] [16] [17]
28	Alwen Tiu (Alwen Fernanto Tiu)	[21] [23] [24]
29	Yijun Yu	[19]
30	Dirk Ziegenbein	[7] [12] [13]

Colors in the list of coauthors