Skip to main content

Andreas Bauer

Andreas Bauer
Senior Researcher; Adjunct Fellow, ANU

Research Interests

Software and systems engineering for safety and security critical systems, automata theory, temporal logics and formal languages, runtime verification, diagnosis

Contact Details

Phone: +61 2 6267 6268
Email:Andreas.Bauer@nicta.com.au
Web:http://baueran.multics.org/

More contact information is available at the Contact page.

Photo of Andreas Bauer

Projects

Past

Past:

  • AI for the Smart Grid
  • G12 Constraint Programming Platform
  • Situation Awareness by Inference and Logic<

Qualifications

Affiliations

  • Adjunct Fellow, Logic and Computation group, Australian National University

Recognition and Awards

  • 2012: FM'12 best paper award for Decentralised LTL Monitoring (with Y. Falcone)
  • 2003: ESG GmbH industry award: top graduate in 2003 at TU Muenchen
  • 2002: Competitive abroad scholarship by the German Academic Exchange Service (Deutscher Akademischer Austauschdienst, DAAD)
  • 2000: Best of Linux Award for Mailfilter by Dave Central's (a former SourceForge Inc. site); other winners include rsync, samba, etc.

Publications

NICTA Papers

2013

Abstract PDF Andreas Bauer, Peter Baumgartner, Diller Martin and Michael Norrish
Tableaux for verification of data-centric processes
Automated Reasoning with Analytic Tableaux and Related Methods, pp. 28-43, Nancy, France, September, 2013
Abstract PDF Andreas Bauer, Jan-Christoph Kuester and Gil Vegliach
From propositional to first-order monitoring
4th International Conference on Runtime Verification (RV), Rennes, France, September, 2013

2012

Abstract PDF Andreas Bauer and Ylies Falcone
Decentralised LTL monitoring
International Symposium on Formal Methods (FM), pp. 88-100, Paris/France, August, 2012
Best Paper Award!
Abstract PDF Andreas Bauer, Jan-Christoph Kuester and Gil Vegliach
Runtime verification meets android security
4th NASA Formal Methods Symposium (NFM), pp. 174-180, Norfolk, Virginia, USA, April, 2012

2011

Abstract PDF Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum and Jussi Rintanen
Alarm processing with model-based diagnosis of discrete event systems
AI for an Intelligent Planet (AIIP-11), pp. 7–14, Spain, October, 2011
Abstract PDF Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum and Jussi Rintanen
Alarm processing with model-based diagnosis of discrete event systems
International Workshop on Principles of Diagnosis, pp. 0-0, Germany, October, 2011
Abstract PDF Andreas Bauer, Jan Juerjens and Yijun Yu
Run-time security traceability for evolving systems
The Computer Journal, Volume 54, Number 1, pp. 58-87, July, 2011
Abstract PDF Andreas Bauer and Martin Leucker
The theory and practice of SALT
NASA Formal Methods Symposium (NFM), pp. 28, Pasadena, CA, USA, April, 2011
Abstract PDF Andreas Bauer, Martin Leucker and Christian Schallhart
Runtime verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology, Volume 20, Number 4, pp. 75, April, 2011

2010

Abstract PDF Jens Kohl and Andreas Bauer
Role-based diagnosis for distributed vehicle functions
International Workshop on the Principles of Diagnosis (DX 10), pp. 6, Portland, USA, October, 2010
Abstract to be published Andreas Bauer, B. Botea, Mark Brown, Matt Gray, Daniel Harabor and John Slaney
An integrated modelling, debugging, and visualization environment for g12.
16th International Conference on Principles and Practice of Constraint Programming, pp. 522-436, Edinburgh, Scotland, September, 2010
Abstract PDF Andreas Bauer and Patrik Haslum
LTL goal specifications revisited
European Conference on Artificial Intelligence, Lisbon, Portugal, August, 2010
Abstract PDF Andreas Bauer, Martin Leucker and Christian Schallhart
Comparing LTL semantics for runtime verification
Journal of Logic and Computation, Volume 20, Number 3, pp. 651-674, June, 2010
Abstract PDF Andreas Bauer and Jan Jurjens
Runtime verification of cryptographic protocols
Computers & Security, Volume 29, Number 3, pp. 315-330, May, 2010
Abstract PDF Andreas Bauer, Martin Leucker, Christian Schallhart and Michael Tautschnig
Don't care in SMT - building flexible yet efficient abstraction/refinement solvers
International Journal on Software Tools for Technology Transfer (STTT, Springer), Volume 12, Number 1, pp. 23-37, February, 2010

2009

Abstract PDF Franz Baader, Andreas Bauer and Alwen Tiu
Matching trace patterns with regular policies
3rd International Conference on Language and Automata Theory and Applications (LATA), pp. 105-116, Spain, November, 2009
Abstract PDF Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter
A novel architecture for situation awareness systems
TABLEAUX 2009 - The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp. 77-92, Oslo, Norway, July, 2009

2008

Abstract PDF Andreas Bauer, Jan Juerjens and Yijun Yu
Tools for traceable security verification
BCS International Academic Conference 2008—Visions of Computer Science, pp. 367–378, Swindon, UK, September, 2008
Abstract PDF Franz Baader, Andreas Bauer and Alwen Tiu
Matching linear and non-linear trace patterns with regular policies
22nd International Workshop on Unification (UNIF), pp. 16-24, Linz, Austria, July, 2008
Abstract PDF Andreas Bauer and Jan Jürjens
Security protocols, properties, and their monitoring
4th International Workshop on Software Engineering for Secure Systems, pp. 33-40, Leipzig, Germany, May, 2008
Abstract PDF Andreas Bauer and Sophie Pinchinat
A topological perspective on diagnosis
9th International Workshop on Discrete Event Systems (WODES), pp. 218-224, Göteborg, Sweden, May, 2008