Adnan Sherif - Citegraph

Author Info

Name	Affiliation	Papers
ADNAN SHERIF	Universidade Federal de Pernambuco	7
Collaborators	Citations	PageRank
9	83	5.26
Referers	Referees	References
98	96	88

Publications (7 rows)

Collaborators (9 rows)

Referers (98 rows)

Referees (96 rows)

Title	Citations	PageRank	Year
A process algebraic framework for specification and validation of real-time systems	30	1.07	2010
Slotted-Circus	5	0.44	2007
Constructing property-oriented models for verification	1	0.35	2006
A framework for specification and validation of real-time systems using circus actions	11	0.76	2004
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets	3	0.44	2003
Towards a Time Model for Circus	31	1.81	2002
An Integrated Approach to Specification and Validation of Real-Time Systems	2	0.40	2001

1