Gondal, Ali, Poppleton, Michael and Snook, Colin (2009) Feature composition - towards product lines of event-B models At 1st International Workshop on Model-Driven Product Line Engineering. 24 Jun 2009.
Sorge, Jennifer, Poppleton, Michael and Butler, Michael (2009) A Basis for feature-oriented modelling in Event-B s.n.
Poppleton, Michael and Banach, Richard, (2002) Controlling control systems: an application of evolving retrenchment Bert, Didier, Bowen, Jonathan P., Henson, Martin C. and Robinson, Ken (eds.) At ZB2002: Formal Specification and Development in Z and B, France. , pp. 42-61.
Poppleton, Michael R, and Banach, Richard N., (2003) Structuring Retrenchments in B by Decomposition Araki, Keijiro, Gnesi, Stefania and Mandrioli, Dino (eds.) At FME2003: International Symposium of Formal Methods Europe, Italy. , pp. 814-833.
Banach, Richard and Poppleton, Michael, (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements Menzies, Tim (ed.) At IEEE Model Based Requirements Engineering Workshop.
Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, (2005) Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) At FM 2005: International Symposium of Formal Methods Europe, United Kingdom. 18 - 22 Jul 2005. , pp. 382-398.
Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) Towards a methodology for rigorous development of generic requirements patterns Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) At Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom. , pp. 17-27.
Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) The engineering of generic requirements for failure management Kamsties, Erik, Gervasi, Vincenzo and Sawyer, Pete (eds.) At Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality. 13 - 14 Jun 2005. , pp. 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 pp. 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), pp. 266-288.
Poppleton, Michael R. and Banach, Richard N., (2004) Requirements Validation by Lifting Retrenchments in B Bellini, Pierfrancesco, Bohner, Shawn and Steffen, Bernhard (eds.) At ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, Italy. , pp. 87-96.
Yang, Letu and Poppleton, Michael, (2007) Automatic Translation from Combined B and CSP specification to Java Programs Juilland, Jacques and Kouchnarenko, Olga (eds.) At 7th International B Conference, France. 17 - 19 Jan 2007. , pp. 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 Kitchenham, B, Brereton, P and Turner, M (eds.) At 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), United Kingdom. 02 - 03 Apr 2007. , pp. 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), pp. 29-69.
Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, Bergstra, J.(ed.) (2007) Engineering and theoretical underpinnings of retrenchment Science of Computer Programming, 67, pp. 301-329.
Yang, Letu and Poppleton, Michael, (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java McEwan, A.A., Schneider, S., Ifill, W. and Welch, P.H. (eds.) At Communicating Process Architectures. , pp. 67-88.
Poppleton, Michael, (2007) Towards Feature-Oriented Specification and Development with Event-B Sawyer, Peter, Paech, Barbara and Heymans, Patrick (eds.) At REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Norway. , pp. 367-381.
Razali, R, Snook, C, Poppleton, M and Garratt, P (2007) Comprehensibility of UML-B - A Series of Controlled Experiments s.n.
Joochim, Tossaporn and Poppleton, Mike (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification At IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand.
Razali, R, Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments At 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007, Georgia. , pp. 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 At Abstract State Machines, B and Z: First International Conference (ABZ 2008), United Kingdom. 16 - 18 Sep 2008. 382 pp, pp. 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), pp. 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, 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" At McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering. , pp. 1-6.
Gondal, Ali, Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models At 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), Netherlands.
Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B At ABZ2010. 23 - 25 Feb 2010.
Joochim, Tossaporn, Snook, Colin, Poppleton, Mike and Gravell, Andrew (2010) Timing diagrams requirements modeling using Event-B formal methods At IASTED International Conference on Software Engineering (SE2010), Austria. 16 - 18 Feb 2010.
Gondal, Ali, Poppleton, Mike, Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B At International Conference on Software Engineering Theory and Practice (SETP-10), United States. 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), pp. 1007-1022.
Gondal, Ali, Poppleton, Mike and Butler, Michael, (2011) Composing Event-B Specifications - Case-Study Experience Apel, S and Jackson, E (eds.) At 10th International Conference on Software Composition, Switzerland. 30 Jun - 01 Jul 2011. , pp. 100-115.
Poppleton, Michael R. and Merrett, Geoff V. (2012) Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks At Third International Workshop on Software Engineering for Sensor Network Applications, Switzerland. 2 pp.
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 At iFM 2013: 10th International Conference on integrated Formal Methods, Finland. 10 - 14 Jun 2013. 15 pp.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Adding value to WSN simulation through formal modelling and analysis At Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, United States. 18 - 26 May 2013.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Proof-based formal methods for WSN development with Simulation Approach At 2013 Rodin Workshop, 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, pp. 1-15.
Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B In Fundamentals of Software Engineering. vol. 9392, , pp. 292-307.
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2015) A model-based trace testing approach for validation of formal co-simulation models At Symposium on Theory of Modeling and Simulation 2015, Spring Simulation Multi-Conference 2015, United States. 12 - 15 Apr 2015. 8 pp.
Birch, Geoff, Fischer, Bernd and Poppleton, Michael (2015) Fast model-based fault localisation with test suites In Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings. vol. 9154, Springer., pp. 38-57. (doi:10.1007/978-3-319-21215-9_3).
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, pp. 1-33.
Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2016) Modelling complex timing requirements with refinement At IEEE 17th International Conference on Information Reuse and Integration, United States. 28 - 30 Jul 2016. 9 pp.
Birch, Geoff, Fischer, Bernd and Poppleton, Michael (2016) Using fast model-based fault localisation to aid students in self-guided program repair and to improve assessment In ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. ACM., pp. 168-173.