Adnan Sherif

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22 (2) (2010)
Andrew Butterfield, Adnan Sherif, Jim Woodcock
Slotted-Circus. IFM (2007)
Jifeng He, Shengchao Qin, Adnan Sherif
Constructing Property-Oriented Models for Verification. UTP (2006)
Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
Actions. ICTAC (2004)
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)
Adnan Sherif, Jifeng He
Towards a Time Model for Circus. ICFEM (2002)
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
An Integrated Approach to Specification and Validation of Real-Time Systems. FME (2001)