António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at
Cited by
Cited by
The timely computing base model and architecture
P Veríssimo, A Casimiro
IEEE Transactions on Computers 51 (8), 916-930, 2002
Cesiumspray: a precise and accurate global time service for large-scale systems
P Verissimo, L Rodrigues, A Casimiro
Real-Time Systems 12, 243-294, 1997
The timely computing base: Timely actions in the presence of uncertain timeliness
P Veríssimo, A Casimiro, C Fetzer
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
Cortex: Towards supporting autonomous and cooperating sentient entities
P Verissimo, V Cahill, A Casimiro, K Cheverst, A Friday, J Kaiser
Computing paradigms in emerging vehicular environments: A review
L Silva, N Magaia, B Sousa, A Kobusińska, A Casimiro, ...
IEEE/CAA Journal of Automatica Sinica 8 (3), 491-511, 2021
Using the timely computing base for dependable qos adaptation
A Casimiro, P Verissimo
Proceedings 20th IEEE Symposium on Reliable Distributed Systems, 208-217, 2001
How to build a timely computing base using real-time linux
A Casimiro, P Martins, P Verissimo
2000 IEEE International Workshop on Factory Communication Systems …, 2000
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
Architecting robustness and timeliness in a new generation of aerospace systems
J Rufino, J Craveiro, P Verissimo
Architecting Dependable Systems VII, 146-170, 2010
Event-driven support of real-time sentient objects
P Veríssimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
Evaluation of LoRa technology in flooding prevention scenarios
J Cecílio, PM Ferreira, A Casimiro
Sensors 20 (14), 4034, 2020
The karyon project: Predictable and safe coordination in cooperative vehicular systems
A Casimiro, J Kaiser, EM Schiller, P Costa, J Parizi, R Johansson, ...
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
Experiences with fault-injection in a byzantine fault-tolerant protocol
R Martins, R Gandhi, P Narasimhan, S Pertet, A Casimiro, D Kreutz, ...
Middleware 2013: ACM/IFIP/USENIX 14th International Middleware Conference …, 2013
An architectural framework and a middleware for cooperating smart components
A Casimiro, J Kaiser, P Verissimo
Proceedings of the 1st Conference on Computing Frontiers, 28-39, 2004
Model-based stealth attack to networked control system based on real-time Ethernet
P Ferrari, E Sisinni, P Bellagente, S Rinaldi, M Pasetti, AO de Sá, ...
IEEE Transactions on Industrial Electronics 68 (8), 7672-7683, 2020
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
Using machine learning for dependable outlier detection in environmental monitoring systems
G Jesus, A Casimiro, A Oliveira
ACM Transactions on Cyber-Physical Systems 5 (3), 1-30, 2021
Elastic state machine replication
A Nogueira, A Casimiro, A Bessani
IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017
The timely computing base. DI
P Verıssimo, A Casimiro
FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999
A kernel-based architecture for safe cooperative vehicular functions
A Casimiro, J Rufino, RC Pinto, E Vial, EM Schiller, O Morales-Ponce, ...
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
The system can't perform the operation now. Try again later.
Articles 1–20