Publications by year


2016

  1. Andreas Bauer and Ylies Falcone.
    Decentralised LTL monitoring.
    Formal Methods in System Design, 48(1-2):46-93, 2016.
    [pdf] [doi] [bibtex]


2015

  1. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    The ins and outs of first-order runtime verification.
    Formal Methods in System Design, 46(3):286-316, 2015.
    [pdf] [doi] [bibtex]

  2. Jan-Christoph Küster and Andreas Bauer.
    Monitoring Real Malware.
    Proc. 15th International Conference on Runtime Verification (RV), volume 9333 of LNCS. Springer, Sep. 2015.
    [pdf] [bibtex]


2014

  1. Jan-Christoph Küster and Andreas Bauer.
    Platform-Centric Android Monitoring—Modular and Efficient.
    arXiv:1406.2041 Jun. 2014.
    [html] [bibtex]

2013

  1. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    From propositional to first-order monitoring.
    Proc. 13th International Conference on Runtime Verification (RV), volume 8174 of LNCS. Springer, Sep. 2013.
    (Proofs also available in arXiv:1303.3645.)
    [pdf (with proofs)] [bibtex]

  2. Andreas Bauer, Peter Baumgartner, Martin Diller, and Michael Norrish.
    Tableaux for Verification of Data-Centric Processes.
    Proc. 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), volume 8123 of LNCS. Springer, Sep. 2013.
    [pdf] [bibtex]


2012

  1. Andreas Bauer and Ylies Falcone.
    Decentralised LTL monitoring.
    Proc. 18th International Symposium on Formal Methods (FM), volume 7436 of LNCS. Springer, Aug. 2012.
    (Proofs available in arXiv:1111.5133.)
    [pdf] [bibtex] (Best paper award)

  2. Andreas Bauer, Peter Baumgartner, and Michael Norrish.
    Reasoning with Data-Centric Business Processes.
    arXiv:1207.2461. Jul. 2012.
    [html] [bibtex]

  3. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    Runtime Verification meets Android Security.
    Proc. 4th NASA Formal Methods Symposium (NFM), volume 7226 of LNCS. Springer, Apr. 2012.
    [pdf] [bibtex]

2011

  1. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Runtime Verification for LTL and TLTL.
    ACM Transactions on Software Engineering and Methodology, 20(4):14, 2011.
    [pdf] [postscript] [bibtex]

  2. Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum, and Jussi Rintanen.
    Alarm processing with model-based diagnosis of discrete event systems.
    Proc. 22nd International Workshop on the Principles of Diagnosis (DX). Oct. 2011.
    (Also in ACM Digital Library, article 2 of Proc. International Workshop on AI for an Intelligent Planet.)
    [pdf] [bibtex]

  3. Andreas Bauer and Martin Leucker.
    The Theory and Practice of SALT.
    Proc. 3rd NASA Formal Methods Symposium (NFM), volume 6617 of LNCS. Springer, Apr. 2011.
    [pdf] [bibtex]

  4. Andreas Bauer, Jan Jürjens, and Yijun Yu.
    Run-Time Security Traceability for Evolving Systems.
    The Computer Journal, 54(1):58-87, 2011.
    [doi] [bibtex]


