Reactive System Refinement of Distributed Systems in B. - Kevin Lano; Kelly Androutsopoulos (IFM, 1999)

Structuring and Design of Reactive Systems Using RSDS and B. - Kevin Lano; Kelly Androutsopoulos; David Clark 001 (FASE, 2000)

Invariant-Based Synthesis of Fault-Tolerant Systems. - Kevin Lano; David Clark 001; Kelly Androutsopoulos; Pauline Kan (FTRTFT, 2000)

Structuring Reactive Systems in B AMN. - Kevin Lano; Kelly Androutsopoulos; Pauline Kan (ICFEM, 2000)

From Implicit Specifications to Explicit Designs in Reactive System Development. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (IFM, 2002)

Safety and Security Analysis of Object-Oriented Models. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (SAFECOMP, 2002)

RSDS, a Subset of UML with Precise Semantics. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (Obj. Logiciel Base données Réseaux, 2003)

UML to B: Formal Verification of Object-Oriented Models. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (IFM, 2004)

Refinement Patterns for UML. - Kevin Lano; Kelly Androutsopoulos; David Clark 001 (REFINE, 2005)

Towards security monitoring patterns. - George Spanoudakis; Christos Kloukinas; Kelly Androutsopoulos (SAC, 2007)

Control Dependence for Extended Finite State Machines. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Zheng Li 002; Laurence Tratt (FASE, 2009)

A theoretical and empirical study of EFSM dependence. - Kelly Androutsopoulos; Nicolas Gold; Mark Harman; Zheng Li 002; Laurence Tratt (ICSM, 2009)

An alternative characterization of weak order dependence. - Torben Amtoft; Kelly Androutsopoulos; David Clark 001; Mark Harman; Zheng Li 002 (Inf. Process. Lett., 2010)

Model projection: simplifying models in response to restricting the environment. - Kelly Androutsopoulos; David W. Binkley; David Clark 001; Nicolas Gold; Mark Harman; Kevin Lano; Zheng Li 002 (ICSE, 2011)

State-based model slicing: A survey. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Jens Krinke; Laurence Tratt (ACM Comput. Surv., 2013)

Amorphous Slicing of Extended Finite State Machines. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Robert M. Hierons; Zheng Li 002; Laurence Tratt (IEEE Trans. Software Eng., 2013)

A Racket-Based Robot to Teach First-Year Computer Science. - Franco Raimondi; Giuseppe Primiero; Kelly Androutsopoulos; Nikos Gorogiannis; Martin J. Loomes; Michael Margolis; Puja Varsani; Nick Weldin; Alex Zivanovic (ELS, 2014)

An analysis of the relationship between conditional entropy and failed error propagation in software testing. - Kelly Androutsopoulos; David Clark 001; Haitao Dan; Robert M. Hierons; Mark Harman (ICSE, 2014)

MIRTO: an Open-Source Robotic Platform for Education. - Kelly Androutsopoulos; L. Aristodemou; Jaap Boender; Michele Bottone; Edward Currie; I. El-Aroussi; Bob Fields; L. Gheri; Nikos Gorogiannis; Miltos Heeney; Michael Micheletti; Martin J. Loomes; et al. (ECSEE, 2018)

Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology - Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5. - Kelly Androutsopoulos (Genet. Program. Evolvable Mach., 2019)

Correctly Slicing Extended Finite State Machines. - Torben Amtoft; Kelly Androutsopoulos; David Clark 001 (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes. - Michael Heeney; Kelly Androutsopoulos; Franco Raimondi (ICPEC, 2024)

Lessons from Adopting a Competency-based Assessment Approach for an Introductory Programming Module. - Kelly Androutsopoulos; Michael Heeney; Serengul Smith; Mae Antonette Ticar (ITiCSE (2), 2025)