The Temporal Rover and the ATG Rover

By D. Drusinsky. SPIN, 2000

321 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/b71160b103ed6a00f09563d01037fcfdc5222d86

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Grigore Roşu
2. Oded Maler
3. Koushik Sen
4. Willem Visser
5. Klaus Havelund
6. Dejan Nickovic
7. Sriram Sankaranarayanan
8. Ben D'Angelo

In Hardware and Architecture

1. Grigore Roşu
2. Oded Maler
3. Sriram Sankaranarayanan
4. Ben D'Angelo
5. Willem Visser
6. Allen Goldberg
7. Koushik Sen
8. César Sánchez

In Software

1. Grigore Roşu
2. Koushik Sen
3. Oded Maler
4. Klaus Havelund
5. Willem Visser
6. Dejan Nickovic
7. Sriram Sankaranarayanan
8. Allen Goldberg

Citations in the corpus

• Monitoring Java Programs with Java PathExplorer (2001, methodology): “The idea of using temporal logic in program testing is not new, and at our knowledge, has already been pursued in the commercial Temporal Rover tool (TR) [4], and in the MaC tool [13] .”
• LOLA: runtime monitoring of synchronous systems (2005, methodology): “LTL based specifications have already been pursued in tools such as the Temporal Rover [7] and Java PathExplorer [11].”
• Synthesizing Monitors for Safety Properties (2002, methodology): “Moreover, one can even throw exceptions when a safety property is violated, like in Temporal Rover [4], so the running program has the possibility to recover from an erroneous execution or to guide its execution in order to avoid undesired behaviors.”
• Model checking programs (2000, methodology): “Note that runtime analysis is different from runtime monitoring, as supported in systems such as Temporal Rover ( Drusinsky, 2000 ) and MaC (Lee et al., 1999), where certain user-specified properties are monitored during execution.”
• Rule-Based Runtime Verification (2004, methodology): “The commercial tool Temporal Rover (TR) [4, 5] supports a fixed future and past time LTL, w ith the possibility of specifying real-time and data constraints (time-series) as annotations on the temporal ope rators.”
• Monitoring Temporal Properties of Continuous Signals (2004, methodology): “Temporal logic has been used as the specification language in a number of monitoring tools, including Temporal Rover (TR) [Dru00], FoCs [ABG00], Java PathExplorer (JPaX) [HR01] and MaCS [KLS02].”