Rami R. Razouk

Publication Activity (10 Years)

Years Active: 1977-1991
Publications (10 Years): 0

Publications

Michael M. Gorlick, Rami R. Razouk
Using Weaves for Software Construction and Analysis. ICSE (1991)
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)
Rami R. Razouk
The Use of Petri Nets for Modeling Pipelined Processors. DAC (1988)
E. Timothy Morgan, Rami R. Razouk
Interactive State-Space Analysis of Concurrent Systems. IEEE Trans. Software Eng. 13 (10) (1987)
Rami R. Razouk, Terri Stewart, Michael Wilson
Measuring Operating System Performance on Modern Micro-Processors. SIGMETRICS (1986)
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) (1986)
E. Timothy Morgan, Rami R. Razouk
Computer-aided analysis of concurrent systems. PSTV (1985)
Rami R. Razouk
The derivation of performance expressions for communication protocols from timed petri net models. Comput. Commun. Rev. 14 (2) (1984)
Rami R. Razouk, Charles V. Phelps
Performance Analysis Using Timed Petri Nets. PSTV (1984)
Rami R. Razouk
Modeling X.25 Using the Graph Model of Behavior. PSTV (1982)
Rami R. Razouk, Gerald Estrin
Modeling and Verification of Communication Protocols in SARA: The X.21 Interface. IEEE Trans. Computers 29 (12) (1980)
Gerald Estrin, Mary K. Vernon, Rami R. Razouk
Evaluation methods in SARA - the graph model simulator. SIGMETRICS Performance Evaluation Review (1979)
Rami R. Razouk, Mary K. Vernon, Gerald Estrin
Evaluation methods in SARA - the graph model simulator. SIGMETRICS (1979)
W. Ruggiero, Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, D. Schwabe, Mary K. Vernon
Analysis of data flow models using the SARA graph model of behavior. MARK (1979)
Rami R. Razouk, Gerald Estrin
The graph model of behavior simulator. Design Automation and Microprocessors (1977)