| The timely computing base model and architecture P Veríssimo, A Casimiro IEEE Transactions on Computers 51 (8), 916-930, 2002 | 204 | 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 | 192 | 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 | 122 | 2000 |
| Cortex: Towards supporting autonomous and cooperating sentient entities P Verissimo, V Cahill, A Casimiro, K Cheverst, A Friday, J Kaiser | 90 | 2002 |
| 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 | 88 | 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 | 72 | 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 | 63 | 2000 |
| A survey on data quality for dependable monitoring in wireless sensor networks G Jesus, A Casimiro, A Oliveira Sensors 17 (9), 2010, 2017 | 58 | 2017 |
| Evaluation of LoRa technology in flooding prevention scenarios J Cecílio, PM Ferreira, A Casimiro Sensors 20 (14), 4034, 2020 | 35 | 2020 |
| Architecting robustness and timeliness in a new generation of aerospace systems J Rufino, J Craveiro, P Verissimo Architecting Dependable Systems VII, 146-170, 2010 | 35 | 2010 |
| 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 | 31 | 2013 |
| Event-driven support of real-time sentient objects P Veríssimo, A Casimiro Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003 | 31 | 2003 |
| 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 | 28 | 2020 |
| 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 | 27 | 2013 |
| 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 | 25 | 2021 |
| 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 | 25 | 2004 |
| Timing failure detection with a timely computing base A Casimiro, P Verissimo Department of Informatics, University of Lisbon, 1999 | 25 | 1999 |
| The timely computing base. DI P Verıssimo, A Casimiro FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999 | 23* | 1999 |
| Elastic state machine replication A Nogueira, A Casimiro, A Bessani IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017 | 22 | 2017 |
| Priority-based totally ordered multicast L Rodrigues, P Veríssimo, A Casimiro IFAC Proceedings Volumes 28 (5), 351-359, 1995 | 21 | 1995 |
Paulo Esteves-VerissimoProfessor of Computer Science, RC3, CEMSE -- KAUST確認したメール アドレス: kaust.edu.sa
