| 1996 |
|---|
| 5 | EE | Ramakrishna V. Vishnuvajjala,
Satish Subramanian,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Flow analysis for concurrent, reactive, real-time systems.
HASE 1996: 176-183 |
| 4 | EE | Ramakrishna V. Vishnuvajjala,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Specifying timing constraints in real-time object-oriented systems.
HASE 1996: 32-39 |
| 1995 |
|---|
| 3 | EE | Satish Subramanian,
Ramakrishna V. Vishnuvajjala,
Ramin Mojdehbakhsh,
Wei-Tek Tsai,
Lynn Elliott:
A Framework for Designing Safe Software Systems.
COMPSAC 1995: 409-415 |
| 2 | | Hirokazu Ihara,
Ekkehard Blanz,
Daniel J. Valentino,
Lynn Elliott,
Thomas L. Lincoln:
Dependability of Medical Computing.
FTCS 1995: 541 |
| 1994 |
|---|
| 1 | EE | Ramin Mojdehbakhsh,
Wei-Tek Tsai,
Shekhar H. Kirani,
Lynn Elliott:
Retrofitting Software Safety in an Implantable Medical Device.
IEEE Software 11(1): 41-50 (1994) |
