Elsa L. Gunter

A Reference Model for Requirements and Specifications

Carl A. Gunter, Elsa L. Gunter, Michael Jackson et al. · 2000 · 207 citations

A reference model for requirements and specifications

Pamela Zave, Michael Jackson, Elsa L. Gunter et al. · IEEE Software · 2000 · 154 citations

Software Requirement, Engineering, User Requirement +14

I-Living: An Open System Architecture for Assisted Living

Qixin Wang, Wook‐Geun Shin, Xue Liu et al. · 2006 · 99 citations

Engineering, Predictable Properties, Remote Patient Monitoring +19

Correspondence assertions for process synchronization in concurrent communications

Eduardo Bonelli, Adriana Compagnoni, Elsa L. Gunter · Journal of Functional Programming · 2005 · 59 citations · Full text

Engineering, Information Security, Verification +21

The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures

Tanya L. Crenshaw, Elsa L. Gunter, Craig Robinson et al. · 2007 · 51 citations

Engineering, Survivable System, Computer Architecture +21