Ramin Mojdehbakhsh

13 papers A 1B 4C 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
1998 J jnl
Key Applications for High-Assurance Systems.
Computer
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
1997 — conf
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.
HASE
Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam
1996 B conf
Fault mitigation in safety-critical software systems.
CBMS
Satish Subramanian, Lynn Elliott, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh
1996 — conf
Flow analysis for concurrent, reactive, real-time systems.
HASE
Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
1996 B conf
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].
CBMS
Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh
1996 J jnl
Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai
1996 J jnl
Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai
1996 — conf
Specifying timing constraints in real-time object-oriented systems.
HASE
Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
1995 B conf
A Framework for Designing Safe Software Systems.
COMPSAC
Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
1994 B conf
A process for developing safe software.
CBMS
Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai
1994 A conf
A process for software requirements safety analysis.
ISSRE
Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott
1994 J jnl
Retrofitting Software Safety in an Implantable Medical Device.
IEEE Softw.
Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott
1990 C conf
What Software Engineering Can Learn From Practitioners.
SEKE
Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai