Publications of Andreas Bauer

Monographs

1. 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, Saarbrücken, 2008.
   [order online] [bibtex-entry]

Articles in journal or book chapters

1. Andreas Bauer, Martin Leucker, and Christian Schallhart.
   Runtime Verification for LTL and TLTL.
   ACM Transactions on Software Engineering and Methodology.
   Notes: Accepted for publication.

2. 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. © Copyright Springer-Verlag.
   [pdf] Notes: Accepted for publication.

3. Andreas Bauer and Jan Jürjens.
   Runtime Verification of Cryptographic Protocols.
   International Journal on Computers & Security, 2009.
   Notes: In print. Available online via ScienceDirect.

4. Andreas Bauer, Martin Leucker, and Christian Schallhart.
   Comparing LTL semantics for runtime verification.
   Journal of Logic and Computation, 2009.
   Notes: In print. Available online via Oxford Journals Advance Access.

5. Andreas Bauer and Sophie Pinchinat.
   Prognosis of ω-languages for the Diagnosis of *-languages: A Topological Perspective.
   International Journal on Discrete Event Dynamic Systems, 19(4):451-470, 2009. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

6. 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. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

7. 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. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

8. Andreas Bauer and Markus Pizka.
   Der Beitrag freier Software zur Software-Evolution.
   (The Contribution of Free Software to Software Evolution.)
   In B. Lutterbeck and R. Gehring, editors, Open Source Jahrbuch 2005, pages 87-104. Lehmanns Media, Berlin, 2005.
   [pdf] [bibtex-entry]

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

Conference articles

1. Franz Baader, Andreas Bauer, and Marcel Lippmann.
   Runtime Verification Using a Temporal Description Logic.
   In S. Ghilardi and R. Sebastiani, editors, Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS), volume 5749 of Lecture Notes in Computer Science, pages 149-164. Springer-Verlag, Berlin, Heidelberg, September 2009. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

2. Andreas Bauer, Rajeev Goré, and Alwen Tiu.
   A first-order policy language for history-based transaction monitoring.
   In M. Leucker and C. Morgan, editors, Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (ICTAC), volume 5684 of Lecture Notes in Computer Science, pages 96-111. Springer-Verlag, Berlin, Heidelberg, August 2009. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

3. 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.
   In M. Giese and A. Waaler, editors, Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), volume 5607 of Lecture Notes in Computer Science, pages 77-92. Springer-Verlag, Berlin, Heidelberg, July 2009. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

4. Franz Baader, Andreas Bauer, and Alwen Tiu.
   Matching trace patterns with regular policies.
   In A. Horia Dediu, A.-M. Ionescu, and C. Martín-Vide, editors, Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA), volume 5457 of Lecture Notes in Computer Science, pages 105-116. Springer-Verlag, Berlin, Heidelberg, April 2009. © Copyright Springer-Verlag.
   [pdf] [bibtex-entry]

5. Jan Jürjens, Yijun Yu, and Andreas Bauer.
   Tools for Traceable Security Verification.
   In E. Gelenbe, S. Abramsky, and V. Sassone, editors, Proceedings of the BCS International Academic Conference 2008 - Visions of Computer Science, pages 367-378. The British Computer Society, Swindon, September 2008.
   [pdf] [bibtex-entry]

6. Andreas Bauer and Sophie Pinchinat.
   A Topological Perspective on Diagnosis.
   In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES), pages 218-224. IEEE Computer Society, Los Alamitos, CA, May 2008.
   [pdf] [bibtex-entry]

7. Andreas Bauer and Jan Jürjens.
   Security protocols, properties, and their monitoring.
   In B. D. Win, S.-W. Lee, and M. Monga, editors, Proceedings of the 4th International Workshop on Software Engineering for Secure Systems (SESS), pages 33-40. ACM Press, New York, NY, May 2008.
   [pdf] [bibtex-entry]

8. Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig.
   Don't care in SMT - Building flexible yet efficient abstraction/refinement solvers.
   In Y. Ait-Ameur, F. Boniol, and V. Wiels, editors, Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume RNTI-SM1 of Revue des Nouvelles Technologies de l'Information (RNTI), pages 135-146. Cépaduès-Éditions, Toulouse, December 2007.
   [pdf] [postscript] [bibtex-entry]

9. Andreas Bauer, Martin Leucker, and Christian Schallhart.
   The good, the bad, and the ugly, but how ugly is ugly?
   In O. Sokolsky and S. Tasiran, editors, Proceedings of the 7th International Workshop on Runtime Verification (RV), volume 4839 of Lecture Notes in Computer Science, pages 126-138. Springer-Verlag, Berlin, Heidelberg, November 2007. © Copyright Springer-Verlag.
   [pdf] [postscript] [bibtex-entry]

10. Christian Kühnel, Andreas Bauer, and Michael Tautschnig.
    Compatibility and reuse in component-based systems via type and unit inference.
    In Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pages 101-108. IEEE Computer Society, Los Alamitos, CA, August 2007.
    [pdf] [bibtex-entry]

