Carlos Mão de Ferro

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Real Time Systems

Termination Analysis

Top Venues

Publications

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Formalizing Model Inference of MicroPython. DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION (2023)
Francisco J. Silvério, Ana C. Certal, Carlos Mão de Ferro, Joana F. Monteiro, José Almeida Cruz, Ricardo Ribeiro, João Nuno Silva
Automatic System for Zebrafish Counting in Fish Facility Tanks. ICIAR (2016)