The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rami R. Razouk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002