Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Elsa L. Gunter
2010 – today
- 2013
[c37]Dennis Griffith, Elsa L. Gunter: LiquidPi: Inferrable Dependent Session Types. NASA Formal Methods 2013: 185-197- 2012
- [c36]Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter: Formal analysis of safety-critical system simulations. ATACSS 2012: 71-81
- [c35]William Mansky, Elsa L. Gunter: Using Locales to Define a Rely-Guarantee Temporal Logic. ITP 2012: 299-314
- 2011
- [j13]Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby: Formal Modeling and Analysis for Interactive Hybrid Systems. ECEASST 45 (2011)
- [c34]Andrei Popescu, Elsa L. Gunter: Recursion principles for syntax with bindings and substitution. ICFP 2011: 346-358
- [c33]Ayesha Yasmeen, Elsa L. Gunter: Automated framework for formal operator task analysis. ISSTA 2011: 78-88
- [c32]Ayesha Yasmeen, Elsa L. Gunter: Robustness for protection envelopes with respect to human task variation. SMC 2011: 1809-1816
- [c31]Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby: Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC 2011: 1817-1824
- 2010
- [c30]Andrei Popescu, Elsa L. Gunter: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. FOSSACS 2010: 109-127
- [c29]William Mansky, Elsa L. Gunter: A Framework for Formal Verification of Compiler Optimizations. ITP 2010: 371-386
- [c28]Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn: Strong Normalization for System F by HOAS on Top of FOAS. LICS 2010: 31-40
2000 – 2009
- 2009
- [c27]Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
- [c26]Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu: Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP 2009: 12-20
- 2008
- [j12]Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)
- [c25]Elsa L. Gunter, Ayesha Yasmeen: Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
- 2007
- [c24]Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar: The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. RTSS 2007: 400-412
- 2006
- [c23]Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha: I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275
- 2005
- [j11]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
- [j10]Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
- [j9]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
- [c22]
- 2004
- [j8]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence Assertions for Process Synchronization in Concurrent Communications. Electr. Notes Theor. Comput. Sci. 97: 175-195 (2004)
- [j7]Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004)
- 2003
- [j6]Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
- [c21]Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
- 2002
- [j5]Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)
- [c20]
- 2001
- [c19]Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511
- 2000
- [j4]Carl A. Gunter, Elsa L. Gunter, Pamela Zave: Formal software engineering. ACM SIGSOFT Software Engineering Notes 25(1): 54 (2000)
- [j3]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)
- [c18]Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
- [c17]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
- [c16]
1990 – 1999
- 1999
- [c15]
- 1998
- [c14]Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66
- [c13]
- 1997
- [e1]Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275, Springer 1997, ISBN 3-540-63379-0
- 1995
- [j2]Elsa L. Gunter, Savi Maharaj: Studying the ML Module System in HOL. Comput. J. 38(2): 142-151 (1995)
- [c12]Elsa L. Gunter, Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185
- 1994
- [c11]Elsa L. Gunter, Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650
- [c10]
- 1993
- [j1]Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput. 107(2): 303-323 (1993)
- [c9]
- [c8]
- 1992
- [c7]
- 1991
- [c6]Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
- [c5]Richard Gerber, Elsa L. Gunter, Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154
- 1990
- [c4]Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682
1980 – 1989
- 1989
- [c3]Elsa L. Gunter: Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP 1989: 223-244
- [c2]Elsa L. Gunter: Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics 1989: 351-363
- 1988
- [c1]Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-26 01:49 CEST by the dblp team