The Contribution of Free Software to Software Evolution. - Andreas Bauer 002; Markus Pizka (IWPSE, 2003)

Loose synchronization of event-triggered networks for distribution of synchronous programs. - Jan Romberg; Andreas Bauer 002 (EMSOFT, 2004)

A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. - Markus Pizka; Andreas Bauer 002 (IWPSE, 2004)

Creating a Portable Programming Language Using Open Source Software. - Andreas Bauer 002 (USENIX ATC, FREENIX Track, 2004)

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. - Andreas Bauer 002 (CPAIOR, 2005)

AutoMoDe - Model-Based Development of Automotive Software. - Dirk Ziegenbein; Peter Braun 003; Ulrich Freund; Andreas Bauer 002; Jan Romberg; Bernhard Schätz (DATE, 2005)

Integrierte Entwicklung von Automotive-Software mit AutoFocus. - Andreas Bauer 002; Jan Romberg; Bernhard Schätz (Inform. Forsch. Entwickl., 2005)

Model-based runtime analysis of distributed reactive systems. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ASWEC, 2006)

Monitoring of Real-Time Properties. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (FSTTCS, 2006)

SALT - Structured Assertion Language for Temporal Logic. - Andreas Bauer 002; Martin Leucker; Jonathan Streit (ICFEM, 2006)

Tool-support for the analysis of hybrid systems and models. - Andreas Bauer 002; Markus Pister 001; Michael Tautschnig (DATE, 2007)

Compatibility and reuse in component-based systems via type and unit inference. - Christian Kühnel; Andreas Bauer 002; Michael Tautschnig (EUROMICRO-SEAA, 2007)

The Good, the Bad, and the Ugly, But How Ugly Is Ugly? - Andreas Bauer 002; Martin Leucker; Christian Schallhart (RV, 2007)

Das AutoMoDe-Projekt. - Andreas Bauer 002; Manfred Broy; Jan Romberg; Bernhard Schätz; Peter Braun 003; Ulrich Freund; Núria Mata; Robert Sandner; Pierre Mai; Dirk Ziegenbein (Inform. Forsch. Entwickl., 2007)

Model-based runtime analysis of distributed reactive systems. - Andreas Bauer 002 (2007)

The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. - Andreas Bauer 002 (VDM, 2008)

Tools for Traceable Security Verification. - Jan Jürjens; Yijun Yu; Andreas Bauer 002 (BCS Int. Acad. Conf., 2008)

Security protocols, properties, and their monitoring. - Andreas Bauer 002; Jan Jürjens (SESS, 2008)

Matching linear and non-linear trace patterns with regular policies. - Franz Baader; Andreas Bauer 002; Alwen Tiu (UNIF, 2008)

Runtime Verification Using a Temporal Description Logic. - Franz Baader; Andreas Bauer 002; Marcel Lippmann (FroCoS, 2009)

A First-Order Policy Language for History-Based Transaction Monitoring. - Andreas Bauer 002; Rajeev Goré; Alwen Tiu (ICTAC, 2009)

Matching Trace Patterns with Regular Policies. - Franz Baader; Andreas Bauer 002; Alwen Tiu (LATA, 2009)

A Novel Architecture for Situation Awareness Systems. - Franz Baader; Andreas Bauer 002; Peter Baumgartner 001; Anne Cregan; Alfredo Gabaldon; Krystian Ji; Kevin Lee; David Rajaratnam; Rolf Schwitter (TABLEAUX, 2009)

A decidable policy language for history-based transaction monitoring - Andreas Bauer 002; Rajeev Goré; Alwen Tiu (CoRR, 2009)

Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. - Andreas Bauer 002; Sophie Pinchinat (Discret. Event Dyn. Syst., 2009)

An Integrated Modelling, Debugging, and Visualisation Environment for G12. - Andreas Bauer 002; Viorica Botea; Mark Brown; Matt Gray; Daniel Harabor; John K. Slaney (CP, 2010)

LTL Goal Specifications Revisited. - Andreas Bauer 002; Patrik Haslum (ECAI, 2010)

Runtime verification of cryptographic protocols. - Andreas Bauer 002; Jan Jürjens (Comput. Secur., 2010)

Monitorability of omega-regular languages - Andreas Bauer 002 (CoRR, 2010)

Comparing LTL Semantics for Runtime Verification. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (J. Log. Comput., 2010)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. - Andreas Bauer 002; Martin Leucker; Christian Schallhart; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2010)

The Theory and Practice of SALT. - Andreas Bauer 002; Martin Leucker (NASA Formal Methods, 2011)

Run-Time Security Traceability for Evolving Systems. - Andreas Bauer 002; Jan Jürjens; Yijun Yu (Comput. J., 2011)

Runtime Verification for LTL and TLTL. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ACM Trans. Softw. Eng. Methodol., 2011)

Runtime Verification Meets Android Security. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (NASA Formal Methods, 2012)

Reasoning with Data-Centric Business Processes - Andreas Klaus Bauer; Peter Baumgartner 001; Michael Norrish (CoRR, 2012)

From Propositional to First-Order Monitoring. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (RV, 2013)

Tableaux for Verification of Data-Centric Processes. - Andreas Bauer 002; Peter Baumgartner 001; Martin Diller; Michael Norrish (TABLEAUX, 2013)

Platform-Centric Android Monitoring - Modular and Efficient. - Jan-Christoph Küster; Andreas Bauer 002 (CoRR, 2014)

Monitoring Real Android Malware. - Jan-Christoph Küster; Andreas Bauer 002 (RV, 2015)

The ins and outs of first-order runtime verification. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (Formal Methods Syst. Des., 2015)

Decentralised LTL monitoring. - Andreas Bauer 002; Yliès Falcone (Formal Methods Syst. Des., 2016)