Rami R. Razouk

14 papers A* 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
1991 A* conf
Using Weaves for Software Construction and Analysis.
ICSE
Michael M. Gorlick, Rami R. Razouk
1989 — conf
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.
Symposium on Testing, Analysis, and Verification
Rami R. Razouk, Michael M. Gorlick
1988 A* conf
The Use of Petri Nets for Modeling Pipelined Processors.
DAC
Rami R. Razouk
1987 J jnl
Interactive State-Space Analysis of Concurrent Systems.
IEEE Trans. Software Eng.
E. Timothy Morgan, Rami R. Razouk
1986 A* conf
Measuring Operating System Performance on Modern Micro-Processors.
SIGMETRICS
Rami R. Razouk, Terri Stewart, Michael Wilson
1986 J jnl
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.
IEEE Trans. Software Eng.
Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, Mary K. Vernon
1985 — conf
Computer-aided analysis of concurrent systems.
PSTV
E. Timothy Morgan, Rami R. Razouk
1984 — conf
Performance Analysis Using Timed Petri Nets.
PSTV
Rami R. Razouk, Charles V. Phelps
1984 J jnl
The derivation of performance expressions for communication protocols from timed petri net models.
Comput. Commun. Rev.
Rami R. Razouk
1982 — conf
Modeling X.25 Using the Graph Model of Behavior.
PSTV
Rami R. Razouk
1980 J jnl
Modeling and Verification of Communication Protocols in SARA: The X.21 Interface.
IEEE Trans. Computers
Rami R. Razouk, Gerald Estrin
1979 — conf
Analysis of data flow models using the SARA graph model of behavior.
MARK
Wilson Vicente Ruggiero, Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, D. Schwabe, Mary K. Vernon
1979 A* conf
Evaluation methods in SARA - the graph model simulator.
SIGMETRICS
Rami R. Razouk, Mary K. Vernon, Gerald Estrin
1977 — conf
The graph model of behavior simulator.
Design Automation and Microprocessors
Rami R. Razouk, Gerald Estrin