Carlos Mão de Ferro

According to our database, Carlos Mão de Ferro authored at least 4 papers between 2016 and 2023.

Collaborative distances:

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

2023

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Formalizing Model Inference of MicroPython.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the Coordination Models and Languages, 2023

2016

Automatic System for Zebrafish Counting in Fish Facility Tanks.

Francisco J. Silvério, Ana C. Certal, Carlos Mão de Ferro, Joana F. Monteiro, José Almeida Cruz, Ricardo Ribeiro, João Nuno Silva

Proceedings of the Image Analysis and Recognition - 13th International Conference, 2016