A process for software requirements safety analysis. - Ramin Mojdehbakhsh; Satish Subramanian; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Lynn Elliott (ISSRE, 1994)

A Framework for Designing Safe Software Systems. - Satish Subramanian; Ramakrishna V. Vishnuvajjala; Ramin Mojdehbakhsh; Wei-Tek Tsai; Lynn Elliott (COMPSAC, 1995)

Fault mitigation in safety-critical software systems. - Satish Subramanian; Lynn Elliott; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh (CBMS, 1996)

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Lynn Elliott; Ramin Mojdehbakhsh (CBMS, 1996)

Flow analysis for concurrent, reactive, real-time systems. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)

Specifying timing constraints in real-time object-oriented systems. - Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)

Sequence Specification for Concurrent Object-Oriented Applications. - Yamin Wang; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai (Int. J. Softw. Eng. Knowl. Eng., 1998)

Verification and Validation of Knowledge-Based Systems. - Wei-Tek Tsai; Ramakrishna V. Vishnuvajjala; Du Zhang (IEEE Trans. Knowl. Data Eng., 1999)