Lynn Elliott

Publication Activity (10 Years)

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

Publications

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)
Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln
Dependability of Medical Computing. FTCS (1995)
Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
A Framework for Designing Safe Software Systems. COMPSAC (1995)
Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai
A process for developing safe software. CBMS (1994)
Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott
Retrofitting Software Safety in an Implantable Medical Device. IEEE Softw. 11 (1) (1994)
Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott
A process for software requirements safety analysis. ISSRE (1994)