The graph model of behavior simulator. - Rami R. Razouk; Gerald Estrin (Design Automation and Microprocessors, 1977)

Analysis of data flow models using the SARA graph model of behavior. - Wilson Vicente Ruggiero; Gerald Estrin; Robert S. Fenchel; Rami R. Razouk; D. Schwabe; Mary K. Vernon (MARK, 1979)

Evaluation methods in SARA - the graph model simulator. - Rami R. Razouk; Mary K. Vernon; Gerald Estrin (SIGMETRICS, 1979)

Modeling and Verification of Communication Protocols in SARA: The X.21 Interface. - Rami R. Razouk; Gerald Estrin (IEEE Trans. Computers, 1980)

Modeling X.25 Using the Graph Model of Behavior. - Rami R. Razouk (PSTV, 1982)

Performance Analysis Using Timed Petri Nets. - Rami R. Razouk; Charles V. Phelps (PSTV, 1984)

The derivation of performance expressions for communication protocols from timed petri net models. - Rami R. Razouk (Comput. Commun. Rev., 1984)

Computer-aided analysis of concurrent systems. - E. Timothy Morgan; Rami R. Razouk (PSTV, 1985)

Measuring Operating System Performance on Modern Micro-Processors. - Rami R. Razouk; Terri Stewart; Michael Wilson (SIGMETRICS, 1986)

SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems. - Gerald Estrin; Robert S. Fenchel; Rami R. Razouk; Mary K. Vernon (IEEE Trans. Software Eng., 1986)

Interactive State-Space Analysis of Concurrent Systems. - E. Timothy Morgan; Rami R. Razouk (IEEE Trans. Software Eng., 1987)

The Use of Petri Nets for Modeling Pipelined Processors. - Rami R. Razouk (DAC, 1988)

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. - Rami R. Razouk; Michael M. Gorlick (Symposium on Testing, Analysis, and Verification, 1989)

Using Weaves for Software Construction and Analysis. - Michael M. Gorlick; Rami R. Razouk (ICSE, 1991)