Adnan Sherif (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

3 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

1 Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante: An Integrated Approach to Specification and Validation of Real-Time Systems. FME 2001: 278-299

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

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
3		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
1		Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante: An Integrated Approach to Specification and Validation of Real-Time Systems. FME 2001: 278-299