Leo Freitas

Leonardo Freitas

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
c15		Leo Freitas, Paul Watson: Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs. SERVICES 2012: 219-226
	2011
j9		Leo Freitas, John P. McDermott: Formal methods for security in the Xenon hypervisor. STTT 13(5): 463-489 (2011)
	2010
c14		John P. McDermott, Leo Freitas: Using formal methods for security in the Xenon project. CSIIRW 2010: 67
c13		Andrius Velykis, Leo Freitas: Formal Modelling of Separation Kernel Components. ICTAC 2010: 230-244
	2009
j8		Leo Freitas, Jim Woodcock: FDR Explorer. Formal Asp. Comput. 21(1-2): 133-154 (2009)
j7		Leo Freitas, Jim Woodcock: A Chain Datatype in Z. Int. J. Software and Informatics 3(2-3): 357-374 (2009)
j6		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		Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
j4		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		Leo Freitas: Mechanising Data-Types for Kernel Design in Z. SBMF 2009: 186-203
	2008
j3		Leo Freitas, Jim Woodcock: Mechanising Mondex with Z/Eves. Formal Asp. Comput. 20(1): 117-139 (2008)
c11		John P. McDermott, Leo Freitas: A formal security policy for xenon. FMSE 2008: 43-52
c10		Jim Woodcock, Leo Freitas: Linking VDM and Z. ICECCS 2008: 143-152
c9		Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
c8		Hugh Anderson, Gabriel Ciobanu, Leo Freitas: UTP and Temporal Logic Model Checking. UTP 2008: 22-41
	2007
j2		Leo Freitas, Jim Woodcock: FDR Explorer. Electr. Notes Theor. Comput. Sci. 187: 19-34 (2007)
c7		Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems 2007: 255-279
c6		Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14
c5		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		Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)
c4		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		Jim Woodcock, Leo Freitas: Z/Eves and the Mondex Electronic Purse. ICTAC 2006: 15-34
	2005
c2		Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252
c1		Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245

Coauthor Index

1	Hugh Anderson	[c8]
2	Andrew Butterfield	[j5] [c9]
3	Ana Cavalcanti	[j1] [c4] [c2]
4	Gabriel Ciobanu	[c8]
5	Zheng Fu	[j4] [c6]
6	Petra Malik	[c1]
7	John P. McDermott	[j9] [c14] [c11]
8	Tim Miller	[c1]
9	Konstantinos Mokos	[c5]
10	Mark Utting	[c1]
11	Andrius Velykis	[c13]
12	Paul Watson	[c15]
13	Jim Woodcock (J. C. P. Woodcock)	[j8] [j7] [j6] [j5] [j4] [j3] [c10] [c9] [j2] [c7] [c6] [c5] [j1] [c4] [c3] [c2]
14	Yichi Zhang	[j6]

Colors in the list of coauthors

Last update Sun May 26 02:29:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page