| Alternate document: Details Monitoring Programs using Rewriting (01) Klaus Havelund, Grigore Rosu |
Klaus Havelund, Grigore Rosu  Home/Search
Context Related
| nasa.gov/grosu/download/rv01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/grosu/articles (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present recent work on the development of Java PathExplorer (JPaX), a tool for monitoring the execution of Java programs. JPaX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's byte code, which will then emit events to an observer during its execution. The observer checks the events against user... (Update)
Cited by: More
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
Runtime Verification Revisited - Arafat, Bauer, Leucker, Schallhart (2005) (Correct)
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
Similar documents (at the sentence level):
33.1%: Specification and Error Pattern Based Program Monitoring - Havelund, Johnson, Rosu (2001) (Correct)
9.1%: Java PathExplorer - A Runtime Verification Tool - Havelund, Rosu (2001) (Correct)
7.0%: An Overview of the Runtime Verification Tool Java PathExplorer - Havelund, Rosu (2003) (Correct)
Active bibliography (related documents): More All
0.6: Synthesizing Monitors for Safety Properties - Havelund, Rosu (2002) (Correct)
0.3: Implementing an Efficient Theorem Prover - Riazanov (2003) (Correct)
0.2: Testing Linear Temporal Logic Formulae on Finite Execution Traces - Havelund, Rosu (2001) (Correct)
Similar documents based on text: More All
0.9: Synthesizing Dynamic Programming Algorithms from Linear.. - Rosu, Havelund (2001) (Correct)
0.5: What Went Wrong: Explaining Counterexamples - Groce, Visser (2002) (Correct)
0.5: A Total Approach to Partial Algebraic Specification - Meseguer, Rosu (2002) (Correct)
Related documents from co-citation: More All
28: Model checking programs - Visser, Havelund et al. - 2000
28: The Temporal Rover and the ATG Rover - Drusinsky - 2000
25: Monitoring Programs using Rewriting - Havelund, Ro - 2001
BibTeX entry: (Update)
Klaus Havelund and Grigore Rosu. Monitoring Java programs with Java PathExplorer. In Proceedings First Workshop on Runtime Verification, RV'01, Paris, France, July 23, http://citeseer.ist.psu.edu/havelund01monitoring.html More
@misc{ havelund-monitoring,
author = "K. Havelund and G. Rosu",
title = "Monitoring Java programs with Java PathExplorer",
text = "In Proceedings First Workshop on Runtime Verification, RV'01, Paris, France,
July 23,",
url = "citeseer.ist.psu.edu/havelund01monitoring.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
539 The temporal logic of programs (context) - Pnueli - 1977
140 Eraser: A Dynamic Data Race Detector for Multithreaded Progr.. - Savage, Burrows et al. - 1997
140 Model Checking Java Programs using Java PathFinder - Havelund, Pressburger
53 Formal Analysis of a Space Craft Controller using SPIN - Havelund, Lowry et al. - 1998
52 The Temporal Rover and the ATG Rover - Drusinsky - 2000
50 Refutational Theorem Proving using Term Rewriting Systems (context) - Hsiang - 1981
46 Model Checking Programs - Visser, Havelund et al.
38 Generating Statechart Designs From Scenarios - Whittle, Schumann
23 Using Runtime Analysis to Guide Model Checking of Java Progr.. - Havelund - 2000
22 Runtime Checking of Multithreaded Applications with Visual T.. - Harrow - 2000
12 The Maude system - Clavel, Dur et al. - 1999
12 Testing Linear Temporal Logic Formulae on Finite Execution T.. - Havelund, Ro - 2000
9 Runtime Assurance Based on Formal Specications (context) - Lee, Kannan et al. - 1999
5 A Runtime Verication Tool (context) - Havelund, Ro et al. - 2001
4 Synthesizing Dynamic Programming Algorithms from Linear Temp.. - Ro, Havelund - 2001
3 Amphion: Automatic Programming for the NAIF Toolkit (context) - Lowry, Philpot et al. - 1994
2 The AutoBayes Program Synthesis System - System Description - Fischer, Pressburger et al.
http://www.compaq.com/java/download/jtrek
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ase.arc.nasa.gov/grosu/articles.html): More
An Overview of the Tatami Project - Goguen, Lin, Rosu, Mori, Warinschi (2000) (Correct)
Complete Categorical Equational Deduction - Rosu (2001) (Correct)
Axiomatizability in Inclusive Equational Logic - Rosu (Correct)
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