António Casimiro Ferreira da Costa
AuthID: R-000-1Z5
31
TÃTULO: A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks Full Text
AUTORES: Jesus, G; Casimiro, A; Oliveira, A;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 9
AUTORES: Jesus, G; Casimiro, A; Oliveira, A;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 9
32
TÃTULO: Elastic State Machine Replication Full Text
AUTORES: Nogueira, A; Casimiro, A; Bessani, A ;
PUBLICAÇÃO: 2017, FONTE: IEEE Transactions on Parallel and Distributed Systems, VOLUME: 28, NÚMERO: 9
AUTORES: Nogueira, A; Casimiro, A; Bessani, A ;
PUBLICAÇÃO: 2017, FONTE: IEEE Transactions on Parallel and Distributed Systems, VOLUME: 28, NÚMERO: 9
33
TÃTULO: 3rd International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2017
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2017, FONTE: 47th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN) in 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W 2017)
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2017, FONTE: 47th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN) in 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W 2017)
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID34
TÃTULO: Enforcing timeliness and safety in mission-critical systems
AUTORES: António Casimiro; Inês Gouveia; José Rufino;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10300 LNCS
AUTORES: António Casimiro; Inês Gouveia; José Rufino;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10300 LNCS
35
TÃTULO: SSIV 2017 Welcome
AUTORES: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLICAÇÃO: 2017, FONTE: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
AUTORES: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLICAÇÃO: 2017, FONTE: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
36
TÃTULO: 2nd International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2016
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2016, FONTE: 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) in 2016 46TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W)
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2016, FONTE: 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) in 2016 46TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W)
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID37
TÃTULO: Introduction to SSIV 2016
AUTORES: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLICAÇÃO: 2016, FONTE: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
AUTORES: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLICAÇÃO: 2016, FONTE: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
38
TÃTULO: Workshop on Safety and Security of Intelligent Vehicles (SSIV)
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2015, FONTE: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015 in Proceedings of the International Conference on Dependable Systems and Networks, VOLUME: 2015-September
AUTORES: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLICAÇÃO: 2015, FONTE: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015 in Proceedings of the International Conference on Dependable Systems and Networks, VOLUME: 2015-September
39
TÃTULO: Improving sensor-fusion with environmental models
AUTORES: Jesus, G; Oliveira, A; Azevedo, A ; Casimiro, A;
PUBLICAÇÃO: 2015, FONTE: 14th IEEE SENSORS in 2015 IEEE SENSORS - Proceedings
AUTORES: Jesus, G; Oliveira, A; Azevedo, A ; Casimiro, A;
PUBLICAÇÃO: 2015, FONTE: 14th IEEE SENSORS in 2015 IEEE SENSORS - Proceedings
40
TÃTULO: Evaluation of Safety Rules in a Safety Kernel-Based Architecture Full Text
AUTORES: Eric Vial; Antonio Casimiro;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
AUTORES: Eric Vial; Antonio Casimiro;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
