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

Andreas Bauer Home Page Coauthor index pubzone.org

Andreas Klaus Bauer

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 keys2012
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan-Christoph Küster, Gil Vegliach: Runtime Verification Meets Android Security. NASA Formal Methods 2012: 174-180
2011
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker: The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14 (2011)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Yliès Falcone: Decentralised LTL Monitoring CoRR abs/1111.5133: (2011)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens, Yijun Yu: Run-Time Security Traceability for Evolving Systems. Comput. J. 54(1): 58-87 (2011)
2010
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney: An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP 2010: 522-536
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Patrik Haslum: LTL Goal Specifications Revisited. ECAI 2010: 881-886
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Monitorability of omega-regular languages CoRR abs/1006.3638: (2010)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Jan Jürjens: Runtime verification of cryptographic protocols. Computers & Security 29(3): 315-330 (2010)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Martin Leucker, Christian Schallhart: Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)
28Electronic Edition 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. STTT 12(1): 23-37 (2010)
2009
27Electronic 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
26Electronic 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
25Electronic 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
24Electronic 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
23Electronic 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)
22Electronic 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. VDM 2008: I-X, 1-204
20Electronic 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
19Electronic 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
18Electronic 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
17Electronic 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
16no 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
15Electronic 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
14Electronic 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)
13Electronic 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)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer: Model-based runtime analysis of distributed reactive systems. Technical University Munich 2007: 1-206
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
4Electronic Edition 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 [24] [25] [27]
2Peter Baumgartner [24]
3Viorica Botea [33]
4Peter Braun [7] [13] [14]
5Mark Brown [33]
6Manfred Broy [13]
7Anne Cregan [24]
8Yliès Falcone [35]
9Ulrich Freund [7] [13] [14]
10Alfredo Gabaldon [24]
11Rajeev Goré [23] [26]
12Matt Gray [33]
13Daniel Harabor (Daniel Damir Harabor) [33]
14Patrik Haslum [32]
15Krystian Ji [24]
16Jan Jürjens [19] [20] [30] [34]
17Christian Kühnel [17]
18Jan-Christoph Küster [38]
19Kevin Lee [24]
20Martin Leucker [9] [10] [11] [15] [16] [28] [29] [36] [37]
21Marcel Lippmann [27]
22Pierre Mai [13]
23Nuria Mata [13]
24Sophie Pinchinat [22]
25Markus Pister [18]
26Markus Pizka [1] [3]
27David Rajaratnam [24]
28Jan Romberg [4] [5] [6] [7] [13] [14]
29Robert Sandner [13]
30Christian Schallhart [10] [11] [15] [16] [28] [29] [36]
31Bernhard Schätz [4] [6] [7] [13] [14]
32Rolf Schwitter [24]
33John K. Slaney [33]
34Jonathan Streit [9]
35Michael Tautschnig [16] [17] [18] [28]
36Alwen Tiu (Alwen Fernanto Tiu) [23] [25] [26]
37Gil Vegliach [38]
38Yijun Yu [20] [34]
39Dirk Ziegenbein [7] [13] [14]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page