Ramakrishna V. Vishnuvajjala

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Verification and Validation of Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng., 1999

1998
Sequence Specification for Concurrent Object-Oriented Applications.
Int. J. Softw. Eng. Knowl. Eng., 1998

1996
Specifying timing constraints in real-time object-oriented systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Flow analysis for concurrent, reactive, real-time systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

Fault mitigation in safety-critical software systems.
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

1995
A Framework for Designing Safe Software Systems.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
A process for software requirements safety analysis.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994


  Loading...