Concepedia

Elsa L. Gunter

EL

Statistics

Publications

23

Citations

976

H-Index

16

Active since

1989

Affiliations

University of Illinois Urbana-Champaign(Current)

Stevens Institute of Technology

California University of Pennsylvania

University of Pennsylvania

SRI International

Elsa L. Gunter is an author at University of Illinois Urbana-Champaign specializing in computer science, formal methods, and computing.

Publications per year

1989–2020

23

Publications

23

A Reference Model for Requirements and Specifications

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

Engineering, Computer Science, Systems Engineering +17

A reference model for requirements and specifications

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

Engineering, Computer Science, Systems Engineering +17

I-Living: An Open System Architecture for Assisted Living

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

Computing, Computer Systems, Cybersecurity +8

Correspondence assertions for process synchronization in concurrent communications

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

Computing, Computer Science, Communication Theory +13

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, Computer Science, Systems Engineering +17

1–5 of 23