António Casimiro Ferreira da Costa
AuthID: R-000-1Z5
31
TITLE: A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks Full Text
AUTHORS: Jesus, G; Casimiro, A; Oliveira, A;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 9
AUTHORS: Jesus, G; Casimiro, A; Oliveira, A;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 9
32
TITLE: Elastic State Machine Replication Full Text
AUTHORS: Nogueira, A; Casimiro, A; Bessani, A ;
PUBLISHED: 2017, SOURCE: IEEE Transactions on Parallel and Distributed Systems, VOLUME: 28, ISSUE: 9
AUTHORS: Nogueira, A; Casimiro, A; Bessani, A ;
PUBLISHED: 2017, SOURCE: IEEE Transactions on Parallel and Distributed Systems, VOLUME: 28, ISSUE: 9
33
TITLE: 3rd International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2017
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2017, SOURCE: 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)
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2017, SOURCE: 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)
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID34
TITLE: Enforcing timeliness and safety in mission-critical systems
AUTHORS: António Casimiro; Inês Gouveia; José Rufino;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10300 LNCS
AUTHORS: António Casimiro; Inês Gouveia; José Rufino;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10300 LNCS
35
TITLE: SSIV 2017 Welcome
AUTHORS: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLISHED: 2017, SOURCE: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
AUTHORS: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLISHED: 2017, SOURCE: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
36
TITLE: 2nd International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2016
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2016, SOURCE: 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)
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2016, SOURCE: 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)
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID
ORCID37
TITLE: Introduction to SSIV 2016
AUTHORS: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLISHED: 2016, SOURCE: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
AUTHORS: Joao Carlos Cunha ; Kalinka Branco; Antonio Casimiro; Urbano Nunes;
PUBLISHED: 2016, SOURCE: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
38
TITLE: Workshop on Safety and Security of Intelligent Vehicles (SSIV)
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Cunha, JC ; Branco, K; Casimiro, A; Nunes, U;
PUBLISHED: 2015, SOURCE: 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
TITLE: Improving sensor-fusion with environmental models
AUTHORS: Jesus, G; Oliveira, A; Azevedo, A ; Casimiro, A;
PUBLISHED: 2015, SOURCE: 14th IEEE SENSORS in 2015 IEEE SENSORS - Proceedings
AUTHORS: Jesus, G; Oliveira, A; Azevedo, A ; Casimiro, A;
PUBLISHED: 2015, SOURCE: 14th IEEE SENSORS in 2015 IEEE SENSORS - Proceedings
40
TITLE: Evaluation of Safety Rules in a Safety Kernel-Based Architecture Full Text
AUTHORS: Eric Vial; Antonio Casimiro;
PUBLISHED: 2014, SOURCE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
AUTHORS: Eric Vial; Antonio Casimiro;
PUBLISHED: 2014, SOURCE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
