Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Leo Freitas

Leonardo Freitas

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c15]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/services/FreitasW12
- ask others
Leo Freitas, Paul Watson: Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs. SERVICES 2012: 219-226
2011
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/FreitasM11
- ask others
Leo Freitas, John P. McDermott: Formal methods for security in the Xenon hypervisor. STTT 13(5): 463-489 (2011)
2010
[c14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csiirw/McDermottF10
- ask others
John P. McDermott, Leo Freitas: Using formal methods for security in the Xenon project. CSIIRW 2010: 67
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/VelykisF10
- ask others
Andrius Velykis, Leo Freitas: Formal Modelling of Separation Kernel Components. ICTAC 2010: 230-244

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/FreitasW09
- ask others
Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009)
[j7]
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/FreitasW09
- ask others
Leo Freitas, Jim Woodcock: A Chain Datatype in Z. Int. J. Software and Informatics 3(2-3): 357-374 (2009)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/FreitasWZ09
- ask others
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)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/ButterfieldFW09
- ask others
Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/FreitasWF09
- ask others
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)
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sbmf/Freitas09
- ask others
Leo Freitas: Mechanising Data-Types for Kernel Design in Z. SBMF 2009: 186-203
2008
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/FreitasW08
- ask others
Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008)
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ccs/McDermottF08
- ask others
John P. McDermott, Leo Freitas: A formal security policy for xenon. FMSE 2008: 43-52
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/WoodcockF08
- ask others
Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/FreitasWB08
- ask others
Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/utp/AndersonCF08
- ask others
Hugh Anderson, Gabriel Ciobanu, Leo Freitas: UTP and Temporal Logic Model Checking. UTP 2008: 22-41
2007
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FreitasW07
- ask others
Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/FreitasW07
- ask others
Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279
[c6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/FreitasFW07
- ask others
Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/FreitasMW07
- ask others
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
2006
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isse/FreitasWC06
- ask others
Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/FreitasCW06
- ask others
Leo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/WoodcockF06
- ask others
Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34
2005
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/WoodcockCF05
- ask others
Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifm/MillerFMU05
- ask others
Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245