Carlos Mao de Ferro
AuthID: R-00K-YJ5
1
TÃTULO: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
2
TÃTULO: Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AUTORES: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTORES: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXADO EM: 
Scopus 
WOS
Scopus WOS3
TÃTULO: Formalizing Model Inference of MicroPython
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXADO EM: Scopus WOS
Scopus WOS