Elsa L Gunter

University of Illinois Urbana Champaign - Champaign / United States

Others

AD Scientific Index ID: 1616489

Registration, Add Profile,
Premium Membership

Print Your Certificate

Elsa L Gunter's MOST POPULAR ARTICLES

1-) A reference model for requirements and specificationsCA Gunter, EL Gunter, M Jackson, P ZaveIEEE Software 17 (3), 37-43, 20003932000

2-) I-Living: An open system architecture for assisted livingQ Wang, W Shin, X Liu, Z Zeng, C Oh, BK AlShebli, M Caccamo, ...2006 IEEE International Conference on Systems, Man and Cybernetics 5, 4268-4275, 20061272006

3-) The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architecturesTL Crenshaw, E Gunter, CL Robinson, L Sha, PR Kumar28th IEEE International Real-Time Systems Symposium (RTSS 2007), 400-412, 20071092007

4-) Compositional message sequence chartsEL Gunter, A Muscholl, DA PeledInternational Conference on Tools and Algorithms for the Construction and …, 2001982001

5-) Correspondence assertions for process synchronization in concurrent communicationsE Bonelli, A Compagnoni, E GunterJournal of Functional Programming 15 (2), 219-247, 2005822005

ARTICLES

Add your articles