Jonathan E. Cook Alexander L. Wolf Department of Computer Science Department...  Home/Search
Context Related
| colorado.edu/users...CUCS86098.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: colorado.edu/users/alw/doc/pap... (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 di#cult aspect of some system behaviors is concurrency. (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):
44.4%: Discovering Models of Behavior for Concurrent Systems - Cook, Du, Liu, Wolf (2002) (Correct)
31.0%: Discovering Models of Behavior for Concurrent Workflows - Cook, Du, Liu, Wolf (2004) (Correct)
5.4%: Discovering Thread Interactions in a Concurrent System - Cook, Du (2002) (Correct)
Active bibliography (related documents): More All
0.5: Event-Based Detection of Concurrency - Cook, Wolf (1998) (Correct)
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)
Similar documents based on text: More All
0.3: Discovering Models of Software Processes from Event-Based Data - Cook, Wolf (1998) (Correct)
0.3: Partition Selection Policies in Object Database Garbage Collection - Cook (1994) (Correct)
0.3: A Highly Effective Partition Selection Policy for Object.. - Cook, Wolf, al. (1998) (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/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/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 A Study in Software Process Data Capture and Analysis - Wolf, Rosenblum - 1993
32 Automating Process Discovery through Event-Data Analysis - Cook, Wolf - 1995
18 Observer---A Concept for Formal On-Line Validation of Distri.. (context) - Diaz, Juanole et al. - 1994
15 Testing and Debugging Distributed Programs Using Gloabl 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.colorado.edu/users/alw/doc/papers/techreports/): More
A Routing Scheme for Content-Based Networking - Carzaniga, Rutherford, Wolf (2003) (Correct)
A Facilitator Method for Upstream Design Activities with - Diverse Stakeholders Regina (Correct)
Software Process Modeling and Execution within Virtual.. - Doppke, Heimbigner, Wolf (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