Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart  Home/Search
Context Related
| home.in.tum.de/~bauer...tumi0518.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: home.in.tum.de/~baueran/p...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we address a typical obstacle in runtime verification of linear temporal logic (LTL) formulae: standard models of linear temporal logic are infinite traces, whereas run-time verification has to deal with only finite system behaviours. This problem is usually addressed by defining an LTL semantics for finite traces, which, however, does usually not fit well to the infinite trace semantics. We define a 3-valued semantics (true, false, inconclusive) for LTL on finite traces that... (Update)
Cited by: More
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
Active bibliography (related documents): More All
0.5: Unknown - (Correct)
0.3: Efficient Trace Monitoring - Avgustinov, Tibble, Bodden, Lhotak.. (2006) (Correct)
0.3: Adding Trace Matching with Free Variables to AspectJ - Chris Allan Pavel (2005) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
O. Arafat, A. Bauer, M. Leucker, and C. Schallhart. Runtime verification revisited. Technical Report TUM-I0518, Technische Universitat Munchen, 2005. http://citeseer.ist.psu.edu/arafat05runtime.html More
@techreport{ tum-i0518,
author = "Oliver Arafat and Andreas Bauer and Martin Leucker
and Christian Schallhart",
year = 2005,
title = "Runtime verification revisited",
number = "TUM-I0518",
month = Oct,
institution = {Institut f\"ur Informatik, Technische Universit\"at
M\"unchen},
url = {citeseer.ist.psu.edu/arafat05runtime.html} }
Citations (may not include all citations):539 The temporal logic of programs (context) - Pnueli - 1977
268 A theory of timed automata - Alur, Dill - 1994
93 UPPAAL: a tool suite for the automatic verification of real-.. - Bengtsson, Larsen et al. - 1996
73 Timed automata - Alur - 1998
61 Monitoring Java Programs with Java PathExplorer - Havelund, Rosu - 2001
46 Synthesizing Monitors for Safety Properties - Havelund, Rosu - 2002
36 Monitoring programs using rewriting - Havelund, Rosu - 2001
33 Event-clock automata: A determinizable class of timed automa.. - Alur, Fix et al. - 1999
27 State clock logic: A decidable real-time logic - Raskin, Schobbens - 1997
7 Constructing Buchi automata from linear temporal logic using.. (context) - Fritz - 2003
4 Reasoning with temporal logic on truncated paths - Eisner, Fisman et al. - 2003
4 The logic of event clocks - decidability (context) - Raskin, Schobbens - 1999
3 Temporal Assertions using AspectJ - Stolz, Bodden - 2005
2 A logical characterisation of event clock automata (context) - D'Souza - 2003
2 Runtime analysis of linear temporal logic specifications (context) - Giannakopoulou, Havelund - 2001
1 Monitoring temporal properties of continuous signals (context) - Maler, Nickovic - 2004
1 Generating online test oracles from temporal logic specifica.. (context) - Hakansson, Jonsson et al. - 2003
1 Model-based Testing of Reactive Systems (context) - Broy, Jonsson et al. - 2005
1 Run-Time Verification (context) - Colin, Mariani - 2005
http://www.parashift.com/c++-faq-lite/
Documents on the same site (http://home.in.tum.de/~baueran/publications/index.html): More
Model-based Deployment: From a High-Level View to Low-Level.. - Bauer, Romberg (2004) (Correct)
The Contribution of Free Software to Software Evolution - Andreas Bauer Markus (2003) (Correct)
Loose Synchronization of Event-Triggered Networks for.. - Romberg, Bauer (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC