Carlos Mao de Ferro
AuthID: R-00K-YJ5
1
TITLE: Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AUTHORS: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: de Ferro, Carlos Mao; Mavridou, Anastasia; Dille, Michael; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Formalizing Model Inference of MicroPython
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS
Scopus WOS