Ramakrishna V. Vishnuvajjala

According to our database, Ramakrishna V. Vishnuvajjala authored at least 8 papers between 1994 and 1999.

Collaborative distances:

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

1999

Verification and Validation of Knowledge-Based Systems.

Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang

IEEE Trans. Knowl. Data Eng., 1999

1998

Sequence Specification for Concurrent Object-Oriented Applications.

Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai

Int. J. Softw. Eng. Knowl. Eng., 1998

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

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