| Language and tool support for class and state machine refinement in UML-B MY Said, M Butler, C Snook FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 63 | 2009 |
| A method of refinement in UML-B MY Said, M Butler, C Snook Software & Systems Modeling 14, 1557-1580, 2015 | 48 | 2015 |
| Methodology of refinement and decomposition in UML-B MY Said University of Southampton, 2010 | 14 | 2010 |
| Class and state machine refinement in UML-B MY Said, M Butler, C Snook | 8 | 2009 |
| Development of SLA monitoring tools based on proposed DMI in cloud computing NSM Jamail, R Atan, R Abdullah, MY Said Transactions on Machine Learning and Artificial Intelligence 3 (1), 01, 2015 | 5 | 2015 |
| Finest authorizing member of common criteria certification MAM Isa, R Mahmod, H Hashim, MY Said, NI Udzir, AD Tanha Proceedings Title: 2012 International Conference on Cyber Security, Cyber …, 2012 | 3 | 2012 |
| UML-B C Snook, M Butler, MY Said | 2 | 2012 |
| A METHOD FOR MATCHING MODELS IN UML-B. MB JASSER, MARYAH SAID, AA ABDUL GHANI, PA SAMAT Journal of Theoretical & Applied Information Technology 96 (3), 2018 | 1 | 2018 |
| Game theory: trust model for common criteria certifications & evaluations MAM Isa, R Mahmod, H Hashim, NI Udzir, AD Tanha, MY Said International Journal of Cyber-Security and Digital Forensics 1 (1), 50-59, 2012 | 1 | 2012 |
| Application of Social Media Among Medical Practitioner for Sharing Tacit Knowledge: A Pilot Study A Amidi, YY Jusoh, MY Said, MA Jabar, RH Abdullah Computational Science and Technology: 4th ICCST 2017, Kuala Lumpur, Malaysia …, 2018 | | 2018 |
| ATM Case study models-UML-B/Event-B MY Said, C Snook, M Butler University of Southampton, 2012 | | 2012 |
| Class and State Machine Refinement in UML-B MY Said, M Butler, C Snook | | 2009 |
| Game Theory: Trust Model for Common Criteria Certifications & Evaluations H Hashim, NI Udzir, AD Tanha, MY Said | | |
| Finest Authorizing Member of Common Criteria Certification H Hashim, MY Said, NI Udzir, AD Tanha | | |
| Dynamic Monitoring Interval to Economize SLA Evaluation in Cloud Computing NSM Jamail, R Atan, R Abdullah, MY Said | | |
