The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elsa L. Gunter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Elsa L. Gunter, Leonid Libkin
    OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. [Citation Graph (4, 0)][DBLP]
    DEXA, 1994, pp:641-650 [Conf]
  2. Elsa L. Gunter, Doron Peled
    Unit Checking: Symbolic Model Checking for a Unit of Code. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:548-567 [Conf]
  3. Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
    Lambda-Prolog: An Extended Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:754-755 [Conf]
  4. Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
    Tutorial on Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:682- [Conf]
  5. Elsa L. Gunter, Robert P. Kurshan, Doron Peled
    PET: An Interactive Software Testing Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:552-556 [Conf]
  6. Elsa L. Gunter
    Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:223-244 [Conf]
  7. Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
    A Reference Model for Requirements and Specifications-Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:189- [Conf]
  8. Elsa L. Gunter
    Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:351-363 [Conf]
  9. Elsa L. Gunter, Doron Peled
    Using a Mix of Languages in Formal Methods: The PET System. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  10. Elsa L. Gunter, Anca Muscholl, Doron Peled
    Compositional Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:496-511 [Conf]
  11. Elsa L. Gunter, Doron Peled
    Temporal Debugging for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:431-444 [Conf]
  12. Elsa L. Gunter, Doron Peled
    Path Exploration Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:405-419 [Conf]
  13. Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
    An Abstract Interpretation for ML Equality Kinds. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:112-130 [Conf]
  14. Adriana B. Compagnoni, Elsa L. Gunter
    Types for Security in a Mobile World. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:75-97 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:49-66 [Conf]
  16. Richard Gerber, Elsa L. Gunter, Insup Lee
    Implementing a Real-Time Process Algebra in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:144-154 [Conf]
  17. Myra Van Inwegen, Elsa L. Gunter
    HOL-ML. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:61-74 [Conf]
  18. Elsa L. Gunter
    Why we can't have SML-style datatype Declarations in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:561-568 [Conf]
  19. Elsa L. Gunter
    A Broader Class of Trees for Recursive Type Definitions for HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:141-154 [Conf]
  20. Elsa L. Gunter
    Adding External Decision Procedures to HOL90 Securely. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:143-152 [Conf]
  21. Elsa L. Gunter, Leonid Libkin
    Interfacing HOL90 with a Functional Database Query Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:170-185 [Conf]
  22. Savi Maharaj, Elsa L. Gunter
    Studying the ML Module System in Hol. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:346-361 [Conf]
  23. Elsa L. Gunter, Savi Maharaj
    Studying the ML Module System in HOL. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:2, pp:142-151 [Journal]
  24. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Correspondence Assertions for Process Synchronization in Concurrent Communications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:175-195 [Journal]
  25. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Typechecking Safe Process Synchronization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:3-22 [Journal]
  26. Elsa L. Gunter, Doron Peled
    Tracing the executions of concurrent programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  27. Elsa L. Gunter, Doron Peled
    Model checking, testing and verification working together. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:201-221 [Journal]
  28. Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
    Computing ML Equality Kinds Using Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:107, n:2, pp:303-323 [Journal]
  29. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Correspondence assertions for process synchronization in concurrent communications. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:219-247 [Journal]
  30. Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
    A Reference Model for Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:3, pp:- [Journal]
  31. 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. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:308-319 [Journal]
  32. Elsa L. Gunter, Anca Muscholl, Doron Peled
    Compositional message sequence charts. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:78-89 [Journal]

  33. Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. [Citation Graph (, )][DBLP]


  34. Specifying and Analyzing Workflows for Automated Identification and Data Capture. [Citation Graph (, )][DBLP]


  35. Secure Broadcast Ambients. [Citation Graph (, )][DBLP]


  36. Strong Normalization for System F by HOAS on Top of FOAS. [Citation Graph (, )][DBLP]


  37. The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. [Citation Graph (, )][DBLP]


  38. A Framework for Formal Verification of Compiler Optimizations. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002