Andreas Bauer Home Page Coauthor index DBLP Vis pubzone.org

Australian National University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCos 2009: 149-164
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Jürjens, Yijun Yu, Andreas Bauer: Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens: Security protocols, properties, and their monitoring. SESS 2008: 33-40
2007
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Markus Pister, Michael Tautschnig: Tool-support for the analysis of hybrid systems and models. DATE 2007: 924-929
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kühnel, Andreas Bauer, Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA 2007: 101-108
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software CoRR abs/0710.4829: (2007)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
2005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR 2005: 49-63
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Romberg, Andreas Bauer: Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT 2004: 193-202
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Pizka, Andreas Bauer: A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE 2004: 131-136
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track 2004: 103-113
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Markus Pizka: The Contribution of Free Software to Software Evolution. IWPSE 2003: 170-

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)