António Casimiro
António Casimiro
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at
TitleCited byYear
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 Verissimo, 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 Verissimo, A Casimiro
Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003
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
Timing failure detection with a timely computing base
A Casimiro, P Verissimo
Department of Informatics, University of Lisbon, 1999
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
Priority-based totally ordered multicast
L Rodrigues, P Veríssimo, A Casimiro
IFAC Proceedings Volumes 28 (5), 351-359, 1995
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
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
Generic timing fault tolerance using a timely computing base
A Casimiro, P Verissimo
Proceedings International Conference on Dependable Systems and Networks, 27-36, 2002
A survey on data quality for dependable monitoring in wireless sensor networks
G Jesus, A Casimiro, A Oliveira
Sensors 17 (9), 2010, 2017
Adaptare-FD: A dependability-oriented adaptive failure detector
M Dixit, A Casimiro
2010 29th IEEE Symposium on Reliable Distributed Systems, 141-147, 2010
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
Distributed computer-controlled systems: the DEAR-COTS approach
P Veríssimo, A Casimiro, L Rodrigues, LM Pinho, E Tovar, F Vasques
16th IFAC Workshop on Distributed Computer Control Systems, 128-135, 2000
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
The system can't perform the operation now. Try again later.
Articles 1–20