Artur Oliveira Gomes
Title
Cited by
Cited by
Year
Formal specification of a cardiac pacing system
AO Gomes, MVM Oliveira
International Symposium on Formal Methods, 692-707, 2009
552009
Formal development of a cardiac pacemaker: from specification to code
AO Gomes, MVM Oliveira
Brazilian Symposium on Formal Methods, 210-225, 2010
222010
Modelling the Haemodialysis Machine with Circus
AO Gomes, A Butterfield
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
122016
Formal Specification of the ARINC 653 Architecture Using Circus
A Oliveira Gomes
University of York, 2012
92012
Towards a Model-Checker for Circus
AO Gomes, A Butterfield
International Symposium on Formal Methods, 217-234, 2019
12019
Model-checking circus with FDR using Circus2CSP
AO Gomes
Ph. D. thesis, Trinity College Dublin, 2019
12019
Circus2CSP: A Tool for Model-Checking Circus Using FDR
AO Gomes, A Butterfield
International Symposium on Formal Methods, 235-242, 2019
2019
A Verified Translation from Circus to CSPM
AO Gomes
The system can't perform the operation now. Try again later.
Articles 1–8