متابعة
António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
بريد إلكتروني تم التحقق منه على di.fc.ul.pt
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
1911997
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‏
1222000
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‏
872021
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
A survey on data quality for dependable monitoring in wireless sensor networks‏
G Jesus, A Casimiro, A Oliveira‏
Sensors 17 (9), 2010, 2017‏
622017
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‏
622000
Evaluation of LoRa technology in flooding prevention scenarios‏
J Cecílio, PM Ferreira, A Casimiro‏
Sensors 20 (14), 4034, 2020‏
352020
Architecting robustness and timeliness in a new generation of aerospace systems‏
J Rufino, J Craveiro, P Verissimo‏
Architecting Dependable Systems VII, 146-170, 2010‏
342010
Event-driven support of real-time sentient objects‏
P Veríssimo, A Casimiro‏
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003‏
322003
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‏
312013
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‏
272021
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‏
272020
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‏
272013
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‏
252004
Timing failure detection with a timely computing base‏
A Casimiro, P Verissimo‏
Department of Informatics, University of Lisbon, 1999‏
231999
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
Elastic state machine replication‏
A Nogueira, A Casimiro, A Bessani‏
IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017‏
212017
Priority-based totally ordered multicast‏
L Rodrigues, P Veríssimo, A Casimiro‏
IFAC Proceedings Volumes 28 (5), 351-359, 1995‏
211995
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20