Artur Oliveira Gomes

According to our database, Artur Oliveira Gomes authored at least 5 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Circus2CSP: A Tool for Model-Checking Circus Using FDR.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards a Model-Checker for Circus.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2016

Modelling the Haemodialysis Machine with Circus.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2010

Formal Development of a Cardiac Pacemaker: From Specification to Code.

Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Formal Specification of a Cardiac Pacing System.

Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira

Proceedings of the FM 2009: Formal Methods, 2009