Leo Freitas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An Axiomatic Value Model for Isabelle/UTP Unifying Theories of Programming | 2017-04-04 | Paper |
| Formalizing workflows partitioning over federated clouds: multi-level security and costs International Journal of Computer Mathematics | 2014-10-14 | Paper |
| Ours Is to Reason Why Theories of Programming and Formal Methods | 2013-08-16 | Paper |
| UTP and temporal logic model checking Unifying Theories of Programming | 2010-08-31 | Paper |
| FDR explorer Formal Aspects of Computing | 2009-05-27 | Paper |
| Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository Science of Computer Programming | 2009-03-02 | Paper |
| Mechanising a formal model of flash memory Science of Computer Programming | 2009-03-02 | Paper |
| POSIX file store in Z/Eves: An experiment in the verified software repository Science of Computer Programming | 2009-03-02 | Paper |
| Proving Theorems About JML Classes Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
| Z/Eves and the Mondex Electronic Purse Lecture Notes in Computer Science | 2008-09-11 | Paper |
| FM 2005: Formal Methods Lecture Notes in Computer Science | 2006-01-10 | Paper |
Research outcomes over time
This page was built for person: Leo Freitas
