From Programs to Z Specifications. - Kevin Lano; Peter T. Breuer (Z User Workshop, 1989)

Z++, An Object-orientated Extension to Z. - Kevin Lano (Z User Workshop, 1990)

An Algebraic Semantics for the Specification Language Z++. - Kevin Lano; Howard P. Haughton (AMAST, 1991)

A Constraint-Based Fuzzy Inference System. - Kevin Lano (EPIA, 1991)

Objects revisited. - Howard P. Haughton; Kevin Lano (ICSM, 1991)

Intuitionistic Modal Logic and Set Theory. - Kevin Lano (J. Symb. Log., 1991)

Creating specifications from code: Reverse-engineering techniques. - Peter T. Breuer; Kevin Lano (J. Softw. Maintenance Res. Pract., 1991)

A specification-based approach to maintenance. - Kevin Lano; Howard P. Haughton (J. Softw. Maintenance Res. Pract., 1991)

Reasoning and Refinement in Object-Oriented Specification Languages. - Kevin Lano; Howard P. Haughton (ECOOP, 1992)

Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. - Kevin Lano (LFCS, 1992)

Object-Oriented Specification Techniques. - Kevin Lano (TOOLS (7), 1992)

Z++. - Kevin Lano (Object Orientation in Z, 1992)

Reuse and Adaptation of Z Specifications. - Kevin Lano; Howard P. Haughton (Z User Workshop, 1992)

Integrating Formal and Structured Methods in Reverse Engineering. - Kevin Lano; Howard P. Haughton (WCRE, 1993)

The Intuitionistic Alternative Set Theory. - Kevin Lano (Ann. Pure Appl. Log., 1993)

A compendium of formal techniques for software maintenance. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Softw. Eng. J., 1993)

Formal specifications in software maintenance: from code to Z++ and back again. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Inf. Softw. Technol., 1993)

Reverse-engineering Cobol via formal methods. - Kevin Lano; Peter T. Breuer; Howard P. Haughton (J. Softw. Maintenance Res. Pract., 1993)

Refinement, Subtyping and Subclassing in VDM++. - Kevin Lano; Stephen J. Goldsack (Theory and Formal Methods, 1994)

Testing and Safety Analysis of AM (Abstract Machine) Specifications. - Howard P. Haughton; Kevin Lano (Refine, 1994)

Refinement in Object-Oriented Specification Languages. - Kevin Lano (Refine, 1994)

Improving the Process of System Specification and Refinement in B. - Kevin Lano; Howard P. Haughton (Refine, 1994)

Transformational Program Analysis. - Kevin Lano (Softw. Test. Verification Reliab., 1994)

Formal object-oriented development. - Kevin Lano (Springer, 1995)

Distributed System Specification in VDM++. - Kevin Lano (FORTE, 1995)

Specifying static analysis tools using formal methods. - Kevin Lano (ICECCS, 1995)

Discrete event process controller synthesis using VDM++. - Kevin Lano; Stephen J. Goldsack (ICECCS, 1995)

Reactive System Specification and Refinement. - Kevin Lano (TAPSOFT, 1995)

Formal development in B abstract machine notation. - Kevin Lano; Howard P. Haughton (Inf. Softw. Technol., 1995)

The B language and method - a guide to practical formal development. - Kevin Lano (Springer, 1996)

Annealing and Data Decomposition in VDM++. - Stephen J. Goldsack; Kevin Lano; Eugène Dürr (ACM SIGPLAN Notices, 1996)

Enhancing Object-Oriented Methods with Formal Notations. - Kevin Lano (Theory Pract. Object Syst., 1996)

Towards a compositional interpretation of object diagrams. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Specification and Refinement of Continuous Real-Time Systems. - Stephen J. Goldsack; Kevin Lano; Eugène Dürr (ARTS, 1997)

Transformational Formal Development of Real-Time Systems. - Kevin Lano; Arturo Sanchez (ARTS, 1997)

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP, 1997)

Formalizing Object-Oriented Models in the Object Calculus. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP Workshops, 1997)

Formalizing Real-Time System Design. - Kevin Lano; Stephen J. Goldsack (ECOOP Workshops, 1997)

