Leonardo Freitas
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 18 | Leo Freitas: Mechanising Data-Types for Kernel Design in Z. SBMF 2009: 186-203 | |
| 17 | Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009) | |
| 16 | Leo Freitas, Jim Woodcock, Yichi Zhang: Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 197-218 (2009) | |
| 15 | Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009) | |
| 14 | Leo Freitas, Jim Woodcock, Zheng Fu: POSIX file store in Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 238-257 (2009) | |
| 2008 | ||
| 13 | John McDermott, Leo Freitas: A formal security policy for xenon. FMSE 2008: 43-52 | |
| 12 | Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152 | |
| 11 | Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162 | |
| 10 | Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008) | |
| 2007 | ||
| 9 | Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279 | |
| 8 | Leo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298 | |
| 7 | Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14 | |
| 6 | Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007) | |
| 2006 | ||
| 5 | Leo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716 | |
| 4 | Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34 | |
| 3 | Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006) | |
| 2005 | ||
| 2 | Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252 | |
| 1 | Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245 | |
| 1 | Andrew Butterfield | [11] [15] |
| 2 | Ana Cavalcanti | [2] [3] [5] |
| 3 | Zheng Fu | [7] [14] |
| 4 | Petra Malik | [1] |
| 5 | John McDermott | [13] |
| 6 | Tim Miller | [1] |
| 7 | Konstantinos Mokos | [8] |
| 8 | Mark Utting | [1] |
| 9 | Jim Woodcock (J. C. P. Woodcock) | [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] |
| 10 | Yichi Zhang | [16] |