| 2005 | ||
|---|---|---|
| c7 | 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 | ||
| c6 | 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 | ||
| c5 | 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 | |
| c4 | ||
| c3 | 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 | ||
| c2 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante: An Integrated Approach to Specification and Validation of Real-Time Systems. FME 2001: 278-299 | |
| 1999 | ||
| c1 | 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 | |
| 1 | Carlos Albuquerque | |
| 2 | Raimundo S. Barreto | |
| 3 | Flávia de Almeida Barros (Flávia A. Barros) | |
| 4 | Fabio Campos | |
| 5 | Ana Cavalcanti | |
| 6 | Luckerson Cruz | |
| 7 | Luis Figueiredo | |
| 8 | Manoel Lima | |
| 9 | Paulo Romero Martins Maciel | |
| 10 | Silvio Romero de Lemos Meira (Silvio R. L. Meira) | |
| 11 | Hermano Moura | |
| 12 | Geber Ramalho | |
| 13 | Augusto Sampaio | |
| 14 | Adnan Sherif | |
| 15 | Alexandre Marcos Lins de Vasconcelos (Alexandre Vasconcelos) | |
| 16 | João Vasconcelos |
Colors in the list of coauthors
Last update Sat May 18 23:46:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page