| Towards a Time Model for Circus A Sherif, H Jifeng International Conference on Formal Engineering Methods, 613-624, 2002 | 92 | 2002 |
| A process algebraic framework for specification and validation of real-time systems A Sherif, A Cavalcanti, H Jifeng, A Sampaio Formal Aspects of Computing 22, 153-191, 2010 | 68 | 2010 |
| A Framework for Specification and Validation of Real-Time Systems Using Circus Actions A Sherif, H Jifeng, A Cavalcanti, A Sampaio Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005 | 39 | 2005 |
| Slotted-circus: A UTP-family of reactive theories A Butterfield, A Sherif, J Woodcock Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007 | 38 | 2007 |
| A Framework For Specification, Veri-cation and Development of Real Time Systems using Circus A Sherif, H Jifeng | 8 | 2002 |
| Specification and validation of the saci-1 on-board computer using timed-csp-z and petri nets A Sherif, A Sampaio, S Cavalcante Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 6 | 2003 |
| An integrated approach to specification and validation of real-time systems A Sherif, A Sampaio, S Cavalcante FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 5 | 2001 |
| Formal Specification and Validation of Real-Time Systems A Sherif Master's thesis, Centro de Informática, UFPE, 2000 | 3 | 2000 |
| Constructing property-oriented models for verification J He, S Qin, A Sherif International Symposium on Unifying Theories of Programming, 85-100, 2006 | 2 | 2006 |
| 4591 A Butterfield, A Sherif, J Woodcock Lecture Notes in Computer Science-Springer 4591 (1), 75-97, 2007 | 1 | 2007 |
| 4010 J He, S Qin, A Sherif Lecture Notes in Computer Science-Springer 4010 (1), 58-100, 2006 | | 2006 |
| Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and P Nets Applications and theory of petri nets 2003: 24th International Conference …, 2003 | | 2003 |
| A Framework For Specification, Veri-cationandDevelopmentofRealTime Systems using A Sherif, H Jifeng | | |
| UNU/IIST A Sherif, H Jifeng | | |
| Using ABACO to Animate a Real-time Specification Language A Sherif, A Cavalcanti, H Moura Action Semantics AS 2002, 9, 0 | | |
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br