| 2007 |
|---|
| 6 | EE | Andrew Butterfield,
Adnan Sherif,
Jim Woodcock:
Slotted-Circus.
IFM 2007: 75-97 |
| 2006 |
|---|
| 5 | EE | Jifeng He,
Shengchao Qin,
Adnan Sherif:
Constructing Property-Oriented Models for Verification.
UTP 2006: 85-100 |
| 2004 |
|---|
| 4 | EE | Adnan Sherif,
Jifeng He,
Ana Cavalcanti,
Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
ICTAC 2004: 478-493 |
| 2003 |
|---|
| 3 | EE | 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 |
| 2002 |
|---|
| 2 | EE | Adnan Sherif,
Jifeng He:
Towards a Time Model for Circus.
ICFEM 2002: 613-624 |
| 2001 |
|---|
| 1 | EE | Adnan Sherif,
Augusto Sampaio,
Sérgio Cavalcante:
An Integrated Approach to Specification and Validation of Real-Time Systems.
FME 2001: 278-299 |
