The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gordon J. Pace: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
    SPeeDI - A Verification Tool for Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:354-358 [Conf]
  2. Gordon J. Pace, Frédéric Lang, Radu Mateescu
    Calculating-Confluence Compositionally. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:446-459 [Conf]
  3. Gordon J. Pace
    The Semantics of Verilog Using Transition System Combinators. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:405-422 [Conf]
  4. Gordon J. Pace, Gerardo Schneider
    Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:306-321 [Conf]
  5. Gordon J. Pace, Gerardo Schneider
    A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:168-182 [Conf]
  6. Gordon J. Pace, Gerardo Schneider
    Model Checking Polygonal Differential Inclusions Using Invariance Kernels. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:110-121 [Conf]
  7. Koen Claessen, Gordon J. Pace
    An embedded language approach to teaching hardware compilation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:35-46 [Journal]
  8. Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
    Counter-example generation in symbolic abstract model-checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:158-164 [Journal]
  9. Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
    Model Checking Contracts - A Case Study. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:82-97 [Conf]

  10. CLAN: A Tool for Contract Analysis and Conflict Discovery. [Citation Graph (, )][DBLP]


  11. Safe Runtime Verification of Real-Time Properties. [Citation Graph (, )][DBLP]


  12. Relaxing Goodness Is Still Good. [Citation Graph (, )][DBLP]


  13. Automatic Conflict Detection on Contracts. [Citation Graph (, )][DBLP]


  14. Challenges in the Specification of Full Contracts. [Citation Graph (, )][DBLP]


  15. LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). [Citation Graph (, )][DBLP]


  16. Computation and Visualisation of Phase Portraits for Model Checking SPDIs. [Citation Graph (, )][DBLP]


  17. Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. [Citation Graph (, )][DBLP]


  18. Automatic Grammar Rule Extraction and Ranking for Definitions. [Citation Graph (, )][DBLP]


  19. A Controlled Language for the Specification of Contracts. [Citation Graph (, )][DBLP]


  20. On the Specification of Full Contracts. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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