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 (ICIAR, 2016)

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. - Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins (COORDINATION, 2023)

Formalizing Model Inference of MicroPython. - Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins (DSN-W, 2023)

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. - Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins (DSN-W, 2023)