António Casimiro Ferreira da Costa
AuthID: R-000-1Z5
31
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
ORCID32
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)
33
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
34
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
35
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
36
TITLE: A Kernel-based Architecture for Safe Cooperative Vehicular Functions
AUTHORS: Antonio Casimiro; Jose Rufino; Ricardo C Pinto; Eric Vial; Elad M Schiller; Oscar Morales Ponce; Thomas Petig;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
AUTHORS: Antonio Casimiro; Jose Rufino; Ricardo C Pinto; Eric Vial; Elad M Schiller; Oscar Morales Ponce; Thomas Petig;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
37
TITLE: Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed Full Text
AUTHORS: Antonio Casimiro; Oscar Morales Ponce; Thomas Petig; Elad M Schiller;
PUBLISHED: 2014, SOURCE: 34th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2014 IEEE 34TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), VOLUME: 30-June-2014
AUTHORS: Antonio Casimiro; Oscar Morales Ponce; Thomas Petig; Elad M Schiller;
PUBLISHED: 2014, SOURCE: 34th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2014 IEEE 34TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), VOLUME: 30-June-2014
38
TITLE: Replica placement to mitigate attacks on clouds
AUTHORS: Araujo, F; Boychenko, S; Barbosa, R ; Casimiro, A;
PUBLISHED: 2014, SOURCE: Journal of Internet Services and Applications, VOLUME: 5, ISSUE: 1
AUTHORS: Araujo, F; Boychenko, S; Barbosa, R ; Casimiro, A;
PUBLISHED: 2014, SOURCE: Journal of Internet Services and Applications, VOLUME: 5, ISSUE: 1
39
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Rolando Martins ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS
AUTHORS: Rolando Martins ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS
40
TITLE: Fighting uncertainty in highly dynamic wireless sensor networks with probabilistic models Full Text
AUTHORS: Marques, L; Casimiro, A;
PUBLISHED: 2013, SOURCE: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTHORS: Marques, L; Casimiro, A;
PUBLISHED: 2013, SOURCE: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
