| 1998 |
|---|
| 9 | | I-Ling Yen,
Raymond A. Paul,
Victor L. Winter,
John M. Covan,
Larry J. Dalton,
Leon Alkalai,
Ann T. Tai,
Rick Harper,
Barry Flahive,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Sanjai Rayadurgam,
Kinji Mori,
Michael R. Lowry:
Key Applications for High-Assurance Systems.
IEEE Computer 31(4): 35-45 (1998) |
| 1997 |
|---|
| 8 | EE | Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Sanjai Rayadurgam:
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.
HASE 1997: 32- |
| 1996 |
|---|
| 7 | 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 |
| 6 | EE | Ramakrishna V. Vishnuvajjala,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Specifying timing constraints in real-time object-oriented systems.
HASE 1996: 32-39 |
| 5 | EE | Sourav Bhattacharya,
Ramin Mojdehbakhsh,
Wei-Tek Tsai:
Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 6(2): 159 (1996) |
| 4 | EE | Sourav Bhattacharya,
Ramin Mojdehbakhsh,
Wei-Tek Tsai:
Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 6(3): 329-330 (1996) |
| 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 |
| 1994 |
|---|
| 2 | 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) |
| 1990 |
|---|
| 1 | | Dmitry Volovik,
Ramin Mojdehbakhsh,
Wei-Tek Tsai:
What Software Engineering Can Learn From Practitioners.
SEKE 1990: 216-221 |
