| Behavioural preservation in fault tolerant patterns DM Dias, JM Iyoda Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF …, 2011 | 2 | 2011 |
| Mecanizando o componente de navegação do IBM’s CICS: um experimento do Grande Desafio D Dias, R Silva, L Freitas, A Duran | 2 | |
| Designing an unbounded buffer in rely-guarantee D Dias, L Freitas School of Computing Science Technical Report Series, 2014 | 1 | 2014 |
| Abstracting Interference in Postconditions D Dias, L Freitas, C Jones School of Computing Science Technical Report Series, 2014 | 1 | 2014 |
| Behavioural preservation in fault tolerant patterns DM DIAS Universidade Federal de Pernambuco, 2012 | 1 | 2012 |
| Compositionality and correctness of fault tolerant patterns in HOL4 D Dias, J Iyoda Science of Computer Programming 92, 105-128, 2014 | | 2014 |
| Verificação formal do escalonador e do sistema de troca de mensagens síncronas de um simple kernel DM Dias | | |
| Verificação formal dos módulos de troca de mensagens síncronas e alarmes de um Simple Kernel DM Dias | | |
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