Specification of Required Non-determinism. - Kevin Lano; Juan Bicarregui; José Luiz Fiadeiro; Antónia Lopes (FME, 1997)

Design of Reactive Control Systems for Event-Drivem Operations. - Kevin Lano; Arturo Sanchez (FME, 1997)

A Formal Approach to Design Patterns in Re-Engineering. - N. Malik; Kevin Lano (IWFM, 1997)

Refinement and Safety Analysis. - Kevin Lano (SAFECOMP, 1997)

Specifying Reactive Systems in B AMN. - Kevin Lano (ZUM, 1997)

Integrating VDM++ and Real-Time System Design. - Kevin Lano; Stephen J. Goldsack; Juan Bicarregui; Stuart Kent 001 (ZUM, 1997)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)

Systematising Reactive System Design. - T. S. E. Maibaum; Pauline Kan; Kevin Lano (AMAST, 1998)

Linking Hazard Analysis to Formal Specification and Design in B. - Kevin Lano; Pauline Kan; Arturo Sanchez (SAFECOMP, 1998)

Semantics and Transformations for UML Models. - Kevin Lano; Juan Bicarregui (UML, 1998)

Compositional Specification of Controllers for Batch Process Operations. - Kevin Lano; Pauline Kan; Arturo Sanchez (ZUM, 1998)

The UML as a formal modeling notation. - Robert B. France; Andy Evans; Kevin Lano; Bernhard Rumpe (Comput. Stand. Interfaces, 1998)

Logical Specification of Reactive and Real-Time Systems. - Kevin Lano (J. Log. Comput., 1998)

Meta-Modelling Semantics of UML. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (Behavioral Specifications of Businesses and Systems, 1999)

Formalising the UML in Structured Temporal Theories. - Kevin Lano; Juan Bicarregui (Behavioral Specifications of Businesses and Systems, 1999)

Rigorous Development in UML. - Kevin Lano; Andy Evans (FASE, 1999)

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

Models Involving Multiple Instances of a Component. - Stephen J. Goldsack; Kevin Lano (LMO, 1999)

Mapping Procedural Patterns to Object-Oriented Design Patterns. - Kevin Lano; N. Malik (Autom. Softw. Eng., 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)

Structured Axiomatic Semantics for UML Models. - Kevin Lano; Juan Bicarregui; Andy Evans (Rigorous Object-Oriented Methods, 2000)

A Semantic Comparison of Fusion and Syntropy. - Kevin Lano; Robert B. France; Jean-Michel Bruel (Comput. J., 2000)

Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. - Kevin Lano (Softw. Test. Verification Reliab., 2001)

Software design using Java 2. - Kevin Lano; José Luiz Fiadeiro; Luís Filipe Andrade (Palgrave Macmillan, 2002)

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)

Internet System Design for the Disabled Net. - Runa Jesmin; Kevin Lano (Software Engineering Research and Practice, 2003)

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

Generating Accessible and Usable Internet Systems. - Kevin Lano; Runa Jesmin (ICWI, 2004)

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

Advanced systems design with Java, UML and MDA. - Kevin Lano (Elsevier, 2005)

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

Extending UML with coordination contracts. - Kevin Lano; José Luiz Fiadeiro (Softw. Syst. Model., 2006)

A light-weight static approach to analyzing UML behavioral properties. - Lijun Yu; Robert B. France; Indrakshi Ray; Kevin Lano (ICECCS, 2007)

Formal Specification using Interaction Diagrams. - Kevin Lano (SEFM, 2007)

Direct Semantics of Extended State Machines. - Kevin Lano; David Clark 001 (J. Object Technol., 2007)

Semantics and Refinement of Behavior State Machines. - Kevin Lano; David Clark 001 (ICEIS (3-1), 2008)

Model Transformation Specification and Verification. - Kevin Lano; David Clark 001 (QSIC, 2008)

Constraint-driven development. - Kevin Lano (Inf. Softw. Technol., 2008)

Axiomatic Semantics of State Machines. - Kevin Lano; David Clark 001 (UML 2 Semantics and Applications, 2009)