2010

  1. Jens Kohl and Andreas Bauer.
    Role-Based Diagnosis for Distributed Vehicle Functions.
    Proc. 21st International Workshop on the Principles of Diagnosis (DX). Oct. 2010.
    [pdf] [bibtex]

  2. Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, and John Slaney.
    An Integrated Modelling, Debugging, and Visualisation Environment for G12.
    Proc. 16th International Conference on Principles and Practices of Constraint Programming (CP), volume 6308 of LNCS. Springer, Sep. 2010.
    [pdf] [bibtex]

  3. Andreas Bauer and Patrik Haslum.
    LTL Goal Specifications Revisited.
    Proc. 19th European Conference on Artificial Intelligence (ECAI). IOS Press, Aug. 2010.
    [pdf] [bibtex]

  4. Andreas Bauer.
    Monitorability of ω-regular languages.
    arXiv:1006.3638. Jun. 2010.
    [html] [bibtex]

  5. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Comparing LTL semantics for runtime verification.
    Logic and Computation, 20(3):651-674, 2010.
    [pdf] [bibtex]

  6. Andreas Bauer and Jan Jürjens.
    Runtime Verification of Cryptographic Protocols.
    Computers & Security, 29(3):315-330, 2010.
    [doi] [bibtex]

  7. Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig.
    Don't care in SMT - Building flexible yet efficient abstraction/refinement solvers.
    Software Tools for Technology Transfer, 12(1):23-37, 2010.
    [pdf] [bibtex]


2009

  1. Andreas Bauer and Sophie Pinchinat.
    Prognosis of ω-languages for the Diagnosis of *-languages: A Topological Perspective.
    Discrete Event Dynamic Systems, 19(4):451-470, 2009.
    [pdf] [postscript] [bibtex]

  2. Franz Baader, Andreas Bauer, and Marcel Lippmann.
    Runtime Verification Using a Temporal Description Logic.
    Proc. 7th International Symposium on Frontiers of Combining Systems (FroCoS), volume 5749 of LNCS. Springer, Sep. 2009.
    [pdf] [bibtex]

  3. Andreas Bauer, Rajeev Goré, and Alwen Tiu.
    A first-order policy language for history-based transaction monitoring.
    Proc. 6th International Colloquium on Theoretical Aspects of Computing (ICTAC), volume 5684 of LNCS. Springer, Aug. 2009.
    (Proofs available in arXiv:0903.2904.)
    [pdf] [bibtex]

  4. 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.
    Proc. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), volume 5607 of LNCS. Springer, Jul. 2009.
    [pdf] [bibtex]

  5. Franz Baader, Andreas Bauer, and Alwen Tiu.
    Matching trace patterns with regular policies.
    Proc. 3rd International Conference on Language and Automata Theory and Applications (LATA), volume 5457 of LNCS. Springer, Apr. 2009.
    (Also in Proc. 22nd International Workshop on Unification (UNIF).)
    [pdf] [bibtex]


2008

  1. Jan Jürjens, Yijun Yu, and Andreas Bauer.
    Tools for Traceable Security Verification.
    In Proc. BCS International Academic Conference 2008 - Visions of Computer Science. British Computer Society, Sep. 2008.
    [pdf] [bibtex]

  2. Andreas Bauer and Sophie Pinchinat.
    A Topological Perspective on Diagnosis.
    Proc. 9th International Workshop on Discrete Event Systems (WODES). IEEE, May 2008.
    [pdf] [bibtex]

  3. Andreas Bauer and Jan Jürjens.
    Security protocols, properties, and their monitoring.
    Proc. 4th International Workshop on Software Engineering for Secure Systems (SESS). ACM, May 2008.
    [pdf] [bibtex]

  4. Front cover Andreas Bauer.
    The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems.
    VDM Verlag Dr. Müller, 2008.
    [order online] [bibtex]


