António Casimiro

Publications

COPYRIGHT NOTICE: Reports contained in this page are included by the contributing authors as a mechanism to ensure timely dissemination of scholarly and technical work on a non-commerical basis. Copyright and all rights therein are retained by authors or by other copyright holders, despite the fact they have offered this information electronically. It is understood that all individuals copying this information will adhere to the terms/constraints invoked by each author's copyright.

Book Chapters

2007
António Casimiro, Jörg Kaiser and Paulo Veríssimo
Generic-Events Architecture: Integrating real-world aspects in event-based systems
Architecting Dependable Systems IV, LNCS 4615, Rogério de Lemos, Cristina Gacek and Alexander Romanovsky (Eds.), 2007

Edited Books

2010
IJAACSAntonio Casimiro, Rogério de Lemos, Cristina Gacek (Eds.)
Architecting Dependable Systems VII, 1st Edition, December 2010
324 p., Softcover ISBN: 978-3-642-17244-1
IJAACSZonghua Zhang, Farid Naït-Abdesselam, Sherali Zeadally and António Casimiro (Guest Eds.)
International Journal of Autonomous and Adaptive Communications Systems (IJAACS). Volume 3 - Issue 2 – 2010. Special Issue on: "Security, Trust, and Privacy in DTN and Vehicular Communications"
ISSN (Online): 1754-8640 - ISSN (Print): 1754-8632

Journal, Conference and Workshop Papers

