 | 2005 |
|---|
| 7 |       | Augusto Sampaio,
Carlos Albuquerque,
João Vasconcelos,
Luckerson Cruz,
Luis Figueiredo,
Sérgio Cavalcante:
Software test program: a software residency experience.
ICSE 2005: 611-612 |
| 2004 |
|---|
| 6 | | Raimundo S. Barreto,
Sérgio Cavalcante,
Paulo Romero Martins Maciel:
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.
ICDCS Workshops 2004: 846-851 |
| 2003 |
|---|
| 5 | | Adnan Sherif,
Augusto Sampaio,
Sérgio Cavalcante:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.
ICATPN 2003: 161-180 |
| 4 |  | Fabio Campos,
Sérgio Cavalcante:
An Extended Approach for Dempster-Shafer Theory.
IRI 2003: 338-344 |
| 3 | | Raimundo S. Barreto,
Paulo Romero Martins Maciel,
Sérgio Cavalcante:
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software.
SBAC-PAD 2003: 72-81 |
| 2001 |
|---|
| 2 | | Adnan Sherif,
Augusto Sampaio,
Sérgio Cavalcante:
An Integrated Approach to Specification and Validation of Real-Time Systems.
FME 2001: 278-299 |
| 1999 |
|---|
| 1 | | Geber Ramalho,
Flávia A. Barros,
Sérgio Cavalcante,
Ana Cavalcanti,
Manoel Lima,
Silvio Romero de Lemos Meira,
Hermano Moura,
Alexandre Vasconcelos:
Cyber Rally: An experience of democratic use of the internet.
HCI (2) 1999: 402-406 |