2007

  1. Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig.
    Don't care in SMT - Building flexible yet efficient abstraction/refinement solvers.
    Proc. 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). volume SM1 of RNTI. Cépaduès-Éditions, Dec. 2007.
    [pdf] [postscript] [bibtex]

  2. Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, and Dirk Ziegenbein.
    Das AutoMoDe-Projekt: Modellbasierte Entwicklung softwareintensiver Systeme im Automobil.
    (The AutoMoDe-Project: Model-based Development of Software-Intensive Automotive Systems.)
    Computer Science - Research and Development, 22(1):45-57, 2007.
    [pdf] [bibtex]

  3. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    The good, the bad, and the ugly, but how ugly is ugly?
    Proc. 7th International Workshop on Runtime Verification (RV), volume 4839 of LNCS. Springer, Nov. 2007.
    [pdf] [postscript] [bibtex]

  4. Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian Kühnel, Florian Müller, Zhonglei Wang, Doris Wild, Sabine Rittmann, and Martin Wechs
    COLA - The Component Language.
    Technical report TUM-I0714. TU Munich, Sep. 2007.
    [pdf] [postscript] [bibtex]

  5. Christian Kühnel, Andreas Bauer, and Michael Tautschnig.
    Compatibility and reuse in component-based systems via type and unit inference.
    Proc. 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE, Aug. 2007.
    [pdf] [bibtex]

  6. Andreas Bauer.
    Model-based runtime analysis of distributed reactive systems.
    PhD thesis. TU Munich, 2007.
    [html] [pdf] [postscript] [bibtex]

  7. Andreas Bauer, Markus Pister, and Michael Tautschnig.
    Tool-support for the analysis of hybrid systems and models.
    Proc. 2007 Conference on Design, Automation and Test in Europe (DATE). ACM, Apr. 2007.
    [pdf] [postscript] [bibtex]

2006

  1. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Monitoring of real-time properties.
    Proc. 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4337 of LNCS. Springer, Dec. 2006.
    [pdf] [postscript] [bibtex]

  2. Andreas Bauer, Martin Leucker, and Jonathan Streit.
    SALT - Structured Assertion Language for Temporal Logic.
    Proc. 8th International Conference on Formal Engineering Methods (ICFEM), volume 4260 of LNCS. Springer, Oct. 2006.
    [pdf] [postscript] [bibtex]

  3. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Model-based runtime analysis of distributed reactive systems.
    Proc. 2006 Australian Software Engineering Conference (ASWEC). IEEE, Apr. 2006.
    [pdf] [postscript] [bibtex]

  4. Ulrich Freund, Peter Braun, Jan Romberg, Andreas Bauer, Pierre Mai, and Dirk Ziegenbein.
    AutoMoDe - A Transformation Based Approach for the Model-based Design of Embedded Automotive Software.
    Proc. 3rd European Congress on Embedded Real Time Software (ERTS). Société des Ingénieurs de l'Automobile, Jan. 2006.
    [bibtex]

2005

  1. Oliver Arafat, Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Runtime verification revisited.
    Technical report TUM-I0518. TU Munich, Oct. 2005.
    [pdf] [postscript] [bibtex]

  2. Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Pierre Mai, and Dirk Ziegenbein.
    Incremental Development for Automotive Software in AutoMoDe.
    Proc. 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER3), volume 191 of HNI-Verlagsschriftenreihe. Heinz-Nixdorf Institut, Oct. 2005.
    [pdf] [bibtex]

  3. Andreas Bauer, Jan Romberg, and Bernhard Schätz.
    Integrierte Entwicklung von Automotive-Software mit AutoFocus.
    (Integrated Development of Automotive Software using AutoFocus.)
    Computer Science - Research and Development, 19(4):194-205, 2005.
    [pdf] [bibtex]

  4. Andreas Bauer.
    Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles.
    Proc. 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), volume 3524 of LNCS. Springer, Jun. 2005.
    [pdf] [postscript] [bibtex]

  5. Andreas Bauer and Markus Pizka.
    Der Beitrag freier Software zur Software-Evolution.
    (The Contribution of Free Software to Software Evolution.)
    Open Source Jahrbuch 2005, Lehmanns Media, 2005.
    [pdf] [bibtex]

  6. Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, and Dirk Ziegenbein.
    AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software.
    Proc. SAE 2005 World Congress, volume 1921 of SAE Special Publications. Society of Automotive Engineers, Apr. 2005.
    [pdf] [bibtex]

  7. Dirk Ziegenbein, Ulrich Freund, Peter Braun, Robert Sandner, Andreas Bauer, Jan Romberg, and Bernhard Schätz.
    AutoMoDe - Model-Based Development of Automotive Software.
    Proc. 2005 Conference on Design, Automation and Test in Europe (DATE). IEEE, Mar. 2005.
    [bibtex]

