K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 418--427. IEEE Computer Society, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (1 citation) Self-citation (Sen Vardhan Agha Rosu) (Correct)
No context found.
SEN, K., VARDHAN, A., AGHA, G., , AND ROSU, G. 2004a. Efficient decentralized monitoring of safety in distributed systems. In Proceedings of 26th International Conference on Software Engineering (ICSE'04). IEEE, Edinburgh, UK, 418--427.
Decentralized Runtime Analysis of Multithreaded Applications - Sen, Vardhan, Agha, Rosu Self-citation (Sen Vardhan Agha Rosu) (Correct)
No context found.
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. IEEE, May 2004.
On Specifying and Monitoring Epistemic Properties of.. - Sen, Vardhan, Agha, Rosu (2004) Self-citation (Sen Vardhan Agha Rosu) (Correct)
No context found.
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) (To Appear).
A Temporal Logic Based Framework for Intrusion Detection - Naldurg, Sen, Thati (2004) Self-citation (Sen) (Correct)
No context found.
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.
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
No context found.
K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 418--427. IEEE Computer Society, 2004.
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