The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Colvin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Translating Refined Logic Programs to Mercury. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:33-40 [Conf]
  2. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Refining Logic Programs Using Types. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:43-50 [Conf]
  3. Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
    Formal Verification of a Lazy Concurrent List-Based Set Algorithm. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:475-488 [Conf]
  4. Robert Colvin, Lindsay Groves
    Formal Verification of an Array-Based Nonblocking Queue. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:507-516 [Conf]
  5. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  6. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    A Technique for Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:38-56 [Conf]
  7. Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
    Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:66-89 [Conf]
  8. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Refinement of Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:126-143 [Conf]
  9. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A Refinement Calculus for Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  10. Robert Colvin, Simon Doherty, Lindsay Groves
    Verifying Concurrent Data Structures by Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:93-110 [Journal]
  11. David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
    Don't Care Non-determinism in Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  12. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A refinement calculus for logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:425-460 [Journal]
  13. Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
    "Integrare", a Collaborative Environment for Behavior-Oriented Design. [Citation Graph (0, 0)][DBLP]
    CDVE, 2007, pp:122-131 [Conf]
  14. Robert Colvin, Brijesh Dongol
    Verifying Lock-Freedom Using Well-Founded Orders. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:124-138 [Conf]
  15. Robert Colvin, Lars Grunske, Kirsten Winter
    Probabilistic Timed Behavior Trees. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:156-175 [Conf]
  16. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Calculating modules in contextual logic program refinement [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  17. Lindsay Groves, Robert Colvin
    Derivation of a Scalable Lock-Free Stack Algorithm. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:55-74 [Journal]

  18. Early Validation and Verification of a Distributed Role-Based Access Control Model. [Citation Graph (, )][DBLP]


  19. Timed Behavior Trees and Their Application to Verifying Real-Time Systems. [Citation Graph (, )][DBLP]


  20. Dynamic Relational Behaviour for Large-Scale Systems. [Citation Graph (, )][DBLP]


  21. CSP with Hierarchical State. [Citation Graph (, )][DBLP]


  22. Probabilistic Model-Checking Support for FMEA. [Citation Graph (, )][DBLP]


  23. A Scalable Lock-Free Stack Algorithm and its Verification. [Citation Graph (, )][DBLP]


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