@InProceedings{	  basin.ea:runtime:2008-b,
  abstract	= {We introduce a novel approach to the runtime monitoring of
		  complex system properties. In particular, we present an
		  online algorithm for a safety fragment of metric
		  first-order temporal logic that is considerably more
		  expressive than the logics supported by prior monitoring
		  methods. Our approach, based on automatic structures,
		  allows the unrestricted use of negation, universal and
		  existential quantification over infinite domains, and the
		  arbitrary nesting of both past and bounded future
		  operators. Moreover, we show how to optimize our approach
		  for the common case where structures consist of only finite
		  relations, over possibly infinite domains. Under an
		  additional restriction, we prove that the space consumed by
		  our monitor is polynomially bounded by the cardinality of
		  the data appearing in the processed prefix of the temporal
		  structure being monitored.},
  address	= {Dagstuhl, Germany},
  author	= {David Basin and Felix Klaedtke and Samuel M{\"u}ller and
		  Birgit Pfitzmann},
  booktitle	= {Proceedings of the 28th IARCS Annual Conference on
		  Foundations of Software Technology and Theoretical Computer
		  Science (FSTTCS 2008)},
  editor	= {Ramesh Hariharan and Madhavan Mukund and V Vinay},
  language	= {USenglish},
  publisher	= {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
		  Germany},
  title		= {Runtime Monitoring of Metric First-order Temporal
		  Properties},
  url		= {http://drops.dagstuhl.de/opus/volltexte/2008/1740},
  year		= 2008
}