Francisco Cipriano D. da Cunha Martins
AuthID: R-00J-DHN
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: An Evaluation of LoRa Communication Range in Urban and Forest Areas: A Case Study in Brazil and Portugal
AUTHORS: Mariana Rodrigues Villarim; Joao Vitor H Holanda de Luna; Douglas de Farias Medeiros; Renata Imaculada S Soares Pereira; Cleonilson Protasio de Souza; Orlando Baiocchi; Francisco Cipriano D da Cunha Martins;
PUBLISHED: 2019, SOURCE: IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON) in 2019 IEEE 10TH ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (IEMCON)
AUTHORS: Mariana Rodrigues Villarim; Joao Vitor H Holanda de Luna; Douglas de Farias Medeiros; Renata Imaculada S Soares Pereira; Cleonilson Protasio de Souza; Orlando Baiocchi; Francisco Cipriano D da Cunha Martins;
PUBLISHED: 2019, SOURCE: IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON) in 2019 IEEE 10TH ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (IEMCON)
INDEXED IN: WOS
WOS