António Casimiro Ferreira da Costa
AuthID: R-000-1Z5
21
TÃTULO: Self-stabilizing manoeuvre negotiation: The case of virtual traffic lights Full Text
AUTORES: Casimiro, A; Ekenstedt, E; Schiller, EM;
PUBLICAÇÃO: 2019, FONTE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTORES: Casimiro, A; Ekenstedt, E; Schiller, EM;
PUBLICAÇÃO: 2019, FONTE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
22
TÃTULO: Generic sensor failure modeling for cooperative systems Full Text
AUTORES: Jäger, G; Zug, S; Casimiro, A;
PUBLICAÇÃO: 2018, FONTE: Sensors (Switzerland), VOLUME: 18, NÚMERO: 3
AUTORES: Jäger, G; Zug, S; Casimiro, A;
PUBLICAÇÃO: 2018, FONTE: Sensors (Switzerland), VOLUME: 18, NÚMERO: 3
23
TÃTULO: Dependable Outlier Detection in Harsh Environments Monitoring Systems
AUTORES: Jesus, G; Casimiro, A; Oliveira, A;
PUBLICAÇÃO: 2018, FONTE: 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP) in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, VOLUME: 11094
AUTORES: Jesus, G; Casimiro, A; Oliveira, A;
PUBLICAÇÃO: 2018, FONTE: 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP) in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, VOLUME: 11094
24
TÃTULO: Reliable Software Technologies – Ada-Europe 2018. 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
AUTORES: António Casimiro; Pedro M Ferreira;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science
AUTORES: António Casimiro; Pedro M Ferreira;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science
25
TÃTULO: Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles Full Text
AUTORES: Cunha, JC ; Branc, KC; Casimiro, A; Nunes, UJC;
PUBLICAÇÃO: 2017, FONTE: IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, VOLUME: 9, NÚMERO: 1
AUTORES: Cunha, JC ; Branc, KC; Casimiro, A; Nunes, UJC;
PUBLICAÇÃO: 2017, FONTE: IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, VOLUME: 9, NÚMERO: 1
26
TÃTULO: A few open problems and solutions for software technologies for dependable distributed systems Full Text
AUTORES: Garcia Valls, M; Casimiro, A; Reiser, HP;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 73
AUTORES: Garcia Valls, M; Casimiro, A; Reiser, HP;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 73
27
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
28
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
29
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
ORCID30
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