11. Andreas Bauer, Markus Pister, and Michael Tautschnig.
    Tool-support for the analysis of hybrid systems and models.
    In R. Lauwereins and J. Madsen, editors, Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE), pages 924-929. ACM Press, New York, NY, April 2007.
    [pdf] [postscript] [bibtex-entry]

12. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Monitoring of real-time properties.
    In S. Arun-Kumar and N. Garg, editors, Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4337 of Lecture Notes in Computer Science, pages 261-273. Springer-Verlag, Berlin, Heidelberg, December 2006. © Copyright Springer-Verlag.
    [pdf] [postscript] [bibtex-entry]

13. Andreas Bauer, Martin Leucker, and Jonathan Streit.
    SALT - Structured Assertion Language for Temporal Logic.
    In Z. Liu and J. He, editors, Proceedings of the Eighth International Conference on Formal Engineering Methods (ICFEM), volume 4260 of Lecture Notes in Computer Science, pages 757-776. Springer-Verlag, Berlin, Heidelberg, October 2006. © Copyright Springer-Verlag.
    [pdf] [postscript] [bibtex-entry]

14. Andreas Bauer, Martin Leucker, and Christian Schallhart.
    Model-based runtime analysis of distributed reactive systems.
    In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC), pages 243-252. IEEE Computer Society, Los Alamitos, CA, April 2006.
    [pdf] [postscript] [bibtex-entry]

15. 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.
    In Proceedings of the 3rd European Congress on Embedded Real Time Software (ERTS). Société des Ingénieurs de l'Automobile, Toulouse, January 2006.
    [bibtex-entry]

16. Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Pierre Mai, and Dirk Ziegenbein.
    Incremental Development for Automotive Software in AutoMoDe.
    In O. Niggemann and H. Giese, editors, Proceedings of the 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER3), volume 191 of HNI - Verlagsschriftenreihe. Heinz-Nixdorf Institut, Paderborn, October 2005.
    [pdf] [bibtex-entry]

17. Andreas Bauer.
    Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles.
    In R. Barták and M. Milano, editors, Proceedings of the 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), volume 3524 of Lecture Notes in Computer Science, pages 49-63. Springer-Verlag, Berlin, Heidelberg, June 2005. © Copyright Springer-Verlag.
    [pdf] [postscript] [bibtex-entry]

18. 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.
    In Proceedings of the SAE 2005 World Congress, volume 1921 of SAE Special Publications, pages 21-28. Society of Automotive Engineers, Detroit, MI, April 2005.
    [pdf] [bibtex-entry]

19. Dirk Ziegenbein, Ulrich Freund, Peter Braun, Robert Sandner, Andreas Bauer, Jan Romberg, and Bernhard Schätz.
    AutoMoDe - Model-Based Development of Automotive Software.
    In Proceedings of the 2005 Conference on Design, Automation and Test in Europe (DATE), pages 171-177. IEEE Computer Society, Los Alamitos, CA, March 2005.
    [bibtex-entry]

20. Andreas Bauer, Jan Romberg, and Bernhard Schätz.
    Integrierte Entwicklung von Automotive-Software mit AutoFocus.
    (Integrated Development of Automotive Software using AutoFocus.)
    In P. Dadam and M. Reichert, editors, Proceedings of the 34. GI Jahrestagung, 2. Workshop Automotive Software Engineering, volume 51 of Lecture Notes in Informatics, pages 13-17. Gesellschaft für Informatik, Bonn, September 2004.
    [pdf] [bibtex-entry]

21. Markus Pizka and Andreas Bauer.
    A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.
    In Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE), pages 131-136. IEEE Computer Society, Los Alamitos, CA, September 2004.
    [bibtex-entry]

22. Jan Romberg and Andreas Bauer.
    Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs.
    In G. Buttazzo, editor, Proceedings of the 4th ACM International Conference on Embedded Software (EMSOFT), pages 193-202. ACM Press, New York, NY, September 2004.
    [pdf] [bibtex-entry]

23. Andreas Bauer.
    Creating a Portable Programming Language Using Open Source Software.
    In Proceedings of the USENIX Annual Technical Conference, FREENIX technical sessions, pages 103-113. USENIX Association, Boston, MA, June 2004.
    [pdf] [bibtex-entry]

24. Andreas Bauer and Jan Romberg.
    Model-Based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations.
    In J. Fernandes, J. Lilius, R. Machado, and I. Porres, editors, Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), TUCS General Publications, no. 29, pages 93-106. Turku Centre for Computer Science, Turku, June 2004.
    [pdf] [bibtex-entry]

25. Andreas Bauer and Markus Pizka.
    The Contribution of Free Software to Software Evolution.
    In Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE), pages 170-183. IEEE Computer Society, Los Alamitos, CA, September 2003.
    [pdf] [bibtex-entry]

Theses

