Følg
António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verifisert e-postadresse på di.fc.ul.pt
Tittel
Sitert av
Sitert av
År
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
712001
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20