Andreas Bauer

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Venues

CoRR

Formal Methods Syst. Des.

TABLEAUX

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Andreas Bauer, Yliès Falcone
Decentralised LTL monitoring. Formal Methods Syst. Des. 48 (1-2) (2016)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
The ins and outs of first-order runtime verification. Formal Methods Syst. Des. 46 (3) (2015)
Jan-Christoph Küster, Andreas Bauer
Monitoring Real Android Malware. RV (2015)
Jan-Christoph Küster, Andreas Bauer
Platform-Centric Android Monitoring - Modular and Efficient. CoRR (2014)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
From Propositional to First-Order Monitoring. RV (2013)
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes. TABLEAUX (2013)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
From propositional to first-order monitoring CoRR (2013)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
Runtime Verification Meets Android Security. NASA Formal Methods (2012)
Andreas Bauer, Yliès Falcone
Decentralised LTL Monitoring CoRR (2011)
Andreas Bauer, Martin Leucker
The Theory and Practice of SALT. NASA Formal Methods (2011)
Andreas Bauer, Jan Jürjens, Yijun Yu
Run-Time Security Traceability for Evolving Systems. Comput. J. 54 (1) (2011)
Andreas Bauer, Martin Leucker, Christian Schallhart
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)
Andreas Bauer, Patrik Haslum
LTL Goal Specifications Revisited. ECAI (2010)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney
An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP (2010)
Andreas Bauer, Martin Leucker, Christian Schallhart
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20 (3) (2010)
Andreas Bauer
Monitorability of omega-regular languages CoRR (2010)
Andreas Bauer, Jan Jürjens
Runtime verification of cryptographic protocols. Comput. Secur. 29 (3) (2010)
Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies. LATA (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A decidable policy language for history-based transaction monitoring CoRR (2009)
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)
Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic. FroCoS (2009)
Andreas Bauer, Sophie Pinchinat
-Languages: A Topological Perspective. Discret. Event Dyn. Syst. 19 (4) (2009)
Jan Jürjens, Yijun Yu, Andreas Bauer
Tools for Traceable Security Verification. BCS Int. Acad. Conf. (2008)
Franz Baader, Andreas Bauer, Alwen Tiu
Matching linear and non-linear trace patterns with regular policies. UNIF (2008)
Andreas Bauer, Jan Jürjens
Security protocols, properties, and their monitoring. SESS (2008)
Andreas Bauer, Markus Pister, Michael Tautschnig
Tool-support for the analysis of hybrid systems and models. DATE (2007)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software CoRR (2007)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA (2007)
Christian Kühnel, Andreas Bauer, Michael Tautschnig
Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA (2007)
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) (2007)
Andreas Bauer, Martin Leucker, Christian Schallhart
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV (2007)
Andreas Bauer, Martin Leucker, Jonathan Streit
SALT - Structured Assertion Language for Temporal Logic. ICFEM (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Monitoring of Real-Time Properties. FSTTCS (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Model-based runtime analysis of distributed reactive systems. ASWEC (2006)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software. DATE (2005)
Andreas Bauer
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR (2005)
Andreas Bauer, Jan Romberg, Bernhard Schätz
Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. 19 (4) (2005)
Markus Pizka, Andreas Bauer
A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE (2004)
Andreas Bauer
Creating a Portable Programming Language Using Open Source Software. USENIX Annual Technical Conference, FREENIX Track (2004)
Jan Romberg, Andreas Bauer
Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT (2004)
Andreas Bauer, Jan Romberg, Bernhard Schätz
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) (2004)
Andreas Bauer, Markus Pizka
The Contribution of Free Software to Software Evolution. IWPSE (2003)

Andreas Bauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Bauer