Introduction to the Unified Modeling Language. - Kevin Lano (UML 2 Semantics and Applications, 2009)

The Role of Semantics. - Kevin Lano (UML 2 Semantics and Applications, 2009)

Axiomatic Semantics of UML Class Diagrams. - Kevin Lano (UML 2 Semantics and Applications, 2009)

Semantics of Activity Diagrams. - Kevin Lano (UML 2 Semantics and Applications, 2009)

Verification of UML Models. - Kevin Lano (UML 2 Semantics and Applications, 2009)

Model Transformation Specification and Verification. - Kevin Lano (UML 2 Semantics and Applications, 2009)

A compositional semantics of UML-RSDS. - Kevin Lano (Softw. Syst. Model., 2009)

Slicing of UML Models. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (ICSOFT (2), 2010)

Specification and Verification of Model Transformations Using UML-RSDS. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (IFM, 2010)

Slicing of UML Models Using Model Transformations. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (MoDELS (2), 2010)

A Model-Based Development Approach for Model Transformations. - Shekoufeh Kolahdouz Rahimi; Kevin Lano (FSEN, 2011)

Model-Driven Development of Model Transformations. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (ICMT@TOOLS, 2011)

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)

Solving the TTC 2011 Model Migration Case with UML-RSDS - Kevin Lano; Shekoufeh Kolahdouz Rahimi (TTC, 2011)

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case - Kevin Lano; Shekoufeh Kolahdouz Rahimi (TTC, 2011)

Slicing Techniques for UML Models. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (J. Object Technol., 2011)

Synthesis of Software from Logical Constraints. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (ICSOFT, 2012)

Model Transformation Specification and Design. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (Adv. Comput., 2012)

Comparative Evaluation of Model Transformation Specification Approaches. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Iman Poernomo (Int. J. Softw. Informatics, 2012)

Runtime Infrastructure Optimisation in Cloud IaaS Structures. - Kleopatra Chatziprimou; Kevin Lano; Steffen Zschaler (CloudCom (1), 2013)

Towards a Meta-model of the Cloud Computing Resource Landscape. - Kleopatra Chatziprimou; Kevin Lano; Steffen Zschaler (MODELSWARD, 2013)

Optimising Model-transformations using Design Patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (MODELSWARD, 2013)

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Krikor Maroukian (TTC, 2013)

Case study: Class diagram restructuring. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (TTC, 2013)

Constraint-based specification of model transformations. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (J. Syst. Softw., 2013)

Design Patterns: Applications and Open Issues. - Kevin Lano (Cyberpatterns, 2014)

Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations. - Kleopatra Chatziprimou; Kevin Lano; Steffen Zschaler (CloudCom, 2014)

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). - Moussa Amrani; Eugene Syriani; Manuel Wimmer; Robert Bill; Martin Gogolla; Frank Hermann 001; Kevin Lano (VOLT@STAF, 2014)

Null Considered Harmful (for Transformation Verification). - Kevin Lano (VOLT@STAF, 2014)

Case study: FIXML to Java, C# and C++. - Kevin Lano; Krikor Maroukian; Sobhan Yassipour Tehrani (TTC@STAF, 2014)

Language-Independent Model Transformation Verification. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Tony Clark 001 (VOLT@STAF, 2014)

Solving the TTC 2014 Movie Database Case with UML-RSDS. - Kevin Lano; Sobhan Yassipour Tehrani (TTC@STAF, 2014)

Developing the UML as a Formal Modelling Notation. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (CoRR, 2014)

Meta-Modeling Semantics of UML. - Andy Evans; Kevin Lano; Robert B. France; Bernhard Rumpe (CoRR, 2014)

A survey and comparison of transformation tools based on the transformation tool contest. - Edgar Jakumeit; Sebastian Buchwald; Dennis Wagelaar; Li Dan; Ábel Hegedüs; Markus Herrmannsdörfer; Tassilo Horn; Elina Kalnina; Christian Krause 001; Kevin Lano; Markus Lepper 001; Arend Rensink; et al. (Sci. Comput. Program., 2014)

