| 2012 |
|
| 2011 |
Smruti Padhy, Diego Kreuts, 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.
|
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, 2011, to appear.
|
|
| 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 |
|
| 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 |
|
| 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 |
|
