Ramin Mojdehbakhsh

According to our database, Ramin Mojdehbakhsh authored at least 13 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Key Applications for High-Assurance Systems.

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

Computer, 1998

1997

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.

Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction.

Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai

Int. J. Softw. Eng. Knowl. Eng., 1996

Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.

Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai

Int. J. Softw. Eng. Knowl. Eng., 1996

Specifying timing constraints in real-time object-oriented systems.

Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Flow analysis for concurrent, reactive, real-time systems.

Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].

Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh

Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

Fault mitigation in safety-critical software systems.

Satish Subramanian, Lynn Elliott, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh

Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

1995

A Framework for Designing Safe Software Systems.

Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Retrofitting Software Safety in an Implantable Medical Device.

Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott

IEEE Softw., 1994

A process for software requirements safety analysis.

Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

A process for developing safe software.

Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai

Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994

1990

What Software Engineering Can Learn From Practitioners.

Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai

Proceedings of the SEKE'90, 1990