Evaluation of model transformation approaches for model refactoring. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Suresh Pillay; Javier Troya; Pieter Van Gorp (Sci. Comput. Program., 2014)

Correct-by-construction synthesis of model transformations using transformation patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Iman Poernomo; Jeffrey Terrell; Steffen Zschaler (Softw. Syst. Model., 2014)

Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. - Louis M. Rose; Markus Herrmannsdoerfer; Steffen Mazanek; Pieter Van Gorp; Sebastian Buchwald; Tassilo Horn; Elina Kalnina; Andreas Koch 005; Kevin Lano; Bernhard Schätz; Manuel Wimmer (Softw. Syst. Model., 2014)

Model-Transformation Design Patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (IEEE Trans. Software Eng., 2014)

Towards Automatic Generation of Project-Based Solutions. - Krikor Maroukian; Kevin Lano; Mohammad Yamin (ICISO, 2015)

Experiences of Teaching Model-based Development. - Kevin Lano; Sobhan Yassipour Tehrani; Hessa Alfraihi (EduSymp@MoDELS, 2015)

Model Transformation Semantic Analysis by Transformation. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani (VOLT@STAF, 2015)

Design Patterns for Model Transformations: Current Research and Future Directions. - Kevin Lano; Sobhan Yassipour Tehrani (PAME@STAF, 2015)

Temporal Logic Specification and Analysis for Model Transformations. - Sobhan Yassipour Tehrani; Kevin Lano (VOLT@STAF, 2015)

A framework for model transformation verification. - Kevin Lano; Tony Clark 001; Shekoufeh Kolahdouz Rahimi (Formal Aspects Comput., 2015)

Requirements Engineering in Model-Transformation Development: An Interview-Based Study. - Sobhan Yassipour Tehrani; Steffen Zschaler; Kevin Lano (ICMT, 2016)

Verified bidirectional transformations by construction. - Kevin Lano; Sobhan Yassipour Tehrani (PAME/VOLT@MoDELS, 2016)

Solving the Class Responsibility Assignment Case with UML-RSDS. - Kevin Lano; Sobhan Yassipour Tehrani; Shekoufeh Kolahdouz Rahimi (TTC@STAF, 2016)

A Survey of Model Transformation Design Pattern Usage. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani; Mohammadreza Sharbaf (ICMT, 2017)

Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study. - Hessa Alfraihi; Kevin Lano (MoDELS (Satellite Events), 2017)

A Process for Integrating Agile Software Development and Model-driven Development. - Hessa Alfraihi; Kevin Lano (MoDELS (Satellite Events), 2017)

Agile Model-driven Engineering of Financial Applications. - Kevin Lano; Howard P. Haughton; Sobhan Yassipour Tehrani; Hessa Alfraihi (MoDELS (Satellite Events), 2017)

The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. - Hessa Alfraihi; Kevin Lano (MODELSWARD, 2017)

Translating UML-RSDS OCL to ANSI C. - Kevin Lano; Sobhan Yassipour Tehrani; Hessa Alfraihi; Shekoufeh Kolahdouz Rahimi (STAF Workshops, 2017)

Technical Debt in Model Transformation Specifications. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Mohammadreza Sharbaf; Hessa Alfraihi (ICMT, 2018)

Comparative case studies in agile model-driven development. - Kevin Lano; Hessa Alfraihi; Shekoufeh Kolahdouz Rahimi; Mohammadreza Sharbaf; Howard P. Haughton (MoDELS (Workshops), 2018)

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. - Hessa Alfraihi; Kevin Lano; Shekoufeh Kolahdouz Rahimi; Mohammadreza Sharbaf; Howard P. Haughton (SAM, 2018)

A survey of model transformation design patterns in practice. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani; Mohammadreza Sharbaf (J. Syst. Softw., 2018)

Simplified Specification Languages for Flexible and Agile Modelling. - Kevin Lano; Shichao Fang; Hessa Alfraihi; Shekoufeh Kolahdouz Rahimi (MoDELS (Companion), 2019)

Extracting Correspondences from Metamodels Using Metamodel Matching. - Shichao Fang; Kevin Lano (STAF (Co-Located Events), 2019)

