António Casimiro Ferreira da Costa


AuthID: R-000-1Z5

Confirmed Publications: 85



31
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)
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
32
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
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
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)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
36
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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
38
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Martins, R ; 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
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
39
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
40
TITLE: Middleware support for adaptive real-time applications in wireless sensor networks
AUTHORS: Alves, J; Casimiro, A ; Marques, L;
PUBLISHED: 2013, SOURCE: 14th European Workshop on Dependable Computing, EWDC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7869 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 4 of 9. Total results: 85.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service