☰

Elsa L. Gunter - Publications

Affiliations: 
New Jersey Institute of Technology, Newark, NJ, United States 
 2004- University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Website:
https://egunter.cs.illinois.edu/
Tree Info Similar researchers PubMed Report error

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Mansky W, Gunter EL, Griffith D, Adams MD. Specifying and executing optimizations for generalized control flow graphs Science of Computer Programming. 130: 2-23. DOI: 10.1016/J.Scico.2016.06.003  0.33
2013 Griffith D, Gunter EL. 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. DOI: 10.1007/978-3-642-38088-4_13  0.32
2011 Bass EJ, Feigh KM, Gunter EL, Rushby JM. Formal Modeling and Analysis for Interactive Hybrid Systems Electronic Communication of the European Association of Software Science and Technology. 45. DOI: 10.14279/Tuj.Eceasst.45.659.680  0.307
2008 Compagnoni A, Gunter EL, Bidinger P. Role-based access control for boxed ambients Theoretical Computer Science. 398: 203-216. DOI: 10.1016/J.Tcs.2008.01.040  0.347
2005 Bonelli E, Compagnoni A, Gunter E. Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming. 15: 219-247. DOI: 10.1017/S095679680400543X  0.375
2005 Bonelli E, Compagnoni A, Gunter E. Typechecking safe process synchronization Electronic Notes in Theoretical Computer Science. 138: 3-22. DOI: 10.1016/J.Entcs.2005.05.002  0.376
2005 Gunter E, Peled D. Model checking, testing and verification working together Formal Aspects of Computing. 17: 201-221. DOI: 10.1007/S00165-005-0059-8  0.373
2004 Bonelli E, Compagnoni AB, Gunter EL. Correspondence assertions for process synchronization in concurrent communications Electronic Notes in Theoretical Computer Science. 97: 175-195. DOI: 10.1016/J.Entcs.2004.04.036  0.416
2004 Alur R, Arney D, Gunter EL, Lee I, Lee J, Nam W, Pearce F, Van Albert S, Zhou J. 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. DOI: 10.1007/S10009-003-0132-7  0.307
2003 Gunter EL, Peled DA. Unit Checking: Symbolic Model Checking for a Unit of Code Lecture Notes in Computer Science. 548-567. DOI: 10.1007/978-3-540-39910-0_24  0.37
2001 Gunter EL, Muscholl A, Peled DA. Compositional message sequence charts Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2031: 496-511. DOI: 10.1007/S10009-002-0085-2  0.334
1993 Gunter CA, Gunter EL, Macqueen DB. Computing ML Equality Kinds Using Abstract Interpretation Information and Computation. 107: 303-323. DOI: 10.1006/Inco.1993.1070  0.346
Show low-probability matches.