| 2008 |
|---|
| 5 | EE | Patrick Henrique da S. Brito,
Rogério de Lemos,
Cecília M. F. Rubira:
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.
HASE 2008: 177-186 |
| 2007 |
|---|
| 4 | EE | Patrick Henrique da S. Brito,
Rogério de Lemos,
Eliane Martins,
Cecília M. F. Rubira:
Architecture-Centric Fault Tolerance with Exception Handling.
LADC 2007: 75-94 |
| 2006 |
|---|
| 3 | EE | Fernando Castor Filho,
Patrick Henrique da S. Brito,
Cecília M. F. Rubira:
Reasoning About Exception Flow at the Architectural Level.
RODIN Book 2006: 80-99 |
| 2 | EE | Fernando Castor Filho,
Patrick Henrique da S. Brito,
Cecília M. F. Rubira:
Specification of exception flow in software architectures.
Journal of Systems and Software 79(10): 1397-1418 (2006) |
| 2005 |
|---|
| 1 | EE | Patrick Henrique da S. Brito,
Camila Ribeiro Rocha,
Fernando Castor Filho,
Eliane Martins,
Cecília M. F. Rubira:
A Method for Modeling and Testing Exceptions in Component-Based Software Development.
LADC 2005: 61-79 |
