Adnan Sherif
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2007
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | IFM | Slotted-Circus. | Andrew Butterfield, Adnan Sherif, Jim Woodcock |
| 2004 | ICTAC | A Framework for Specification and Validation of Real-Time Systems Using | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2002 | ICFEM | Towards a Time Model for Circus. | Adnan Sherif, Jifeng He |
| 2001 | FM | An Integrated Approach to Specification and Validation of Real-Time Systems. | Adnan Sherif, Augusto Sampaio, Srgio Cavalcante |