Concepedia

Rami R. Razouk

RR

Statistics

Publications

12

Citations

544

H-Index

11

Active since

1979

Affiliations

University of California, Irvine(Current)

The Aerospace Corporation

University of California, Los Angeles

Rami R. Razouk is an author at University of California, Irvine specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringFormal MethodsComputer ScienceSystem SoftwareSoftware EngineeringSoftware DesignProgram AnalysisSoftware Analysis

Publications per year

1979–2003

12

Publications

12

Using weaves for software construction and analysis

Michael M. Gorlick, Rami R. Razouk · International Conference on Software Engineering · 1991 · 128 citations

Software Maintenance, Engineering, Computer Architecture +23

Performance analysis using timed Petri Nets

Rami R. Razouk, Charles Phelps · eScholarship (California Digital Library) · 1984 · 93 citations · Full text

SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

Gerald Estrin, Robert S. Fenchel, Rami R. Razouk et al. · IEEE Transactions on Software Engineering · 1986 · 92 citations

Engineering, Computer Architecture, Software Engineering +23

Interactive State-Space Analysis of Concurrent Systems

E. Timothy Morgan, Rami R. Razouk · IEEE Transactions on Software Engineering · 1987 · 63 citations

Engineering, Software Engineering, Computer-aided Tools +16

Real-time interval logic for reasoning about executions of real-time programs

Rami R. Razouk, Michael M. Gorlick · 1989 · 45 citations

Engineering, Verification, Software Systems +24

Rows per page

1–5 of 12