Adnan Sherif (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100

4 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

2 Adnan Sherif, Jifeng He: Towards a Time Model for Circus. ICFEM 2002: 613-624

Selection of 3 from 6 records - Adnan Sherif has 7 coauthors

5		Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100
4		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
2		Adnan Sherif, Jifeng He: Towards a Time Model for Circus. ICFEM 2002: 613-624