|
Search the dblp DataBase
Leo Freitas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Jim Woodcock, Leo Freitas
Z/Eves and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP] ICTAC, 2006, pp:15-34 [Conf]
- Tim Miller, Leo Freitas, Petra Malik, Mark Utting
CZT Support for Z Extensions. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:227-245 [Conf]
- 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]
- 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]
- 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]
- Leo Freitas, Jim Woodcock
FDR Explorer. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:19-34 [Journal]
A formal security policy for xenon. [Citation Graph (, )][DBLP]
POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP]
Linking VDM and Z. [Citation Graph (, )][DBLP]
Formal Modelling of Separation Kernel Components. [Citation Graph (, )][DBLP]
UTP and Temporal Logic Model Checking. [Citation Graph (, )][DBLP]
Mechanising Data-Types for Kernel Design in Z. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|