Elsa L. Gunter
Affiliations: | New Jersey Institute of Technology, Newark, NJ, United States | ||
| 2004- | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceWebsite:
https://egunter.cs.illinois.edu/Google:
"Elsa Gunter"Bio:
Parents
Sign in to add mentor| I Martin Isaacs | grad student | 1987 | UW Madison (MathTree) | |
| (Pseudo-monomial Characters and Pseudo-M-groups) | ||||
Children
Sign in to add trainee| Yi Meng | grad student | 2005 | NJIT |
| William Mansky | grad student | 2014 | UIUC |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Mansky W, Gunter EL, Griffith D, et al. (2016) Specifying and executing optimizations for generalized control flow graphs Science of Computer Programming. 130: 2-23 |
| Griffith D, Gunter EL. (2013) LiquidPi: Inferrable dependent session types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 185-197 |
| Bass EJ, Feigh KM, Gunter EL, et al. (2011) Formal Modeling and Analysis for Interactive Hybrid Systems Electronic Communication of the European Association of Software Science and Technology. 45 |
| Compagnoni A, Gunter EL, Bidinger P. (2008) Role-based access control for boxed ambients Theoretical Computer Science. 398: 203-216 |
| Bonelli E, Compagnoni A, Gunter E. (2005) Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming. 15: 219-247 |
| Bonelli E, Compagnoni A, Gunter E. (2005) Typechecking safe process synchronization Electronic Notes in Theoretical Computer Science. 138: 3-22 |
| Gunter E, Peled D. (2005) Model checking, testing and verification working together Formal Aspects of Computing. 17: 201-221 |
| Bonelli E, Compagnoni AB, Gunter EL. (2004) Correspondence assertions for process synchronization in concurrent communications Electronic Notes in Theoretical Computer Science. 97: 175-195 |
| Alur R, Arney D, Gunter EL, et al. (2004) Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System International Journal On Software Tools For Technology Transfer. 5: 308-319 |
| Gunter EL, Peled DA. (2003) Unit Checking: Symbolic Model Checking for a Unit of Code Lecture Notes in Computer Science. 548-567 |