Jonathan E. Cook, Alexander L. Wolf  Home/Search
Context Related
| nmsu.edu/~jcook/papers/TR9808.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: nmsu.edu/~jcook/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. While there are many techniques to specify intended concurrent behavior, there are few, if any, techniques to capture and model actual concurrent behavior. This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of... (Update)
Cited by: More
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (Correct)
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (Correct)
Mining Constrained Graphs: The Case of Workflow Systems - Greco, Guzzo, Manco.. (Correct)
Similar documents (at the sentence level): More
78.8%: Event-Based Detection of Concurrency - Jonathan Cook Alexander (1998) (Correct)
44.9%: Discovering Models of Behavior for Concurrent Systems - Cook, Du, Liu, Wolf (2002) (Correct)
33.8%: Discovering Models of Behavior for Concurrent Workflows - Cook, Du, Liu, Wolf (2004) (Correct)
Active bibliography (related documents): More All
0.2: Balboa: A Framework for Event-Based Process Data Analysis - Cook, Wolf (1996) (Correct)
0.2: Software Process Validation: Quantitatively Measuring the.. - Cook, Wolf (1996) (Correct)
0.2: Process Discovery and Validation through Event-Data Analysis - Cook (1996) (Correct)
Similar documents based on text: More All
0.3: Reliable Upgrading of Unix Shared Libraries through.. - Cook, Vedagiri (2002) (Correct)
0.3: Supporting Quick and Dirty CORBA Introspection and Manipulation - Cook, Al-Gahmi (2002) (Correct)
0.1: Assertions for the Tcl Language - Cook (1997) (Correct)
Related documents from co-citation: More All
23: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
21: Discovering Models of Software Processes from Event-Based Data - Cook, Wolf - 1998
11: An overview of the Extended Static Checking system - Detlefs - 1996
BibTeX entry: (Update)
J. E. Cook and A. L. Wolf. Event-based detection of concurrency. In FSE, Orlando, FL, Nov. 1998. http://citeseer.ist.psu.edu/article/cook98eventbased.html More
@inproceedings{ cookeventbased,
author = "Jonathan E. Cook and Alexander L. Wolf",
title = "Event-Based Detection of Concurrency",
pages = "35--45",
url = "citeseer.ist.psu.edu/article/cook98eventbased.html" }
Citations (may not include all citations):1174 Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
111 Probability and Statistics for Engineering and the Sciences (context) - Devore - 1991
98 Petri Nets (context) - Peterson - 1977
71 Automated Analysis of Concurrent Systems with the Constraine.. - Avrunin, Buy et al. - 1991
44 Discovering Models of Software Processes from Event-Based Da.. - Cook, Wolf - 1998
37 Event-Driven Monitoring of Distributed Programs (context) - LeBlanc, Robbins - 1985
32 Automating Process Discovery through Event-Data Analysis - Cook, Wolf - 1995
32 A Study in Software Process Data Capture and Analysis - Wolf, Rosenblum - 1993
22 Mining Process Models from Workflow Logs - Agrawal, Gunopulos et al. - 1997
18 Observer---A Concept for Formal On-Line Validation of Distri.. (context) - Diaz, Juanole et al. - 1994
15 Testing and Debugging Distributed Programs Using Global Pred.. (context) - Venkatesan, Dathan - 1995
13 Debugging Heterogenous Systems Using Event-Based Models of B.. (context) - Bates - 1989
13 The Adriane Debugger: Scalable Application of Event-Based Ab.. (context) - Cuny, Forman et al. - 1993
9 IEEE Transactions on Software Engineering (context) - Holtzblatt, Piazza et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.nmsu.edu/~jcook/papers/): More
Assertions for C++ - Cook (1994) (Correct)
Agentsim: A Simulation Of A Petri Net Based Hardware Description.. - Cook (1991) (Correct)
Assertions for the Tcl Language - Cook (1997) (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