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 |