Research

(Topics: software engineering, formal methods, runtime verification, AI planning)

Publications

(see also Google Scholar and DBLP)

Journal articles

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

  2. 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]

  3. 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] [doi] [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]

  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]

  8. 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]

  9. 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]

  10. 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]

Conference and workshop articles

  1. 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]

  2. 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]

  3. 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]

  4. 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)

  5. 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]

  6. 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]

  7. 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]

  8. 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]

  9. 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]

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

  11. 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]

  12. 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]

  13. 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]

  14. 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]

  15. 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]

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

  17. 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]

  18. 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]

  19. 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] (Test of Time Award @ RV 2022)

  20. 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]

  21. 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]

  22. 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]

  23. 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]

  24. 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]

  25. 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]

  26. 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]

  27. 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]

  28. 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]

  29. 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]

  30. 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]

  31. 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]

  32. 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]

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

  34. 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]

  35. 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]

Monographs

  1. 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]

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

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

Articles in professional IT magazines and books

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

  2. 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]

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

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

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

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

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

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

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

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

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

Technical reports (not listed elsewhere or superseded by other publications)

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

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

  3. Andreas Bauer.
    Monitorability of ω-regular languages.
    arXiv:1006.3638. Jun. 2010.
    [html] [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. Oliver Arafat, Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Runtime verification revisited.
    Technical report TUM-I0518. TU Munich, Oct. 2005.
    [pdf] [postscript] [bibtex]

Selected presentations (some with slides)

  • Invited lectures, Winter School, European Master's and PhD Program on Computational Logic (EMCL/EPCL): Introduction to formal systems verification, Fakultät für Informatik, TU Dresden (12/2012) [some of the slides]
  • Invited talk: Runtime verification for the masses, Institut für Informatik, TU München (05/2012)
  • COMP4600: Advanced Algorithms (for verification), The Australian National University (2012) [slides]
  • Invited talk: An introduction to Android security, Canberra branch of the Australian Information Security Association (AISA) (08/2011)
  • Invited tutorial: The Theory and Practice of SALT, 3rd NASA Formal Methods Symposium (NFM'11), Pasadena, CA (04/2011)
  • Invited talk: Monitorability of ω-regular languages, Dagstuhl seminar 10451 on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (11/2010)
  • Invited talk: Runtime verification of LTL and TLTL, TU Dortmund/Fraunhofer Institute for Software & Systems Engineering (ISST) (04/2010)
  • Invited talk: Runtime verification of LTL and TLTL, Swinburne University of Technology, Melbourne (01/2010)
  • Invited lectures: Logic and Complexity Theory, Logic Summer School, The Australian National University (5 lectures, 12/2009) [slides]
  • Invited talk: Security protocols, properties, and their monitoring, Victoria University, Melbourne (05/2008) [slides]
  • Invited talk: Runtime reflection in a nutshell, Dagstuhl seminar 07011 on Runtime Verification (01/2007)
  • Invited talk: Modelling with a grain of SALT, Dagstuhl seminar 06351 on Methods for Modelling Software Systems (08/2006)
  • Invited talk: Runtime Reflection: An approach for the model-based runtime analysis of distributed reactive systems, University of Edinburgh, LFCS Seminar Series (06/2006)
  • Invited talk: Model-based deployment of automotive software, Center for Hybrid and Embedded Software Systems (CHESS) seminar series, University of California, Berkeley (06/2004)

Further research activities

PhD supervision

Honorary appointments

Professional events

  • RV'19: Runtime Verification, 19th International Conference on (PC member)
  • RV'18: Runtime Verification, 18th International Conference on (PC member)
  • RV'17: Runtime Verification, 17th International Conference on (PC member)
  • RV'16: Runtime Verification, 16th International Conference on (PC member)
  • RV'15: Runtime Verification, 15th International Conference on (PC member)
  • RV'13: Runtime Verification, 13th International Conference on (PC member)
  • WOSIS'13: Security in Information Systems, satellite of ICEIS'13 (PC member)
  • SESS'12: Software Engineering for Secure Systems, satellite of ESORICS'12 (PC member)
  • WOSIS'12: Security in Information Systems, satellite of ICEIS'12 (PC member)
  • DX'11: Principles of Diagnosis (PC member)
  • FMSPLE'11: Formal Methods and Analysis in Software Product Line Engineering, satellite of SPLC'11 (PC member)
  • VVPS'11: Verification and Validation for Planning and Scheduling Systems, satellite of ICAPS'11 (PC member)
  • WOSIS'11: Security in Information Systems, satellite of ICEIS'11 (PC member)
  • IJCAI'11: Artificial Intelligence, Twenty-second International Joint Conference on (PC member)
  • SESS'11: Software Engineering for Secure Systems, satellite of ICSE'11 (PC member)
  • SEES'10: Software Engineering for Embedded Systems, satellite of APSEC'10 (PC member)
  • FACS'10: Formal Aspects of Component Software (PC member)
  • DX'10: Principles of Diagnosis (PC member)
  • SESS'10: Software Engineering for Secure Systems, satellite of ICSE'10 (PC member)
  • ACVIT'09: Advances in Computer Vision and Information Technology, Second IEEE Conference on (PC member SE track)
  • ALICS'08: Applications of Logic in Computer Security, satellite of LPAR'08 (PC member)
Last updated: Fr 25. Nov 11:51:18 CET 2022