2004

  1. Andreas Bauer.
    GCC-Interna im Detail.
    (Internals of the GCC-Compiler in Detail.)
    iX Magazin für professionelle Informationstechnik, pp. 124-128, Nov. 2004.
    [pdf] [bibtex]

  2. Andreas Bauer, Jan Romberg, and Bernhard Schätz.
    Integrierte Entwicklung von Automotive-Software mit AutoFocus.
    (Integrated Development of Automotive Software using AutoFocus.)
    Proc. 34. GI Jahrestagung, 2. Workshop Automotive Software Engineering, volume 51 of LNI. Gesellschaft für Informatik, Sep. 2004.
    [pdf] [bibtex]

  3. Markus Pizka and Andreas Bauer.
    A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.
    Proc. 7th International Workshop on Principles of Software Evolution (IWPSE). IEEE, Sep. 2004.
    [bibtex]

  4. Jan Romberg and Andreas Bauer.
    Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs.
    Proc. 4th ACM International Conference on Embedded Software (EMSOFT). ACM, Sep. 2004.
    [pdf] [bibtex]

  5. Andreas Bauer.
    Creating a Portable Programming Language Using Open Source Software.
    Proc. USENIX Annual Technical Conference. USENIX, Jun. 2004.
    [pdf] [bibtex]

  6. Andreas Bauer and Jan Romberg.
    Model-Based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations.
    Proc. International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), TUCS Publications, no. 29. Turku Centre for CS, Jun. 2004.
    [pdf] [bibtex]

  7. Andreas Bauer and Andrea Müller.
    Mit Mailfilter gegen Spam.
    (Using Mailfilter against Spam.)
    EasyLinux, pp. 38-41, Apr. 2004.
    [html] [bibtex]

  8. Andreas Bauer and Markus Pizka.
    Tackling C++ Tail Calls.
    C/C++ Users Journal, 22(2):28-34, 2004.
    [html] [bibtex]

2003

  1. Andreas Bauer.
    GCC erweitern und effizient nutzen.
    (Extending and Efficient Use of GCC.)
    Linux Magazin, pp. 108-111, Nov. 2003.
    [html] [bibtex]

  2. Andreas Bauer and Markus Pizka.
    The Contribution of Free Software to Software Evolution.
    Proc. 6th International Workshop on Principles of Software Evolution (IWPSE). IEEE, 2003.
    [pdf] [bibtex]

  3. Andreas Bauer.
    Professionell präsentieren mit Linux.
    (Professional Presentations with Linux.)
    Linux User, pp. 34-37, May 2003.
    [html] [bibtex]

  4. Andreas Bauer.
    Compilation of Functional Programming Languages using GCC - Tail Calls.
    Master's thesis. TU Munich, 2003.
    [html] [pdf] [postscript] [bibtex]

2002

  1. Andreas Bauer.
    Text-Utilities in Unix-Manier.
    (Text Utilities the Unix Way.)
    Linux User, pp. 62-64, Oct. 2002.
    [html] [bibtex]

  2. Andreas Bauer.
    Open Source Database Systems.
    Linux Magazine UK, pp. 33-35, Feb. 2002.
    [pdf] [bibtex]

  3. Andreas Bauer.
    Projekte veröffentlichen auf SourceForge & Co.
    (Publishing Projects on SourceForge & Co.)
    Linux User, pp. 33-35, Feb. 2002.
    [html] [bibtex]

2001

  1. Andreas Bauer.
    Open Source Datenbanksysteme.
    (Open Source Database Systems.)
    Linux User, pp. 68-70, Dec. 2001.
    [html] [bibtex]

  2. Andreas Bauer.
    Mailbox zurück erobern.
    (Reconquer your Mailbox.)
    Linux User, pp. 108-111, Sep. 2001.
    [html] [bibtex]