Runtime Reflection - Documentation

Runtime reflection is part of a research initiative and its background documented in several publications, some of which are listed below.

Papers:

• 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), Sydney, Australia, April 2006. IEEE Computer Society.
  [pdf] [postscript] [bibtex-entry]

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

• Andreas Bauer.
  Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles.
  In Proceedings of the 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR), volume 3524 of Lecture Notes in Computer Science, Prague, Czech Republic, pages 49-63, June 2005. Springer-Verlag.
  [doi] [bibtex-entry]