| 2009 |
|---|
| 12 | EE | Leo Freitas,
Jim Woodcock:
FDR Explorer.
Formal Asp. Comput. 21(1-2): 133-154 (2009) |
| 2008 |
|---|
| 11 | EE | John McDermott,
Leo Freitas:
A formal security policy for xenon.
FMSE 2008: 43-52 |
| 10 | EE | Leo Freitas,
Jim Woodcock:
Mechanising Mondex with Z/Eves.
Formal Asp. Comput. 20(1): 117-139 (2008) |
| 2007 |
|---|
| 9 | EE | Leo Freitas,
Jim Woodcock:
Proving Theorems About JML Classes.
Formal Methods and Hybrid Real-Time Systems 2007: 255-279 |
| 8 | EE | 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 | EE | Leo Freitas,
Zheng Fu,
Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository.
ICECCS 2007: 3-14 |
| 6 | EE | Leo Freitas,
Jim Woodcock:
FDR Explorer.
Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007) |
| 2006 |
|---|
| 5 | EE | 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 | EE | Jim Woodcock,
Leo Freitas:
Z/Eves and the Mondex Electronic Purse.
ICTAC 2006: 15-34 |
| 3 | EE | Leo Freitas,
Jim Woodcock,
Ana Cavalcanti:
State-rich model checking.
ISSE 2(1): 49-64 (2006) |
| 2005 |
|---|
| 2 | EE | Jim Woodcock,
Ana Cavalcanti,
Leonardo Freitas:
Operational Semantics for Model Checking Circus.
FM 2005: 237-252 |
| 1 | EE | Tim Miller,
Leo Freitas,
Petra Malik,
Mark Utting:
CZT Support for Z Extensions.
IFM 2005: 227-245 |
