Ramakrishna V. Vishnuvajjala

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang
Verification and Validation of Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 11 (1) (1999)
Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai
Sequence Specification for Concurrent Object-Oriented Applications. Int. J. Softw. Eng. Knowl. Eng. 8 (3) (1998)
Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai
Sequence specification for concurrent object-oriented applications. WORDS (1997)
Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
Flow analysis for concurrent, reactive, real-time systems. HASE (1996)
Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
Specifying timing constraints in real-time object-oriented systems. HASE (1996)
Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. CBMS (1996)
Satish Subramanian, Lynn Elliott, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh
Fault mitigation in safety-critical software systems. CBMS (1996)
Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
A Framework for Designing Safe Software Systems. COMPSAC (1995)
Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott
A process for software requirements safety analysis. ISSRE (1994)