| Formal specification of a cardiac pacing system AO Gomes, MVM Oliveira FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 61 | 2009 |
| Formal development of a cardiac pacemaker: from specification to code AO Gomes, MVM Oliveira Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011 | 25 | 2011 |
| Modelling the Haemodialysis Machine with Circus AO Gomes, A Butterfield Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 18 | 2016 |
| Formal Specification of the ARINC 653 Architecture Using Circus A Oliveira Gomes University of York, 2012 | 15 | 2012 |
| Circus2CSP: A Tool for Model-Checking Circus Using FDR AO Gomes, A Butterfield International Symposium on Formal Methods, 235-242, 2019 | 1 | 2019 |
| Towards a Model-Checker for Circus AO Gomes, A Butterfield Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 1 | 2019 |
| Model-checking circus with FDR using Circus2CSP AO Gomes Ph. D. thesis, Trinity College Dublin, 2019 | 1 | 2019 |
| A Verified Translation from Circus to CSPM AO Gomes | | |
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
