| 2025 | HCI | A Privacy-Preserving Framework Enhancing University Student Engagement Using Machine Learning and Gamification. | Kelly Androutsopoulos, Can Baskent, Florian Kammller, Giacomo Nalli, Luca Piras, Halil Yetgin |
| 2025 | ITiCSE | Lessons from Adopting a Competency-based Assessment Approach for an Introductory Programming Module. | Kelly Androutsopoulos, Michael Heeney, Serengul Smith, Mae Antonette Ticar |
| 2014 | ICSE | An analysis of the relationship between conditional entropy and failed error propagation in software testing. | Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman |
| 2011 | ICSE | Model projection: simplifying models in response to restricting the environment. | Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
| 2009 | FASE | Control Dependence for Extended Finite State Machines. | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
| 2007 | SAC | Towards security monitoring patterns. | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
| 2004 | IFM | UML to B: Formal Verification of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | IFM | From Implicit Specifications to Explicit Designs in Reactive System Development. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | SAFECOMP | Safety and Security Analysis of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2000 | FASE | Structuring and Design of Reactive Systems Using RSDS and B. | Kevin Lano, Kelly Androutsopoulos, David Clark |
| 2000 | ICFEM | Structuring Reactive Systems in B AMN. | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
| 1999 | IFM | Reactive System Refinement of Distributed Systems in B. | Kevin Lano, Kelly Androutsopoulos |