Follow
António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at di.fc.ul.pt
Title
Cited by
Cited by
Year
The timely computing base model and architecture
P Veríssimo, A Casimiro
IEEE Transactions on Computers 51 (8), 916-930, 2002
2032002
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
1901997
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
1232000
Cortex: Towards supporting autonomous and cooperating sentient entities
P Verissimo, V Cahill, A Casimiro, K Cheverst, A Friday, J Kaiser
892002
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
722021
Using the timely computing base for dependable qos adaptation
A Casimiro, P Verissimo
Proceedings 20th IEEE Symposium on Reliable Distributed Systems, 208-217, 2001
722001
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
612000
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
482017
Architecting robustness and timeliness in a new generation of aerospace systems
J Rufino, J Craveiro, P Verissimo
Architecting Dependable Systems VII, 146-170, 2010
352010
Event-driven support of real-time sentient objects
P Veríssimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
312003
Evaluation of LoRa technology in flooding prevention scenarios
J Cecílio, PM Ferreira, A Casimiro
Sensors 20 (14), 4034, 2020
302020
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
302013
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
262004
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
252013
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
241999
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
232020
The timely computing base. DI
P Verıssimo, A Casimiro
FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999
22*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
212021
Elastic state machine replication
A Nogueira, A Casimiro, A Bessani
IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017
212017
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
202014
The system can't perform the operation now. Try again later.
Articles 1–20