1. Andreas Bauer.
   Model-based runtime analysis of distributed reactive systems.
   PhD thesis, Institut für Informatik, Technische Universität München, 2007.
   (Supervisors: 1. Manfred Broy, Technische Universität München, Germany; 2. Perdita Stevens, University of Edinburgh, UK.)
   [html] [pdf] [postscript] [bibtex-entry]

2. Andreas Bauer.
   Compilation of Functional Programming Languages using GCC - Tail Calls.
   Master's thesis, Institut für Informatik, Technische Universität München, 2003.
   [html] [pdf] [postscript] [bibtex-entry]

Technical reports

1. Andreas Bauer, Rajeev Goré, and Alwen Tiu.
   A decidable policy language for history-based transaction monitoring.
   Computing Research Repository (CoRR) abs/0903.2904. Association for Computing Machinery (ACM), March 2009.
   [html] [bibtex-entry]

2. Franz Baader, Andreas Bauer, and Alwen Tiu.
   Matching linear and non-linear trace patterns with regular policies.
   In M. Marin, editor, Proceedings of the 22nd International Workshop on Unification (UNIF), RISC-Linz Report Series, no. 08-11, pages 16-24. Research Institute for Symbolic Computation, Johannes Kepler University, Linz, July 2008.
   [pdf] [bibtex-entry]

3. Andreas Bauer, Martin Leucker, and Christian Schallhart.
   The good, the bad, and the ugly - but how ugly is ugly?
   Technical Report TUM-I0803, Institut für Informatik, Technische Universität München, February 2008.
   [pdf] [postscript] [bibtex-entry]

4. Andreas Bauer, Martin Leucker, and Christian Schallhart.
   Runtime Verification for LTL and TLTL.
   Technical report TUM-I0724, Institut für Informatik, Technische Universität München, December 2007.
   [pdf] [postscript] [bibtex-entry]

5. Dirk Ziegenbein, Ulrich Freund, Peter Braun, Robert Sandner, Andreas Bauer, Jan Romberg, and Bernhard Schätz.
   AutoMoDe - Model-Based Development of Automotive Software.
   Computing Research Repository (CoRR) abs/0710.4829. Association for Computing Machinery (ACM), October 2007.
   [html] [bibtex-entry]

6. 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, Institut für Informatik, Technische Universität München, September 2007.
   [pdf] [postscript] [bibtex-entry]

7. Christian Kühnel, Andreas Bauer, and Michael Tautschnig.
   Compatibility and reuse in component-based systems via type and unit inference.
   Technical report TUM-I0716, Institut für Informatik, Technische Universität München, May 2007.
   [pdf] [postscript] [bibtex-entry]

8. Andreas Bauer, Martin Leucker, and Jonathan Streit.
   SALT - Structured Assertion Language for Temporal Logic.
   Technical report TUM-I0604, Institut für Informatik, Technische Universität München, March 2006.
   [pdf] [postscript] [bibtex-entry]

9. Oliver Arafat, Andreas Bauer, Martin Leucker, and Christian Schallhart.
   Runtime verification revisited.
   Technical report TUM-I0518, Institut für Informatik, Technische Universität München, October 2005.
   [pdf] [postscript] [bibtex-entry]

10. Andreas Bauer and Jan Romberg.
    Model-based Deployment: From a High-Level View to Low-Level Implementations.
    Technical report TUM-I0406, Institut für Informatik, Technische Universität München, May 2004.
    [pdf] [bibtex-entry]

Articles in magazines

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

2. Andreas Bauer and Andrea Müller.
   Mit Mailfilter gegen Spam.
   (Using Mailfilter against Spam.)
   EasyLinux, pages 38-41, April 2004.
   [html] [bibtex-entry]

3. Andreas Bauer.
   GCC erweitern und effizient nutzen.
   (Extending and Efficient Use of GCC.)
   Linux Magazin, pages 108-111, November 2003.
   [html] [bibtex-entry]

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

5. Andreas Bauer.
   Text-Utilities in Unix-Manier.
   (Text Utilities the Unix Way.)
   Linux User, pages 62-64, October 2002.
   [html] [bibtex-entry]

6. Andreas Bauer.
   Open Source Database Systems.
   Linux Magazine UK, pages 33-35, February 2002.
   [pdf] [bibtex-entry]

7. Andreas Bauer.
   Projekte veröffentlichen auf SourceForge & Co.
   (Publishing Projects on SourceForge & Co.)
   Linux User, pages 33-35, February 2002.
   [html] [bibtex-entry]

8. Andreas Bauer.
   Open Source Datenbanksysteme.
   (Open Source Database Systems.)
   Linux User, pages 68-70, December 2001.
   [html] [bibtex-entry]

9. Andreas Bauer.
   Mailbox zurück erobern.
   (Reconquer your Mailbox.)
   Linux User, pages 108-111, September 2001.
   [html] [bibtex-entry]

Andreas Bauer, <baueran@rsise.anu.edu.au> Last modified: Sat Apr 4 11:31:36 2009