António Casimiro Ferreira da Costa


AuthID: R-000-1Z5

Confirmed Publications: 83



71
TITLE: Dependable adaptive real-time applications in wormhole-based systems
AUTHORS: Martins, P; Sousa, P; Casimiro, A ; Veríssimo, P ;
PUBLISHED: 2004, SOURCE: International Conference on Dependable Systems and Networks in 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
72
TITLE: Event-driven support of real-time sentient objects
AUTHORS: Veríssimo, P ; Casimiro, A ;
PUBLISHED: 2003, SOURCE: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003) in EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
73
TITLE: Generic timing fault tolerance using a timely computing base
AUTHORS: Casimiro, A ; Veríssimo, P ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
74
TITLE: The timely computing base model and architecture
AUTHORS: Veríssimo, P ; Casimiro, A ;
PUBLISHED: 2002, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 74
IN MY: ORCID
75
TITLE: Using atomic broadcast to implement a posteriori agreement for clock synchronization
AUTHORS: Rodrigues, L; Verissimo, P; Casimiro, A ;
PUBLISHED: 2002, SOURCE: Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
76
TITLE: Measuring distributed durations with stable errors
AUTHORS: Casimiro, A ; Martins, P; Verissimo, P ; Rodrigues, L ;
PUBLISHED: 2001, SOURCE: 22nd IEEE Real-Time Systems Symposium (RTSS 2001) in 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
77
TITLE: Using the Timely Computing Base for Dependable QoS adaptation  Full Text
AUTHORS: Casimiro, A ; Veríssimo, P ;
PUBLISHED: 2001, SOURCE: 20th IEEE Symposium on Reliable Distributed Systems (SRDS 2001) in 20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID
78
TITLE: How to build a timely computing base using real-time Linux
AUTHORS: Casimiro, A ; Martins, P; Verissimo, P ;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Workshop on Factory Communications Systems (WFCS 2000) in 2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
79
TITLE: The timely computing base: Timely actions in the presence of uncertain timeliness
AUTHORS: Veríssimo, P ; Casimiro, A ; Fetzer, C;
PUBLISHED: 2000, SOURCE: International Conference on Dependable Systems and Networks in DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID
80
TITLE: CESIUMSPRAY: A precise and accurate global time service for large-scale systems  Full Text
AUTHORS: Verissimo, P ; Rodrigues, L ; Casimiro, A ;
PUBLISHED: 1997, SOURCE: REAL-TIME SYSTEMS, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 61
IN MY: ORCID
Page 8 of 9. Total results: 83.

footer slogan

Useful Links

Get Help

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