| 2008 |
| 17 | EE | Antonio Casimiro,
Paolo Lollini,
M. Dixit,
Andrea Bondavalli,
Paulo Veríssimo:
A framework for dependable QoS adaptation in probabilistic environments.
SAC 2008: 2192-2196 |
| 2007 |
| 16 | EE | Henrique Moniz,
Nuno Ferreira Neves,
Miguel Correia,
Antonio Casimiro,
Paulo Veríssimo:
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.
PRDC 2007: 357-364 |
| 15 | EE | Hugo Ortiz,
Antonio Casimiro,
Paulo Veríssimo:
Architecture and Implementation of an Embedded Wormhole.
SIES 2007: 341-344 |
| 2006 |
| 14 | EE | Antonio Casimiro,
Jörg Kaiser,
Paulo Veríssimo:
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.
WADS 2006: 287-315 |
| 2005 |
| 13 | EE | Pedro Martins,
Paulo Sousa,
Antonio Casimiro,
Paulo Veríssimo:
A New Programming Model for Dependable Adaptive Real-Time Applications.
IEEE Distributed Systems Online 6(5): (2005) |
| 2004 |
| 12 | EE | Antonio Casimiro,
Jörg Kaiser,
Paulo Veríssimo:
An architectural framework and a middleware for cooperating smart components.
Conf. Computing Frontiers 2004: 28-39 |
| 11 | EE | Pedro Martins,
Paulo Jorge Paiva de Sousa,
Antonio Casimiro,
Paulo Veríssimo:
Dependable Adaptive Real-Time Applications in Wormhole-based Systems.
DSN 2004: 567- |
| 2003 |
| 10 | EE | Paulo Veríssimo,
Antonio Casimiro:
Event-Driven Support of Real-Time Sentient Objects.
WORDS 2003: 2-9 |
| 2002 |
| 9 | EE | Antonio Casimiro,
Paulo Veríssimo:
Generic Timing Fault Tolerance using a Timely Computing Base.
DSN 2002: 27-38 |
| 8 | EE | Paulo Veríssimo,
Antonio Casimiro:
The Timely Computing Base Model and Architecture.
IEEE Trans. Computers 51(8): 916-930 (2002) |
| 2001 |
| 7 | EE | Antonio Casimiro,
Pedro Martins,
Luís Rodrigues,
Paulo Veríssimo:
Measuring Distributed Durations with Stable Error.
IEEE Real-Time Systems Symposium 2001: 310- |
| 6 | EE | Antonio Casimiro,
Paulo Veríssimo:
Using the Timely Computing Base for Dependable QoS Adaptation.
SRDS 2001: 208-217 |
| 2000 |
| 5 | EE | Paulo Veríssimo,
Antonio Casimiro,
Christof Fetzer:
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness.
DSN 2000: 533-542 |
| 1997 |
| 4 | | Paulo Veríssimo,
Luís Rodrigues,
Antonio Casimiro:
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems.
Real-Time Systems 12(3): 243-294 (1997) |
| 1994 |
| 3 | | Antonio Casimiro,
F. Conçalves,
João Paulo Teixeira,
Marcelino B. Santos:
On the Analysis of Routing Cells and Adjacency Faults in CMOS Digital Circuits.
DFT 1994: 263-270 |
| 1993 |
| 2 | | Antonio Casimiro,
M. Simões,
Marcelino B. Santos,
Isabel C. Teixeira,
João Paulo Teixeira:
Experiments on Bridging Fault Analysis and Layout-Level DFT for CMOS Designs.
DFT 1993: 109-116 |
| 1 | | Paulo Veríssimo,
Antonio Casimiro,
Luís Rodrigues:
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization.
SRDS 1993: 115-124 |