Sitaram C. V. Raju, Alan C. Shaw  Home/Search
Context Related
| cs.ubc.ca/local/reading/pr...spe876.pdf 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: cs.ubc.ca/local/reading/...spetoc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper and in Reference 3, the simulator/assertion checker responds to single-step commands from the user in real-time (Update)
Context of citations to this paper: More
...of real time systems, presented in this paper, has been used to check the simulation of an executable specification. References [19] [21] describe the design, implementation and some experiments with a monitor for a real time executable specification language called...
...universal, formal, and scalable. The basis for our work is the communicating real time state machine (CRSM) notation [Raju 93; Raju Shaw 92; Shaw 92, 93] CRSMs are universal state machines with guarded commands as transitions, synchronous IO communications over...
Cited by: More
A (More) Formal Definition of Communicating Real-Time State Machines - Shaw (1993) (Correct)
Instrumentation, Modeling and Analysis of Dynamic.. - Welch, Shirazi.. (1998) (Correct)
An Automatic Verification Technique for Communicating Real-Time.. - Raju (1993) (Correct)
Similar documents (at the sentence level):
56.0%: A Prototyping Environment for Specifying, Executing and.. - Raju, Shaw (1992) (Correct)
Active bibliography (related documents): More All
0.3: Answer Garden: A Tool for Growing Organizational Memory - Center For Coordination (Correct)
0.2: CLEOPATRA - Building Responsive Systems from Physically-correct.. - Bestavros (1993) (Correct)
0.2: Unknown - Building Responsive Systems (1993) (Correct)
Similar documents based on text: More All
0.5: Hierarchical Communicating Real-Time State Machines - Nigro (2000) (Correct)
0.5: On Scalable State-Based Specifications for Real-Time Systems - Shaw (1994) (Correct)
0.2: Monitoring Timing Constraints in Distributed Real-time.. - Raju, Rajkumar, Jahanian (1992) (Correct)
Related documents from co-citation: More All
4: Communicating real-time state machines (context) - Shaw - 1992
3: Communicating Sequential Processes (context) - Hoare - 1985
3: RunTime Monitoring of Real-Time Systems - Chodrow, Jahanian et al. - 1991
BibTeX entry: (Update)
S. Raju and A. Shaw, "A Prototyping Environment for Specifying, Executing, and Checking Real-Time State Machines," Tech. Report #92-10-03, Dept. of Computer Science and Engineering, Univ. of Washington, Oct. 1992. (In publication in Software-Practice and Experience.) http://citeseer.ist.psu.edu/raju94prototyping.html More
@article{ raju94prototyping,
author = "Sitaram C. V. Raju and Alan C. Shaw",
title = "A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines",
journal = "Software - Practice and Experience",
volume = "24",
number = "2",
pages = "175-195",
year = "1994",
url = "citeseer.ist.psu.edu/raju94prototyping.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1978
2732 Communicating Sequential Processes (context) - Hoare - 1985
1174 Statecharts: a visual formalism for complex systems - Harel - 1987
297 Statemate: a working environment for the development of comp.. - Harel - 1990
268 The theory of timed automata - Alur, Dill - 1991
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
42 Communicating Real-Time State Machines (context) - Shaw - 1992
37 Using Statecharts for hardware description and synthesis (context) - Drusinsky, Harel - 1989
37 Run-time monitoring of real-time systems - Chodrow, Jahanian et al. - 1991
34 Time bounds for real-time process control in the presence of.. - Attiya, Lynch - 1989
30 An operational approach to requirements specification for em.. (context) - Zave - 1982
20 Multilevel specification of real-time systems (context) - Gabrielian, Franklin - 1991
15 Monitoring timing constraints in distributed real-time syste.. - Raju, Rajkumar et al. - 1992
15 ROOM: an object-oriented methodology for developing real-tim.. (context) - Selic - 1992
12 A formalism for monitoring real-time constraints at run-time (context) - Jahanian, Goyal - 1990
8 A prototyping language for real-time software (context) - Luqi, Berzins - 1988
7 An automatic verification technique for Communicating Real-T.. - Raju - 1993
4 Clairvoyance, capricious timing faults, causality and real-t.. (context) - Stuart, Clements - 1991
3 The X toolkit: more bricks for building user-interfaces or w.. (context) - Swick, Ackerman - 1988
1 of Computer Science and Eng (context) - Thomas, User's et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm): More
Linkage Analysis of Processes - Yaung, Raz (1992) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991) (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