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 (3), 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
Proceedings of European Wireless 2002 (EW2002), 595-601, 2002
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
Event-driven support of real-time sentient objects
P Veríssimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
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
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
The timely computing base. DI
P Verıssimo, A Casimiro
FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr …, 1999
Using atomic broadcast to implement a posteriori agreement for clock synchronization
L Rodrigues, P Veríssimo, A Casimiro
Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems, 115-124, 1993
A framework for dependable QoS adaptation in probabilistic environments
A Casimiro, P Lollini, M Dixit, A Bondavalli, P Veríssimo
Proceedings of the 2008 ACM symposium on Applied computing, 2192-2196, 2008
Priority-based totally ordered multicast
L Rodrigues, P Veríssimo, A Casimiro
IFAC Proceedings Volumes 28 (5), 351-359, 1995
Elastic state machine replication
A Nogueira, A Casimiro, A Bessani
IEEE Transactions on Parallel and Distributed Systems 28 (9), 2486-2499, 2017
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
Generic timing fault tolerance using a timely computing base
A Casimiro, P Veríssimo
Proceedings International Conference on Dependable Systems and Networks, 27-36, 2002
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
A Casimiro, J Kaiser, J Karlsson, EM Schiller, P Tsigas, P Costa, J Parizi, ...
Symposium on Self-Stabilizing Systems, 232-235, 2012
Measuring distributed durations with stable errors
A Casimiro, P Martins, P Veríssimo, L Rodrigues
Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001)(Cat. No …, 2001
The system can't perform the operation now. Try again later.
Articles 1–20