Elsa Gunter

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2016

Specifying and executing optimizations for generalized control flow graphs

Mansky, W., Gunter, E. L., Griffith, D. & Adams, M. D., Nov 15 2016, In : Science of Computer Programming. 130, p. 2-23 22 p.

Research output: Contribution to journalArticle

2014
2011

Formal modeling and analysis for interactive hybrid systems

Bass, E. J., Feigh, K. M., Gunter, E. & Rushby, J., Jan 1 2011, In : Electronic Communications of the EASST. 45

Research output: Contribution to journalArticle

Recursion principles for syntax with bindings and substitution

Popescu, A. & Gunter, E. L., Sep 1 2011, In : ACM SIGPLAN Notices. 46, 9, p. 346-358 13 p.

Research output: Contribution to journalArticle

2008

Role-based access control for boxed ambients

Compagnoni, A., Gunter, E. L. & Bidinger, P., May 28 2008, In : Theoretical Computer Science. 398, 1-3, p. 203-216 14 p.

Research output: Contribution to journalArticle

2005

Correspondence assertions for process synchronization in concurrent communications

Bonelli, E., Compagnoni, A. & Gunter, E., Mar 1 2005, In : Journal of Functional Programming. 15, 2, p. 219-247 29 p.

Research output: Contribution to journalArticle

Model checking, testing and verification working together

Gunter, E. & Peled, D., Aug 1 2005, In : Formal Aspects of Computing. 17, 2, p. 201-221 21 p.

Research output: Contribution to journalArticle

2004

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

Alur, R., Arney, D., Gunter, E. L., Lee, I., Lee, J., Nam, W., Pearce, F., Van Albert, S. & Zhou, J., Dec 1 2004, In : International Journal on Software Tools for Technology Transfer. 5, 4, p. 308-319 12 p.

Research output: Contribution to journalArticle

2003

Compositional message sequence charts

Gunter, E. L., Muscholl, A. & Peled, D., Dec 1 2003, In : International Journal on Software Tools for Technology Transfer. 5, 1, p. 78-89 12 p.

Research output: Contribution to journalArticle

2000

Reference model for requirements and specifications

Gunter, C. A., Gunter, E. L., Jackson, M. & Zave, P., May 1 2000, In : IEEE Software. 17, 3, p. 37-43 7 p.

Research output: Contribution to journalArticle

1995

Studying the ML module system in HOL

Gunter, E. & Maharaj, S., Jan 1 1995, In : Computer Journal. 38, 2, p. 142-151 10 p.

Research output: Contribution to journalArticle

1993

Computing ml equality kinds using abstract interpretation

Gunter, C. A., Gunter, E. L. & Macqueen, D. B., Dec 1993, In : Information and Computation. 107, 2, p. 303-323 21 p.

Research output: Contribution to journalArticle

1989

Microlocal hypo-analyticitya ndhypo-analytic pseudodifferential operators

Gunter, E. L., Mar 1989, In : Proceedings of the American Mathematical Society. 105, 3, p. 555-563 9 p.

Research output: Contribution to journalArticle