| 2026 | MODELSWARD | An Operational Semantics for Extended OCL. | Kevin Lano |
| 2025 | MODELS | Sustainability Implications of Large Language Model use in Model-Driven Engineering. | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Qiaomu Xue |
| 2025 | SANER | Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language. | Hanan Abdulwahab Siala, Kevin Lano |
| 2024 | MODELS | Using OCL for verified re-engineering. | Kevin Lano, Hanan Abdulwahab Siala |
| 2024 | MODELSWARD | Comparative Evaluation of NLP Approaches for Requirements Formalisation. | Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar |
| 2023 | MODELS | Trends and Insights into the Use of Model-Driven Engineering: A Survey. | Hessa Alfraihi, Kevin Lano |
| 2023 | MODELS | Program Abstraction and Re-Engineering: An Agile MDE Approach. | Kevin Lano, Howard P. Haughton, Ziwen Yuan, Hessa Alfraihi |
| 2023 | MODELSWARD | Lightweight Software Language Processing Using Antlr and CGTL. | Kevin Lano, Qiaomu Xue |
| 2023 | MODELSWARD | Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. | Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin |
| 2022 | ICSE | Program translation using model-driven engineering. | Kevin Lano |
| 2022 | MODELS | OCL-based test case prioritisation using AgileUML. | Kunxiang Jin, Kevin Lano |
| 2022 | MODELS | Design and classification of mutation operators for OCL specification. | Kunxiang Jin, Kevin Lano |
| 2022 | MODELS | OCL libraries for software specification and representation. | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin |
| 2022 | MODELSWARD | Code Generation by Example. | Kevin Lano, Qiaomu Xue |
| 2021 | ANT | Model-based Testing and Monitoring using AgileUML. | Kevin Lano, Kunxiang Jin, Shefali Tyagi |
| 2021 | MODELS | Automated Requirements Formalisation for Agile MDE. | Kevin Lano, Sobhan Yassipour Tehrani, Muhammad Aminu Umar |
| 2020 | MODELS | Untitled record | Kevin Lano, Shichao Fang, Shekoufeh Kolahdouz Rahimi |
| 2020 | MODELS | Enhancing model transformation synthesis using natural language processing. | Kevin Lano, Shichao Fang, Muhammad Aminu Umar, Sobhan Yassipour Tehrani |
| 2020 | MODELSWARD | Automated Synthesis of ATL Transformations from Metamodel Correspondences. | Kevin Lano, Shichao Fang |
| 2019 | MODELS | Simplified Specification Languages for Flexible and Agile Modelling. | Kevin Lano, Shichao Fang, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
| 2018 | MODELS | Comparative case studies in agile model-driven development. | Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton |
| 2017 | MODELS | Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study. | Hessa Alfraihi, Kevin Lano |
| 2017 | MODELS | A Process for Integrating Agile Software Development and Model-driven Development. | Hessa Alfraihi, Kevin Lano |
| 2017 | MODELS | Agile Model-driven Engineering of Financial Applications. | Kevin Lano, Howard P. Haughton, Sobhan Yassipour Tehrani, Hessa Alfraihi |
| 2017 | MODELSWARD | The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. | Hessa Alfraihi, Kevin Lano |
| 2016 | MODELS | Verified bidirectional transformations by construction. | Kevin Lano, Sobhan Yassipour Tehrani |
| 2015 | MODELS | Experiences of Teaching Model-based Development. | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi |
| 2014 | CloudCom | Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations. | Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler |
| 2013 | CloudCom | Runtime Infrastructure Optimisation in Cloud IaaS Structures. | Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler |
| 2013 | MODELSWARD | Towards a Meta-model of the Cloud Computing Resource Landscape. | Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler |
| 2013 | MODELSWARD | Optimising Model-transformations using Design Patterns. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2012 | ICSoft | Synthesis of Software from Logical Constraints. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 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 |
| 2010 | ICSoft | Slicing of UML Models. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2010 | IFM | Specification and Verification of Model Transformations Using UML-RSDS. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2010 | MODELS | Slicing of UML Models Using Model Transformations. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2007 | ICECCS | A light-weight static approach to analyzing UML behavioral properties. | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
| 2007 | SEFM | Formal Specification using Interaction Diagrams. | Kevin Lano |
| 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 | FASE | Rigorous Development in UML. | Kevin Lano, Andy Evans |
| 1999 | IFM | Reactive System Refinement of Distributed Systems in B. | Kevin Lano, Kelly Androutsopoulos |
| 1998 | SAFECOMP | Linking Hazard Analysis to Formal Specification and Design in B. | Kevin Lano, Pauline Kan, Arturo Sanchez |
| 1997 | ECOOP | Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
| 1997 | FM | Specification of Required Non-determinism. | Kevin Lano, Juan Bicarregui, Jos Luiz Fiadeiro, Antnia Lopes |
| 1997 | FM | Design of Reactive Control Systems for Event-Drivem Operations. | Kevin Lano, Arturo Sanchez |
| 1997 | SAFECOMP | Refinement and Safety Analysis. | Kevin Lano |
| 1995 | FORTE | Distributed System Specification in VDM | Kevin Lano |
| 1995 | ICECCS | Specifying static analysis tools using formal methods. | Kevin Lano |
| 1995 | ICECCS | Discrete event process controller synthesis using VDM | Kevin Lano, Stephen J. Goldsack |
| 1992 | ECOOP | Reasoning and Refinement in Object-Oriented Specification Languages. | Kevin Lano, Howard P. Haughton |
| 1992 | LFCS | Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. | Kevin Lano |
| 1991 | EPIA | A Constraint-Based Fuzzy Inference System. | Kevin Lano |