Search the dblp DataBase

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]