Travelled to:3 × USA
Collaborated with:M.M.Gorlick ∅
Talks about:time (2) real (2) use (2) processor (1) construct (1) softwar (1) program (1) pipelin (1) analysi (1) reason (1)
Person: Rami R. Razouk
DBLP: Razouk:Rami_R=
Contributed to:
1991
1989
1988Wrote 3 papers:
- ICSE-1991-GorlickR #analysis #using
- Using Weaves for Software Construction and Analysis (MMG, RRR), pp. 23–34.
- TAV-1989-RazoukG #logic #realtime #reasoning #source code
- Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
- DAC-1988-Razouk #modelling #petri net #pipes and filters
- The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.