Monitoring of real-time properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4337 LNCS, Issue , 2006, Pages 260-272

  Bauer, Andreas ^a   Leucker, Martin ^a   Schallhart, Christian ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

3-VALUED SEMANTICS; LINEAR TEMPORAL LOGIC; NATURAL EXTENSION; REAL-TIME PROPERTIES; RUN-TIME VERIFICATION; RUNTIME MONITORS; STANDARD MODEL; TRACE SEMANTICS;

TEMPORAL LOGIC;

EID: 85016422463     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11944836_25     Document Type: Conference Paper

References (26)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles and Techniques and Tools. Addison-Wesley, 1986.
2. R. Alur. Timed automata. In NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems, 1998.
3. R. Alur and D. L. Dill. A theory of timed automata. TCS, 126(2):183–235, 1994.
4. R. Alur, L. Fix, and T. A. Henzinger. Event-clock automata: A determinizable class of timed automata. TCS, 211(1-2):253–273, 1999.
5. A. Bauer, M. Leucker, and C. Schallhart. Model-based runtime analysis of distributed reactive systems. In ASWEC’06. IEEE, 2006.
6. P. Bouyer, F. Chevalier, and D. D’Souza. Fault diagnosis using timed automata. In FoSSaCS, LNCS 3441. Springer, 2005.
7. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, editors. Model-based Testing of Reactive Systems, LNCS 3472. Springer, 2005.
8. M. Chechik, B. Devereux, and A. Gurfinkel. Model-checking infinite state-space systems with fine-grained abstractions using spin. In SPIN’01, LNCS 2057.
9. S. Colin and L. Mariani. Run-Time Verification, chapter 18. LNCS 3472. [7], 2005.
10. M. d’Amorim and G. Rosu. Efficient monitoring of omega-languages. In CAV’05, LNCS 3576. Springer, 2005.
11. D. D’Souza. A logical characterisation of event clock automata. Int. Journ. Found. Comp. Sci., 14(4):625–639, Aug. 2003.
12. C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac, and D. V. Campenhout. Reasoning with temporal logic on truncated paths. In CAV’03, LNCS 2725.
13. D. Giannakopoulou and K. Havelund. Automata-Based Verification of Temporal Properties on Running Programs. In ASE’01, IEEE, 2001.
14. J. Håkansson, B. Jonsson, and O. Lundqvist. Generating online test oracles from temporal logic specifications. STTT, 4(4):456–471, 2003.
15. K. Havelund and G. Rosu. Monitoring Java Programs with Java PathExplorer. ENTCS, 55(2), 2001.
16. K. Havelund and G. Rosu. Monitoring programs using rewriting. In ASE’01, IEEE, 2001.
17. K. Havelund and G. Rosu. Synthesizing Monitors for Safety Properties. In TACAS’02, 2002.
18. O. Kupferman and M. Y. Vardi. Model checking of safety properties. FMSD, 19(3):291–314, 2001.
19. O. Maler and D. Nickovic. Monitoring temporal properties of continuous signals. In FOR-MATS/FTRTFT, LNCS 3253. Springer, 2004.
20. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77). IEEE, 1977.
21. J.-F. Raskin and P.-Y. Schobbens. State clock logic: A decidable real-time logic. In O. Maler, editor, HART, LNCS 1201. Springer, 1997.
22. J.-F. Raskin and P.-Y. Schobbens. The logic of event clocks—decidability, complexity and expressiveness. JALC, 4(3):247–286, 1999.
23. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In Fifth Workshop on Runtime Verification (RV’05). ENTCS. to appear.
24. S. Tripakis. Fault diagnosis for timed automata. In W. Damm and E.-R. Olderog, editors, FTRTFT, LNCS 2469. Springer, 2002.
25. S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisimulations. FMSD, 18(1):25–68, 2001.
26. M. Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic, LNCS 1043. Springer, 1996.