2017
António Casimiro, Inês Gouveia and José Rufino
Enforcing Timeliness and Safety in Mission-Critical Systems
Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017.
2015
Gonçalo Jesus, Anabela Oliveira, Alberto Azevedo and António Casimiro
Improving sensor-fusion with environmental models
Proceedings of 2015 IEEE Sensors, Busan, South Korea, November 2015.
Best paper award
Radu Onica, Nuno Ferreira Neves and António Casimiro
Fault-Tolerant Precision Time Protocol for Smart Grids
Proceedings of the 7th Simpósio de Informática (INFORUM 2015), Covilhã, Portugal, September 2015.
Rúben Menezes, António Casimiro, José A. Alegria and Paulo T. Serrão
Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet
Fast Abstract at the 7th Simpósio de Informática (Inforum 2015), Covilhã, Portugal, September 2015.
2014
Eric Vial and António Casimiro
Evaluation of Safety Rules in a Safety Kernel-Based Architecture
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2014), Florence, Italy, September 2014.
Gonçalo Jesus, Anabela Oliveira and António Casimiro
Ensuring reliable measurements in remote aquatic sensor networks
Proceedings of the 11th International Conference on Hydroinformatics, New York City, USA, August 2014.
Filipe Araujo, Serhiy Boychenko, Raul Barbosa and António Casimiro
Replica placement to mitigate attacks on clouds
Journal of Internet Services and Applications (JISA), Volume 5 Number 1, July 2014.
António Casimiro, Oscar Morales-Ponce, Thomas Petig and Elad M. Schiller
Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed
The Thirteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN 2014), Proceedings of the 34th International Conference on Distributed Computing Systems Workshops, Madrid, Spain, June 2014.
António Casimiro, José Rufino, Ricardo C. Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce and Thomas Petig
A Kernel-based Architecture for Safe Cooperative Vehicular Functions
Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, June 2014.
Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino and Pedro Costa
An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance
Workshop on Embedded Real-Time Software and Systems, Toulouse, France, February 2014.
2013
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, and Paulo Veríssimo
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
Proceedings of the 14th ACM/IFIP/USENIX International Middleware Conference, Beijing, China, December 2013.
Luís Marques and António Casimiro
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS'13), Braga, Portugal, September 2013.
Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, and José Rufino
Safety Kernel for Cooperative Sensor-Based Systems
2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, September 2013.
António Casimiro, Jörg Kaiser, Elad Michael Schiller, Pedro Costa, José Parizi, Rolf Johansson, and Renato Librino
The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems
2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems, Budapest, Hungary, June 2013.
João Alves, António Casimiro, and Luís Marques
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks
LNCS 7869. Proceedings of the 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.
Gonçalo Jesus, António Casimiro, and Anabela Oliveira
Towards Dependable Measurements in Coastal Sensors Networks
LNCS 7869. Proceedings of the 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.
2012
Filipe Araujo, Raul, Barbosa, and António Casimiro
Replication for Dependability on Virtualized Cloud Environments
Proceedings of the 10th International Workshop on Middleware for Clouds and e-science, Montreal, Quebec, Canada, December 2012.
António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, and Renato Librino
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
Brief Announcement at the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Totonto, Canada, October 2012.
Luís Marques and António Casimiro
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of SAFECOMP 2012 Workshops, Magdeburg, Germany, September 2012.
Mônica Dixit, António Casimiro, Paolo Lolinni, Andrea Bondavalli and Paulo Veríssimo
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 7 Issue 2, July 2012.
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raúl Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi and Priya Narasimhan
TRONE: Trustworthy and Resilient Operations in a Network Environment
The Second International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV'12), Proceedings of the 2012 IEEE/IFIP 42nd Dependable Systems and Networks Workshops, Boston, MA, USA, June 2012.
Amir Soltani Nezhad, António Casimiro and Paulo Veríssimo
A Secure Architecture for a Recursive Virtualization Environment
Fast Abstract Proceedings of the International Conference on Dependable Systems and Networks (DSN'12), Boston, MA, USA, June 2012.
Diego Kreutz, António Casimiro and Marcelo Pasin
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures
Proceedings of the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), LNCS 7272, pp 87-95, Stockholm, Sweden, June 2012.
Mônica Dixit, Henrique Moniz and António Casimiro
Timeout-based Adaptive Consensus: Improving Performance through Adaptation
Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Riva del Garda (Trento), Italy, March 2012.
2011
Smruti Padhy, Diego Kreutz, António Casimiro and Marcelo Pasin
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
Proceedings of ACM/IFIP/USENIX 12th International Middleware Conference, Poster session, Lisbon, Portugal, December 2011.
Luís Marques, António Casimiro
Lightweight Dependable Adaptation for Wireless Sensor Networks
4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'11), in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDS'11),Madrid, Spain, October 2011.
António Casimiro, Mônica Dixit
From static to dynamic protocols: adapting timeouts for improved performance
Proceedings of the I Workshop on Autonomic Distributed Systems (WoSIDA'11), Campo Grande, Brazil, May 2011.
2010
Mônica Dixit and António Casimiro
Adaptare-FD: A dependability-oriented adaptive failure detector
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010.
Luís Marques and António Casimiro
Data Validity and Dependable Perception in Networked Sensor-Based Systems
3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), in Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010.
Luís Marques and António Casimiro
Dependable Perception in Wireless Sensor Networks
Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, Braga, Portugal, September 2010.
2009
António Casimiro, José Rufino, Luís Marques, Mário Calha and Paulo Veríssimo
Applying architectural hybridization in networked embedded systems
Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009.
Luís Marques and António Casimiro
Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications
Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009.
Luís Marques, António Casimiro and M. Calha
Design and development of a proof-of-concept platooning application using the HIDENETS architecture
Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009.
Mônica Dixit, António Casimiro and P. Veríssimo
Probabilistic Adaptive Time-Aware Consensus
Eurosys 2009, WIP session, Nuremberg, Germany, March 2009.
2008
Mônica Dixit, António Casimiro, Nuno Laranjeiro and Marco Vieira
Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Napoli, Italy, October 2008.
António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli and Paulo Veríssimo
A framework for dependable QoS adaptation in probabilistic environments
Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC'08), Fortaleza, Ceara, Brazil, March 2008.
2007
Henrique Moniz, Nuno F. Neves, Miguel Correia, António Casimiro and Paulo Verissimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'07), Melbourne, Victoria, Australia, December 2007.
Hans P. Reiser and António Casimiro
Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
4th International Workshop on Dependable Embedded Systems (WDES'07), Bejing, China, October 2007.
Hugo Ortiz, António Casimiro and Paulo Veríssimo
Architecture and Implementation of an Embedded Wormhole
In Proceedings of the 2007 Symposium on Industrial Embedded Systems (SIES'07), Lisbon, Portugal, July 2007.
António Casimiro, Marco Vieira and Henrique Madeira
Middleware Support for Time-Elastic Database Applications
Fast Abstract at the 2007 International Conference on Dependable Systems and Networks (DSN'07), Edimburgh, UK, June 2007.
Marco Vieira, António Casimiro and Henrique Madeira
Towards Timely ACID Transactions in DBMS
The 12th International Conference on Database Systems for Advanced Applications (DASFAA'07), Bangkok, Thailand, April 2007.
2006
Marco Vieira, António Casimiro and Henrique Madeira
Towards Timely ACID Transactions in DBMS (Short Paper)
The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC'06), Riverside, USA, December 2006.
António Casimiro, Odorico Mendizabal and Paulo Veríssimo
On the development of dependable embedded applications using specialized wormholes
3rd International Workshop on Dependable Embedded Systems (WDES'06), Leeds, UK, October 2006.
2005
Marco Vieira, António Casimiro and Henrique Madeira
TACID Transactions
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep'05), Yokohama, Japan, June 2005.
Pedro Martins, Paulo Sousa, António Casimiro and Paulo Veríssimo
A New Programming Model for Dependable Adaptive Real-Time Applications
IEEE Distributed Systems Online, vol.6, n.5, May 2005
2004
Pedro Martins, António Casimiro and Paulo Veríssimo
A Generic Temporal Consistency Model for Distributed Control Systems
Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), Lisbon, Portugal, December 2004.
Pedro Martins, Paulo Sousa, António Casimiro and Paulo Veríssimo
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004.
Marco Vieira, António Casimiro and Henrique Madeira
Timely ACID Transactions in DBMS
Fast Abstract at the 2004 International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004.
António Casimiro, Jörg Kaiser and Paulo Veríssimo
An Architectural Framework and a Middleware for Cooperating Smart Components
Proceedings of the First Conference on Computing Frontiers (FRONTIERS'04), Ischia, Italy, April 2004.
2003
Paulo Veríssimo, Jörg Kaiser and António Casimiro
An architecture to support interaction via Generic Events
24th IEEE Real-time Systems Symposium (RTSS'03), Work in Progress Proceedings, Cancun, Mexico, December 2003.
Paulo Sousa, Pedro Martins, António Casimiro and Paulo Veríssimo
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
6a Conferência sobre Redes de Computadores (CRC'03), Bragança, Portugal, Setembro 2003.
Paulo Veríssimo and António Casimiro
Event-Driven Support of Real-Time Sentient Objects
Proceedings of 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03), Guadalajara, Mexico, January 2003.
2002
Paulo Veríssimo and António Casimiro
The Timely Computing Base Model and Architecture
IEEE Transactions on Computers - Special Section on Asynchronous Real-Time Systems, 51(8):916-930, August 2002.
António Casimiro and Paulo Veríssimo
Generic Timing Fault Tolerance using a Timely Computing Base
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN'02), Washington D.C., USA, June 2002.
Paulo Veríssimo, Vinny Cahill, António Casimiro, Keith Cheverst, Adrian Friday and Jörg Kaiser
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities
Proceedings of European Wireless 2002 (EW'02), Florence, Italy, February 2002.
2001
António Casimiro, Pedro Martins, Paulo Veríssimo and Luís Rodrigues
Measuring Distributed Durations with Stable Errors
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS'01), London, UK, December 2001.
António Casimiro and Paulo Veríssimo
Using the Timely Computing Base for Dependable QoS Adaptation
Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems (SRDS'01), New Orleans, USA, October 2001.
António Casimiro and Miguel Correia
Recent Advances on the Timely Computing Base Model
Fast Abstract Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), Göteborg, Sweden, June 2001.
2000
Paulo Veríssimo, António Casimiro, Luís M. Pinho, Francisco Vasques, Luís Rodrigues and Eduardo Tovar
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems (DCCS'00), Sydney, Australia, November 2000.
António Casimiro, Pedro Martins and Paulo Veríssimo
How to Build a Timely Computing Base using Real-Time Linux
Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems (WFCS'00), Porto, Portugal, September 2000.
Paulo Veríssimo, António Casimiro and Christof Fetzer
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
Proceedings of the International Conference on Dependable Systems and Networks (DSN'00), New York, USA, June 2000.
1999
Paulo Veríssimo and António Casimiro
The Timely Computing Base
Fast Abstract Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing (FTCS'99), Madison, Wiscosin, USA, June 1999.
António Casimiro and Paulo Veríssimo
Timing Failure Detection with a Timely Computing Base
Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 1999.
1997
Paulo Veríssimo, Luís Rodrigues and António Casimiro
CesiumSpray: A Precise and Accurate Global Clock Service for Large-Scale Systems
Journal of Real-Time Systems, 12(3):243-294, May 1997.
1996
Paulo Veríssimo, Sérgio Melro, António Casimiro and Luís Silva
Distributed Industrial Information Systems: Design and Experience
Proceedings of the 2nd International Conference on Architectures and Design Methods for Balanced Automation Systems (BASYS'96), Lisboa, Portugal, June 1996.
1995
Luís Rodrigues, António Casimiro and Paulo Veríssimo
Priority-based totally ordered multicast
Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95), Ostend, Belgium, May 1995.
1993
Luís Rodrigues, Paulo Veríssimo and António Casimiro
Using atomic broadcast to implement a posteriori agreement for clock synchronization
Proceedings of the 12th Symposium on Reliable Distributed Systems (SRDS'93), Princeton, New Jersey, USA, October 1993.

Technical Reports

2012
Luís Marques and António Casimiro,
Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks
Technical Report DI/FCUL TR-12-04, Department of Informatics, University of Lisboa, July 2012
2010
Mônica Dixit, Henrique Moniz and António Casimiro,
Timeout Adaptive Consensus: Improving Performance through Adaptation
Technical Report DI/FCUL TR-10-06, Department of Informatics, University of Lisboa, December 2009
2009
Mônica Dixit, António Casimiro, Paulo Veríssimo, Paolo Lolinni and Andrea Bondavalli
A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments
Technical Report DI/FCUL TR-09-19, Department of Informatics, University of Lisboa, December 2009
2007
António Casimiro, Paolo Lolinni, Mônica Dixit, Andrea Bondavalli and Paulo Veríssimo
A framework for dependable adaptation in probabilistic environments
Technical Report DI/FCUL TR-07-24, Department of Informatics, University of Lisboa, October 2007
J. Arlat, M. Kâaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, M-O. Killijian, A. Kövi, Y. Liu, P. Lollini, E.V. Matthiesen, M. Radimirsch, T. Renier, N. Rivière, M. Roy, H-P. Schwefel, I-E. Svinnset and H. Waeselynck
Revised reference model
Technical Report DI/FCUL TR-07-20, Department of Informatics, University of Lisboa, September 2007
A. Casimiro, A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Di Giandomenico, G. Huszerl, M.-O. Killijian, A. Kövi, E.V. Matthiesen, O. Mendizabal, H. Moniz, T. Renier and M. Roy
Resilient architecture (preliminary version)
Technical Report DI/FCUL TR-07-19, Department of Informatics, University of Lisboa, September 2007
M. Radimirsch, E.V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kâaniche, I.E. Svinnset, A. Casimiro and L. Falai
Use case scenarios and preliminary reference model
Technical Report DI/FCUL TR-07-18, Department of Informatics, University of Lisboa, September 2007
2003
Paulo Sousa, Pedro Martins, António Casimiro and Paulo Veríssimo
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
Technical Report DI/FCUL TR-03-23, Department of Informatics, University of Lisboa, July 2003
V. Cahill, A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Veríssimo and M. Wu
Proof-of-concept prototypes
Technical Report DI/FCUL TR-03-20, Department of Informatics, University of Lisboa, July 2003
G. Biegel, G. Blair, C. Brudna, V. Cahill, A. Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, J. Kaiser, R. Meier, V. Reynolds, P. Veríssimo and M. Wu
The CORTEX Programming Model
Technical Report DI/FCUL TR-03-19, Department of Informatics, University of Lisboa, July 2003
G. Blair, C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins and P. Veríssimo
Preliminary Specification of Basic Services and Protocols
Technical Report DI/FCUL TR-03-18, Department of Informatics, University of Lisboa, July 2003
C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier and P. Veríssimo
Preliminary definition of CORTEX system architecture
Technical Report DI/FCUL TR-03-17, Department of Informatics, University of Lisboa, July 2003
G. Biegel, C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri and P. Veríssimo
Preliminary definition of CORTEX interaction model
Technical Report DI/FCUL TR-03-16, Department of Informatics, University of Lisboa, July 2003
P. Barron, G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, R. Meier and P. Veríssimo
Preliminary definition of CORTEX programming model
Technical Report DI/FCUL TR-03-15, Department of Informatics, University of Lisboa, July 2003
G. Biegel, G. Blair, V. Cahill, A. Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, J. Kaiser, R. Meier, N. Riejers and P. Veríssimo
Definition of Application Scenarios
Technical Report DI/FCUL TR-03-14, Department of Informatics, University of Lisboa, July 2003
2002
P. Veríssimo, V. Cahill, A. Casimiro, K. Cheverst, A. Friday and J. Kaiser
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects
Technical Report DI/FCUL TR-02-1, Department of Informatics, University of Lisboa, February 2002
2001
António Casimiro and Paulo Veríssimo
Using the Timely Computing Base for Dependable QoS Adaptation
Technical Report DI/FCUL TR-01-3, Department of Informatics, University of Lisboa, July 2001
2000
Pedro Martins and António Casimiro
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
Technical Report DI/FCUL TR-00-4, Department of Informatics, University of Lisboa, July 2000
1999
António Casimiro and Paulo Veríssimo
Timing Failure Detection with a Timely Computing Base
Technical Report DI/FCUL TR-99-8, Department of Informatics, University of Lisboa, November 1999
Paulo Veríssimo and António Casimiro
The Timely Computing Base
Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999
1995
António Casimiro
Uma Panorâmica Sobre Sistemas SCADA
Technical Report, RT/14-95, INESC, Lisboa, Portugal, June 1995
1991
Luís Rodrigues, Paulo Veríssimo and António Casimiro
xAMp Time Service Specification
Technical Report, RT/66-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991
António Casimiro, Luís Rodrigues and Henrique Fonseca
Design Specification of the xAMp Time Service
Technical Report, RT/65-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991
António Casimiro, Luís Rodrigues and Henrique Fonseca
xAMp Time Service User Specification
Technical Report, RT/64-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991

Thesis

2003
António Casimiro
Timely Actions in the Presence of Uncertain Timeliness
PhD Thesis, Universidade de Lisboa, January 2003
1995
António Casimiro
NavCim, Uma Arquitectura Distribuída de Suporte ao Controlo e Supervisão em Tempo-Real de Processos Industriais
Tese de Mestrado, Instituto Superior Técnico, Setembro 1995
1991
António Casimiro
Algoritmos de Sincronização de Relógios por Convergência não Ponderada em Redes de Difusão
Trabalho Final de Curso, Instituto Superior Técnico, Setembro 1991