Declarative Specification of Bidirectional Transformations Using Design Patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani (IEEE Access, 2019)

Financial Software Engineering - Kevin Lano; Howard P. Haughton (Springer, 2019)

TL: an abstract specification language for bidirectional transformations. - Kevin Lano; Shichao Fang; Shekoufeh Kolahdouz Rahimi (MoDELS (Companion), 2020)

Enhancing model transformation synthesis using natural language processing. - Kevin Lano; Shichao Fang; Muhammad Aminu Umar; Sobhan Yassipour Tehrani (MoDELS (Companion), 2020)

Automated Synthesis of ATL Transformations from Metamodel Correspondences. - Kevin Lano; Shichao Fang (MODELSWARD, 2020)

A comparison of quality flaws and technical debt in model transformation specifications. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Mohammadreza Sharbaf; Meysam Karimi; Hessa Alfraihi (J. Syst. Softw., 2020)

Technical debt in procedural model transformation languages. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Meysam Karimi (J. Comput. Lang., 2020)

Model-based Testing and Monitoring using AgileUML. - Kevin Lano; Kunxiang Jin; Shefali Tyagi (ANT/EDI40, 2021)

Extending OCL with Map and Function Types. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (FSEN, 2021)

Generation of Test Cases from UML Diagrams - A Systematic Literature Review. - Kunxiang Jin; Kevin Lano (ISEC, 2021)

Synthesis of mobile applications using AgileUML. - Kevin Lano; Lyan Alwakeel; Shekoufeh Kolahdouz Rahimi; Howard P. Haughton (ISEC, 2021)

Automated Requirements Formalisation for Agile MDE. - Kevin Lano; Sobhan Yassipour Tehrani; Muhammad Aminu Umar (MoDELS (Companion), 2021)

Mutation Operators for Object Constraint Language Specification. - Kunxiang Jin; Kevin Lano (STAF Workshops, 2021)

Implementing OCL in Swift. - Kevin Lano (STAF Workshops, 2021)

Adding Regular Expression Operators to OCL. - Kevin Lano (STAF Workshops, 2021)

A model-driven framework for developing android-based classic multiplayer 2D board games. - Mohammad Derakhshandi; Shekoufeh Kolahdouz Rahimi; Javier Troya; Kevin Lano (Autom. Softw. Eng., 2021)

Implementing QVT-R via semantic interpretation in UML-RSDS. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (Softw. Syst. Model., 2021)

Program translation using model-driven engineering. - Kevin Lano (ICSE-Companion, 2022)

OCL-based test case prioritisation using AgileUML. - Kunxiang Jin; Kevin Lano (MoDELS (Companion), 2022)

Design and classification of mutation operators for OCL specification. - Kunxiang Jin; Kevin Lano (MoDELS (Companion), 2022)

OCL libraries for software specification and representation. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Kunxiang Jin (MoDELS (Companion), 2022)

Code Generation by Example. - Kevin Lano; Qiaomu Xue (MODELSWARD, 2022)

Formalizing model transformation patterns. - Alireza Rouhi; Shekoufeh Kolahdouz Rahimi; Kevin Lano (J. Softw. Evol. Process., 2022)

Introduction to the theme section on Agile model-driven engineering. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Javier Troya; Hessa Alfraihi (Softw. Syst. Model., 2022)

Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Shichao Fang (ACM Trans. Softw. Eng. Methodol., 2022)

Trends and Insights into the Use of Model-Driven Engineering: A Survey. - Hessa Alfraihi; Kevin Lano (MoDELS (Companion), 2023)

Program Abstraction and Re-Engineering: An Agile MDE Approach. - Kevin Lano; Howard P. Haughton; Ziwen Yuan; Hessa Alfraihi (MoDELS (Companion), 2023)

Lightweight Software Language Processing Using Antlr and CGTL. - Kevin Lano; Qiaomu Xue (MODELSWARD, 2023)

Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Chenghua Lin (MODELSWARD, 2023)

Towards Integrating Machine Learning Models into Mobile Apps using AppCraft. - Lyan Alwakeel; Kevin Lano; Hessa Alfraihi (Agile MDE/MeSS/TTC@STAF, 2023)

