Adnan Sherif

According to our database, Adnan Sherif authored at least 7 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

A process algebraic framework for specification and validation of real-time systems.

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio

Formal Aspects Comput., 2010

2007

Slotted-Circus.

Andrew Butterfield, Adnan Sherif, Jim Woodcock

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Constructing Property-Oriented Models for Verification.

Jifeng He, Shengchao Qin, Adnan Sherif

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2004

A Framework for Specification and Validation of Real-Time Systems Using <i>Circus</i> Actions.

Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.

Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Towards a Time Model for Circus.

Adnan Sherif, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2002

2001

An Integrated Approach to Specification and Validation of Real-Time Systems.

Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001