Rami R. Razouk

According to our database, Rami R. Razouk authored at least 14 papers between 1977 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1991

Using Weaves for Software Construction and Analysis.

Michael M. Gorlick, Rami R. Razouk

Proceedings of the 13th International Conference on Software Engineering, 1991

1989

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.

Rami R. Razouk, Michael M. Gorlick

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

The Use of Petri Nets for Modeling Pipelined Processors.

Rami R. Razouk

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

Interactive State-Space Analysis of Concurrent Systems.

E. Timothy Morgan, Rami R. Razouk

IEEE Trans. Software Eng., 1987

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

Measuring Operating System Performance on Modern Micro-Processors.

Rami R. Razouk, Terri Stewart, Michael Wilson

Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

1985

Computer-aided analysis of concurrent systems.

E. Timothy Morgan, Rami R. Razouk

Proceedings of the Protocol Specification, 1985

1984

The derivation of performance expressions for communication protocols from timed petri net models.

Rami R. Razouk

Comput. Commun. Rev., 1984

Performance Analysis Using Timed Petri Nets.

Rami R. Razouk, Charles V. Phelps

Proceedings of the Protocol Specification, 1984

1982

Modeling X.25 Using the Graph Model of Behavior.

Rami R. Razouk

Proceedings of the Protocol Specification, 1982

1980

Modeling and Verification of Communication Protocols in SARA: The X.21 Interface.

Rami R. Razouk, Gerald Estrin

IEEE Trans. Computers, 1980

1979

Evaluation methods in SARA - the graph model simulator.

Rami R. Razouk, Mary K. Vernon, Gerald Estrin

Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, 1979

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

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1977

The graph model of behavior simulator.

Rami R. Razouk, Gerald Estrin

Proceedings of the Symposium on Design Automation and Microprocessors, 1977