B.Sc.(University of the Witwatersrand)
CPA07, B2007, SEW-30, SPLC06, SEEFM05, FM2005, REFSQ05, REFT05, ICECCS2004, FM2003, ESEC/FSE'03, ZB2003, RCS'03, REFINE02, ZB2002, ZB2000, IFM99, ASE99, B98
DSSE PGR Training
ECS Academic Integrity Officer (acting, semester 2 2008)
ECS EngD Director
Gondal, Ali, Poppleton, Michael and Snook, Colin (2009) Feature composition - towards product lines of event-B models. In, 1st International Workshop on Model-Driven Product Line Engineering, Twente, The Netherlands, 24 Jun 2009.
Sorge, Jennifer, Poppleton, Michael and Butler, Michael (2009) A Basis for feature-oriented modelling in Event-B. Pre-print, 14pp.
Poppleton, Michael and Banach, Richard (2002) Controlling control systems: an application of evolving retrenchment. ZB2002: Formal Specification and Development in Z and B, Grenoble, France, Springer-Verlag Lecture Notes in Computer Science, 42-61.
Poppleton, Michael R, and Banach, Richard N. (2003) Structuring Retrenchments in B by Decomposition. In, FME2003: International Symposium of Formal Methods Europe, Pisa, Italy, Springer Lecture Notes in Computer Science, 814-833.
Banach, Richard and Poppleton, Michael (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements. In, IEEE Model Based Requirements Engineering Workshop, San Diego, CA., IEEE Computer Society Press.
Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan (2005) Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. In, FM 2005: International Symposium of Formal Methods Europe, Newcastle, UK, 18 - 22 Jul 2005. Springer Lecture Notes in Computer Science, 382-398.
Snook, Colin, Poppleton, Michael and Johnson, Ian (2005) Towards a methodology for rigorous development of generic requirements patterns. In, Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, UK, , 17-27.
Snook, Colin, Poppleton, Michael and Johnson, Ian (2005) The engineering of generic requirements for failure management. In, Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, Oporto, 13 - 14 Jun 2005. Essener Informatik Beitraege, 145-160.
Poppleton, Michael and Groves, Lindsay (2006) Formal perspectives on software evolution: from refinement to retrenchment. In, Madhavji, Nadim, Fernandez-Ramil, Juan and Perry, Dewayne (eds.) Software Evolution and Feedback: Theory and Practice. , John Wiley, 313-338.
Banach, Richard and Poppleton, Michael, Loucopoulos, Peri and Mylopoulos, John (eds.) (2003) Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study. Requirements Engineering Journal, 8, (4), 266-288.
Poppleton, Michael R. and Banach, Richard N. (2004) Requirements Validation by Lifting Retrenchments in B. In, ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, IEEE Computer Society, 87-96.
Yang, Letu and Poppleton, Michael (2007) Automatic Translation from Combined B and CSP specification to Java Programs. In, 7th International B Conference, Besancon, France, 17 - 19 Jan 2007. Springer-Verlag Lecture Notes in Computer Science, 64-78.
Razali, R, Snook, C. F., Poppleton, M. R., Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. At 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), Keele, Staffordshire, UK, 02 - 03 Apr 2007. British Computer Society (BCS), 1-11.
Banach, Richard, Jeske, Czeslaw, Poppleton, Michael and Stepney, Susan, Skowron, A, Bartol, W, Polkowski, L and Rasiowa, H (eds.) (2007) Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundamenta Informaticae, 77, (1-2), 29-69.
Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, Bergstra, J. (eds.) (2007) Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67, 301-329.
Yang, Letu and Poppleton, Michael (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. In, Communicating Process Architectures, Surrey, IOS Press, 67-88.
Poppleton, Michael (2007) Towards Feature-Oriented Specification and Development with Event-B. In, REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Trondheim, Norway, Springer-Verlag, 367-381.
Razali, R, Snook, C, Poppleton, M and Garratt, P (2007) Comprehensibility of UML-B - A Series of Controlled Experiments.
Joochim, Tossaporn and Poppleton, Mike (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification. In, IAIT2007: The 2nd International Conference on Advances in Information Technology 2007,
Razali, R, Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments. In, 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007, Atlanta, US, Georgia, , 25-30.
Razali, Rozilawati, Snook, Colin, Poppleton, Michael and Garratt, Paul (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments
Poppleton, Michael (2008) The composition of Event-B models. In, Abstract State Machines, B and Z: First International Conference (ABZ 2008), London, GB, 16 - 18 Sep 2008. 382pp, 209-222. (doi:10.1007/978-3-540-87603-8_17).
Snook, Colin, Poppleton, Michael and Johnson, Ian (2008) Rigorous engineering of product-line requirements: a case study in failure management. [in special issue: Section 1: Most-cited software engineering articles in 2001. Section 2: Requirement engineering: Foundation for software quality] Information and Software Technology, 50, (1-2), 112-129. (doi:10.1016/j.infsof.2007.10.010).
Joochim, Tossaporn and Poppleton, Michael (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development. At 16th IEEE INTERNATIONAL REQUIREMENTS , Barcelona, Spain, 08 - 12 Sep 2008.
Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In, McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Nashville, TN, Department of Informatics and Mathematics University of Passau, Germany, 1-6.
Gondal, Ali, Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models. In, 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), Enschede, The , Netherlands, CTIT Workshop Proceedings.
Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. In, ABZ2010, Orford, Canada, 23 - 25 Feb 2010.
Joochim, Tossaporn, Snook, Colin, Poppleton, Mike and Gravell, Andrew (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS. In, IASTED International Conference on Software Engineering (SE2010), Innsbruck, Austria, 16 - 18 Feb 2010. ACTA Press.
Gondal, Ali, Poppleton, Mike, Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B. In, International Conference on Software Engineering Theory and Practice (SETP-10), Orlando, FL., USA, 12 - 14 Jul 2010.
Yang, Letu and Poppleton, Michael (2009) Java implementation platform for the integrated state- and event-based specification in PROB. Concurrency and Computation: Practice and Experience, 22, (8), 1007-1022. (doi:10.1002/cpe.1425).
Gondal, Ali, Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. In, 10th International Conference on Software Composition, Zurich , Switzerland, 30 Jun - 01 Jul 2011. Springer, 100-115.
Poppleton, Michael R. and Merrett, Geoff V. (2012) Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks. In, Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, Switzerland, 2pp.
Poppleton, Michael and Rezazadeh, Abdolbaghi (2012) Modelling the pacemaker in event-B: towards methodology for reuse. Southampton, GB, University of Southampton , 16pp.
Mery, Dominique and Poppleton, Michael (2013) Formal modelling and verification of population protocols. In, iFM 2013: 10th International Conference on integrated Formal Methods, Turku, FI, 10 - 14 Jun 2013. 15pp.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Adding value to WSN simulation through formal modelling and analysis. In, Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, San Francisco, US, 18 - 26 May 2013.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Proof-based formal methods for WSN development with Simulation Approach. In, 2013 Rodin Workshop, Turku, Finland, 10 - 11 Jun 2013.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2014) A formal co-simulation approach for wireless sensor network development. Electronic Communications of the EASST, 70, 1-15.
Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B. Fundamentals of Software Engineering, 9392, 292-307. (doi:10.1007/978-3-319-24644-4_20).
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2015) A model-based trace testing approach for validation of formal co-simulation models. In, Symposium on Theory of Modeling and Simulation 2015, Spring Simulation Multi-Conference 2015, Alexandria, US, 12 - 15 Apr 2015. Society for Modeling & Simulation International (SCS)8pp.
Mery, Dominique and Poppleton, Michael (2015) Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Software and Systems Modeling, 1-33. (doi:10.1007/s10270-015-0504-y).