Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu  Home/Search
Context Related
| uiuc.edu/~grosu/downloa...distmon.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) Homepages: G.Rosu |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a variant of past time linear temporal logic, called PT-DTL, suitable for expressing temporal properties of distributed systems. The formulae in this logic are given with respect to a particular process and are interpreted over a trace of global states that the process is aware of. In a formula, a process can refer to other processes' local states through remote expressions and remote formulae. We describe an efficient decentralized monitoring algorithm that checks whether a ... (Update)
Similar documents based on text: More All
0.8: On Specifying and Monitoring Epistemic Properties of.. - Sen, Vardhan, Agha, Rosu (2004) (Correct)
0.8: Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (Correct)
0.4: Runtime Safety Analysis of Multithreaded Programs - Koushik Sen Ksen (2003) (Correct)
BibTeX entry: (Update)
K. Sen, A. Vardhan, G. Agha, , and G. Rosu. Efficient decentralized monitoring of safety in distributed systems. In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418--427, Edinburgh, UK, May 2004. IEEE. http://citeseer.ist.psu.edu/article/sen04efficient.html More
@inproceedings{ sen04efficient,
author = "K. Sen and A. Vardhan and G. Agha and G. Rosu",
title = "Efficient decentralized monitoring of safety in distributed systems",
booktitle = "Proceedings of 26th International Conference on Software
Engineering (ICSE'04), Edinburgh, UK",
pages = "418--427",
publisher = "IEEE",
month = may,
year = "2004",
url = "citeseer.ist.psu.edu/article/sen04efficient.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
352 Virtual time and global states of distributed systems - Mattern - 1989
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
150 Introduction to Distributed Algorithms (context) - Tel - 2000
107 A foundation for actor computation - Agha, Mason et al. - 1997
73 Agreeing to disagree (context) - Aumann - 1976
72 Partial orders for parallel debugging (context) - Fidge - 1988
47 Runtime assurance based on formal specifications - Lee, Kannan et al. - 1999
46 Synthesizing monitors for safety properties - Havelund, Rosu - 2002
35 An expressively complete linear time temporal logic for Mazu.. - Thiagarajan, Walukiewicz - 1997
28 Model checking of causality properties - Alur, Peled et al. - 1995
25 Local knowledge assertions in a changing world (context) - Ramanujam - 1996
24 Runtime safety analysis of multithreaded programs - Sen, Rosu et al. - 2003
21 Java pathexplorer -- A runtime verification tool - Havelund, Rosu - 2001
[Article contains additional citations not shown here]
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