Search the dblp DataBase

Publications of Author

1. Leo Freitas, Ana Cavalcanti, Jim Woodcock
   Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:697-716 [Conf]
   
2. Jim Woodcock, Leo Freitas
   Z/Eves and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:15-34 [Conf]
   
3. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
   CZT Support for Z Extensions. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:227-245 [Conf]
   
4. Leo Freitas, Jim Woodcock
   Proving Theorems About JML Classes. [Citation Graph (0, 0)][DBLP]
   Formal Methods and Hybrid Real-Time Systems, 2007, pp:255-279 [Conf]
   
5. Leo Freitas, Zheng Fu, Jim Woodcock
   POSIX file store in Z/Eves: an experiment in the verified software repository. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:3-14 [Conf]
   
6. Leo Freitas, Konstantinos Mokos, Jim Woodcock
   Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:290-298 [Conf]
   
7. Leo Freitas, Jim Woodcock
   FDR Explorer. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:19-34 [Journal]
   
8. 
   A formal security policy for xenon. [Citation Graph (, )][DBLP]
   
   
9. 
   POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP]
   
   
10. 
    Linking VDM and Z. [Citation Graph (, )][DBLP]
    
    
11. 
    Formal Modelling of Separation Kernel Components. [Citation Graph (, )][DBLP]
    
    
12. 
    UTP and Temporal Logic Model Checking. [Citation Graph (, )][DBLP]
    
    
13. 
    Mechanising Data-Types for Kernel Design in Z. [Citation Graph (, )][DBLP]