| 1991 |
|---|
| 11 | EE | Michael M. Gorlick,
Rami R. Razouk:
Using Weaves for Software Construction and Analysis.
ICSE 1991: 23-34 |
| 1989 |
|---|
| 10 | EE | Rami R. Razouk,
Michael M. Gorlick:
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.
Symposium on Testing, Analysis, and Verification 1989: 10-19 |
| 1988 |
|---|
| 9 | EE | Rami R. Razouk:
The Use of Petri Nets for Modeling Pipelined Processors.
DAC 1988: 548-553 |
| 1987 |
|---|
| 8 | | E. Timothy Morgan,
Rami R. Razouk:
Interactive State-Space Analysis of Concurrent Systems.
IEEE Trans. Software Eng. 13(10): 1080-1091 (1987) |
| 1986 |
|---|
| 7 | | Rami R. Razouk,
Terri Stewart,
Michael Wilson:
Measuring Operating System Performance on Modern Micro-Processors.
SIGMETRICS 1986: 193-202 |
| 6 | | Gerald Estrin,
Robert S. Fenchel,
Rami R. Razouk,
Mary K. Vernon:
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.
IEEE Trans. Software Eng. 12(2): 293-311 (1986) |
| 1985 |
|---|
| 5 | | E. Timothy Morgan,
Rami R. Razouk:
Computer-aided analysis of concurrent systems.
PSTV 1985: 49-58 |
| 1984 |
|---|
| 4 | | Rami R. Razouk,
Charles V. Phelps:
Performance Analysis Using Timed Petri Nets.
PSTV 1984: 561-576 |
| 3 | EE | Rami R. Razouk:
The derivation of performance expressions for communication protocols from timed petri net models.
Computer Communication Review 14(2): 210-217 (1984) |
| 1982 |
|---|
| 2 | | Rami R. Razouk:
Modeling X.25 Using the Graph Model of Behavior.
PSTV 1982: 197-214 |
| 1980 |
|---|
| 1 | | Rami R. Razouk,
Gerald Estrin:
Modeling and Verification of Communication Protocols in SARA: The X.21 Interface.
IEEE Trans. Computers 29(12): 1038-1052 (1980) |
