Prasanna Thati, Grigore Rosu  Home/Search
Context Related
| uiuc.edu/~grosu/downloa...mtlmon.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: uiuc.edu/~grosu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Program execution traces can be so large in practical testing and monitoring applications that it would be very expensive, if not impossible, to store them for detailed analysis. Monitoring execution traces without storing them, can be a nontrivial matter for many specification formalisms, because complex formulae may require a considerable amount of information about the past. Metric temporal logic (MTL) is an extension of propositional linear temporal logic with discrete-time-bounded ... (Update)
Similar documents based on text: More All
0.2: Extensional Theories and Rewriting - Rosu (2004) (Correct)
0.2: An Overview of the Runtime Verification Tool Java PathExplorer - Havelund, Rosu (2003) (Correct)
0.1: Circular Coinductive Rewriting - Goguen, Lin, Rosu (2000) (Correct)
Related documents from co-citation: More All
2: Model checking a path - Markey, Schnoebelen - 2003
BibTeX entry: (Update)
P. Thati and G. Rou. Monitoring Algorithms for Metric Temporal Logic Speci cations. In K. Havelund and G. Rou, eds, Proc. 4th Intl Workshop on Runtime Veri cation (RV 2004. http://citeseer.ist.psu.edu/thati04monitoring.html More
@misc{ thati04monitoring,
author = "P. Thati and G. Rou",
title = "Monitoring Algorithms for Metric Temporal Logic Speci cations",
text = "P. Thati and G. Rou. Monitoring Algorithms for Metric Temporal Logic Speci
cations. In K. Havelund and G. Rou, eds, Proc. 4th Intl Workshop on Runtime
Veri cation (RV 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/thati04monitoring.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
175 Logics and models of real time: A survey - Alur, Henzinger - 1992
147 Real time logics: complexity and expressiveness - Alur, Henzinger - 1990
116 Synthesis of Communicating Processes from Temporal Logic Spe.. (context) - Wolper - 1982
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
61 Monitoring Java programs with Java PathExplorer - Havelund, Rosu - 2001
58 Model Checking of Safety Properties - Kupferman, Vardi - 1999
52 The Temporal Rover and the ATG Rover - Drusinsky - 2000
50 Refutational Theorem Proving using Term Rewriting Systems (context) - Hsiang - 1985
46 Synthesizing monitors for safety properties - Havelund, Rosu - 2002
36 Monitoring programs using rewriting - Havelund, Rosu - 2001
35 an and M. Y. Vardi. Freedom, Weakness, and Determinism: From.. (context) - Kupferm - 1998
13 Rule-based runtime verification - Barringer, Goldberg et al. - 2004
13 Checking finite traces using alternating automata - Finkbeiner, Sipma - 2001
11 the construction of monitors for temporal logic properties - Geilen - 2001
8 Runtime Verification (context) - Havelund, Rosu - 2001
8 Testing extended regular language membership incrementally b.. - Rosu, Viswanathan - 2003
6 Model checking a path - Markey, Schnoebelen - 2003
3 Program monitoring with LTL in Eagle (context) - Barringer, Goldberg et al. - 2004
2 Monitoring algorithms for metric temporal logic specificatio.. - Thati, Rosu - 2003
2 An improved on-the-fly tableau construction for a real-time .. - Geilen - 2003
Documents on the same site (http://gureni.cs.uiuc.edu/~grosu/publications.html): More
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (Correct)
Online Efficient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
Towards Certifying Domain-Specific Properties of Synthesized Code - Rosu, Whittle (2002) (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