LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

  title={LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
  author={Christian Colombo and Gordon J. Pace and Gerardo Schneider},
  journal={2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including timed-automata enriched with stopwatches, Lustre, and a subset of the duration calculus. The tool has been successfully used on a number of case… CONTINUE READING
Highly Cited
This paper has 156 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 86 extracted citations

Lectures on Runtime Verification

Lecture Notes in Computer Science • 2018
View 6 Excerpts
Highly Influenced

On piggyback runtime monitoring of object-oriented programs

International Journal on Software Tools for Technology Transfer • 2014
View 3 Excerpts
Highly Influenced

Runtime enforcement of timed properties revisited

Formal Methods in System Design • 2014
View 4 Excerpts
Highly Influenced

156 Citations

Citations per Year
Semantic Scholar estimates that this publication has 156 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

The Synchronous Data Flow Programming Language LUSTRE

View 7 Excerpts
Highly Influenced

Conspec: A formal language for policy specification

I. Aktug, K. Naliuka
FLACOS ’07, October 2007, pp. 107–109. • 2007

LOLA: runtime monitoring of synchronous systems

12th International Symposium on Temporal Representation and Reasoning (TIME'05) • 2005
View 2 Excerpts

Specifying and Deciding Quantified Discrete-time Duration Calculus formulae using DCVALID

P. Pandya
Proc. of RTTOOLS’01, 2001. • 2001
View 2 Excerpts

Similar Papers

Loading similar papers…