| 2015 | AAAI | Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. | Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin |
| 2015 | RE | Requirements, behaviours, and software engineering (keynote). | Michael Jackson |
| 2014 | ICSE | Requirements-driven mediation for collaborative security. | Amel Bennaceur, Arosha K. Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu, Bashar Nuseibeh |
| 2013 | ICSE | Towards a formalism-based toolkit for automotive applications. | Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara |
| 2012 | ICSE | Formalisms and structures. | Michael Jackson |
| 2009 | RE | Are Your Lights Off? Using Problem Frames to Diagnose System Failures. | Thein Than Tun, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Yijun Yu |
| 2007 | APSEC | Specialising in Software Engineering. | Michael Jackson |
| 2007 | APSEC | The Problem Frames Approach to Software Engineering. | Michael Jackson |
| 2007 | SEFM | Problem Oriented Software Engineering: A design-theoretic framework for software engineering. | Jon G. Hall, Lucia Rapanotti, Michael Jackson |
| 2007 | SEFM | Specialising in Software Engineering. | Michael Jackson |
| 2005 | ICSE | Where do you go when you're through the turnstile? | Michael Jackson, Pamela Zave |
| 2004 | Coordination | Problem Frames: A Case for Coordination. | Leonor Barroca, Jos Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh |
| 2004 | ICSE | Problem Structure and Dependable Architecture. | Michael Jackson |
| 2004 | RE | Composing Requirements Using Problem Frames. | Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh |
| 2004 | RE | Using Abuse Frames to Bound the Scope of Security Problems. | Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson |
| 2004 | RE | Architecture-driven Problem Decomposition. | Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh |
| 2003 | RE | Introducing Abuse Frames for Analysing Security Requirements. | Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett |
| 2002 | RE | Relating Software Requirements and Architectures Using Problem Frames. | Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti |
| 2001 | RE | Formalism and Informality in RE. | Michael Jackson |
| 2000 | DAC | Design closure (panel session): hope or hype? | Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson, Lawrence T. Pileggi, Louis Scheffer |
| 1999 | FM | The Role of Formalism in Method. | Michael Jackson |
| 1997 | ICECCS | Problem complexity. | Michael Jackson |
| 1997 | RE | Requirements for Telecommunications Services: An Attack on Complexity. | Pamela Zave, Michael Jackson |
| 1995 | ICSE | The World and the Machine. | Michael Jackson |
| 1995 | ICSE | Deriving Specifications from Requirements: An Example. | Michael Jackson, Pamela Zave |
| 1995 | RE | Problems and requirements (software development). | Michael Jackson |
| 1994 | RE | The role of software architecture in requirements engineering. | M. Chandra Shekaran, David Garlan, Michael Jackson, Nancy R. Mead, Colin Potts, Howard B. Reubenstein |
| 1993 | RE | Domain descriptions. | Michael Jackson, Pamela Zave |
| 1991 | FM | Description is our Business. | Michael Jackson |
| 1991 | FM | Techniques for Partial Specification and Specification of Switching Systems. | Pamela Zave, Michael Jackson |
| 1989 | ICSE | Software Development in the Year 2000. | Michael Jackson |
| 1989 | ICSE | Software Engineering for Business DP: Looking Back and Looking Forward. | Michael Jackson |
| 1987 | OOPSLA | Banquet speech - objects and other subjects. | Michael Jackson |
| 1978 | ICSE | Information Systems: Modelling, Sequencing and Transformations. | Michael Jackson |