Monitoring temporal rules combined with time series

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

Volumn 2725, Issue , 2003, Pages 114-117

  Drusinsky, Doron ^a,b  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

^b Time Rover Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER CIRCUITS; MODEL CHECKING; RECONFIGURABLE HARDWARE; TIME SERIES;

DATA VALUES; IN-PROCESS; LINEAR TIME TEMPORAL LOGIC; MODEL-CHECKING TECHNIQUES; MONOTONICITY; RUNTIME MONITORING; TEMPORAL PROPERTY; TEMPORAL RULES;

TEMPORAL LOGIC;

EID: 21144432655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_11     Document Type: Article

References (7)

1. E. Chang, A. Pnueli, Z. Manna - Compositional Verification of Real-Time Systems, Proc. 9th IEEE Symp. On Logic In Computer Science, 1994, pp. 458-465.
2. D. Drusinsky - The Temporal Raver and ATG Raver. Proc. Spin2000 Workshop, Springer Lecture Notes in Computer Science, 1885, pp. 323-329.
3. D. Drusinsky - Formal Specs Can Handle Exceptions, CMP Embedded Developers Journal, Nov. 2001, pp., 10-14.
4. D. Drusinsky, On-line Efficient Monitoring of Metric Temporal Logic Specifications using Alternating Automata, submitted for publication.
5. D. Drusinsky and J. Fobes - Real-time,On-line,Low Impact, Temporal Pattern Matching, 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando FL, 2003; accepted for publication.
6. th IEEE Symp. on Foundations of Computer Science, pp. 46-57, 1977.
7. A. P. Sistla and O. Wolfson - Temporal Conditions and Integrity Constraints in Active Database Systems, Proceedings of the ACM-SIGMOD 1995, International Conference on Management of Data, San Jose, CA, May 1995.