MathOCL: a domain-specific language for financial modelling. - Howard P. Haughton; Sobhan Yassipour Tehrani; Kevin Lano (Agile MDE/MeSS/TTC@STAF, 2023)

Program abstraction by transformation: Abstraction of Visual Basic to UML. - Kevin Lano; Shekoufeh Kolahdouz Rahimi (Agile MDE/MeSS/TTC@STAF, 2023)

KMEHR to FHIR case solution with UML-RSDS. - Kevin Lano; Alireza Rouhi (Agile MDE/MeSS/TTC@STAF, 2023)

Using MDE with the Clean Architecture. - Sobhan Yassipour Tehrani; Kevin Lano (Agile MDE/MeSS/TTC@STAF, 2023)

Introduction to Software Architecture - Innovative Design using Clean Architecture and Model-Driven Engineering - Kevin Lano; Sobhan Yassipour Tehrani (Springer, 2023)

Code Generation by Example Using Symbolic Machine Learning. - Kevin Lano; Qiaomu Xue (SN Comput. Sci., 2023)

Towards a pattern-based model transformation framework. - Alireza Rouhi; Kevin Lano (Softw. Pract. Exp., 2023)

Using OCL for verified re-engineering. - Kevin Lano; Hanan Abdulwahab Siala (MoDELS (Companion), 2024)

Comparative Evaluation of NLP Approaches for Requirements Formalisation. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Sobhan Yassipour Tehrani; Chenghua Lin; Yiqi Liu; Muhammad Aminu Umar (MODELSWARD, 2024)

Research directions for agile model-driven engineering. - Kevin Lano; Hessa Alfraihi; Howard P. Haughton (STAF Workshops, 2024)

Software modelling for sustainable software engineering. - Kevin Lano; Lyan Alwakeel; Zishan Rahman (STAF Workshops, 2024)

Model driven engineering in finance: Bond valuation, from formulae to code. - Asad Rahman; Kevin Lano; Howard P. Haughton (STAF Workshops, 2024)

Software language translation by example. - Qiaomu Xue; Kevin Lano (STAF Workshops, 2024)

Model-Driven Approaches for Reverse Engineering - A Systematic Literature Review. - Hanan Abdulwahab Siala; Kevin Lano; Hessa Alfraihi (IEEE Access, 2024)

Using model-driven engineering to automate software language translation. - Kevin Lano; Hanan Abdulwahab Siala (Autom. Softw. Eng., 2024)

Advances in automated support for requirements engineering: a systematic literature review. - Muhammad Aminu Umar; Kevin Lano (Requir. Eng., 2024)

A Concrete Syntax Transformation Approach for Software Language Processing. - Kevin Lano; Qiaomu Xue; Howard P. Haughton (SN Comput. Sci., 2024)

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric. - Kunxiang Jin; Kevin Lano (J. Softw. Evol. Process., 2024)

Agile model-driven re-engineering. - Kevin Lano; Howard P. Haughton; Ziwen Yuan; Hessa Alfraihi (Innov. Syst. Softw. Eng., 2024)

Introduction to theme section on requirements formalisation. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani; Lola Burgueño; Muhammad Aminu Umar (Softw. Syst. Model., 2024)

Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language. - Hanan Abdulwahab Siala; Kevin Lano (SANER, 2025)

AppCraft: Model-Driven Development Framework for Mobile Applications. - Lyan Alwakeel; Kevin Lano; Hessa Alfraihi (IEEE Access, 2025)

Research directions for using LLM in software requirement engineering: a systematic review. - Arshia Hemmat; Mohammadreza Sharbaf; Shekoufeh Kolahdouz Rahimi; Kevin Lano; Sobhan Yassipour Tehrani (Frontiers Comput. Sci., 2025)

Automated requirements engineering framework for agile model-driven development. - Muhammad Aminu Umar; Kevin Lano; Abdullahi Kutiriko Abubakar (Frontiers Comput. Sci., 2025)

Using MDE to support sustainable re-engineering. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Zishan Rahman (J. Object Technol., 2025)