Lynn Elliott

According to our database, Lynn Elliott authored at least 9 papers between 1994 and 1996.

Collaborative distances:

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

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

Dependability of Medical Computing.

Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln

Proceedings of the Digest of Papers: FTCS-25, 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

Retrofitting Software Safety in an Implantable Medical Device.

Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott

IEEE Softw., 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

A process for developing safe software.

Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai

Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994