King's College London

Research portal

Dr Kevin Lano

  1. A comparison of quality flaws and technical debt in model transformation specifications

    Kolahdouz-Rahimi, S., Lano, K., Sharbaf, M., Karimi, M. & Alfraihi, H., Nov 2020, In : Journal of Systems and Software. 169, 110684.

    Research output: Contribution to journalArticle

  2. Technical debt in procedural model transformation languages

    Kolahdouz-Rahimi, S., Lano, K. & Karimi, M., Aug 2020, In : Journal of Computer Languages. 59, 100971.

    Research output: Contribution to journalArticle

  3. Formalizing the main characteristics of QVT-based model transformation languages

    Lano, K., 19 Jun 2020, In : Journal of Computing and Security. 7, 1, p. 35-62 28 p.

    Research output: Contribution to journalArticle

  4. Technical debt in procedural model transformation languages

    Lano, K., 20 May 2020, In : Journal of Computer Languages. 59, 21 p., 100971.

    Research output: Contribution to journalArticle

  5. Accepted/In press

    Declarative Specification of Bidirectional Transformations Using Design Patterns

    Lano, K., Kolahdouz Rahimi, S. & Yassipour Tehrani, S., 23 Jan 2019, (Accepted/In press) In : IEEE Access. 7, 1, p. 5222-5249 28 p., 8587240.

    Research output: Contribution to journalArticle

  6. Extracting correspondences from metamodels using metamodel matching

    Fang, S. & Lano, K., 1 Jan 2019, In : CEUR Workshop Proceedings. 2405, p. 3-8 6 p.

    Research output: Contribution to journalConference paper

  7. Technical Debt in Model Transformation Specifications

    Lano, K. C. & Alfraihi, H. A. A., 1 Jun 2018, In : Lecture Notes in Computer Science.

    Research output: Contribution to journalConference paper

  8. A survey of model transformation design patterns in practice

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M., Jun 2018, In : Journal of Systems and Software. 140, p. 48-73 26 p.

    Research output: Contribution to journalArticle

  9. Verified bidirectional transformations by construction

    Lano, K. & Yassipour-Tehrani, S., 2 Oct 2016, In : CEUR Workshop Proceedings. 1693, p. 28-37 10 p.

    Research output: Contribution to journalConference paper

  10. A Framework for Model Transformation Verification

    Lano, K. C., Clark, T. & Kolahdouz Rahimi, S., Jan 2015, In : FORMAL ASPECTS OF COMPUTING. 27, 1, p. 193 235 p., 1.

    Research output: Contribution to journalArticle

  11. Model-transformation design patterns

    Lano, K. & Kolahdouz-Rahimi, S., 1 Dec 2014, In : IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 40, 12, p. 1224-1259 36 p., 6891324.

    Research output: Contribution to journalArticle

  12. A survey and comparison of transformation tools based on the transformation tool contest

    Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Herrmannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzoldt, S. & Mazanek, S., Jun 2014, In : SCIENCE OF COMPUTER PROGRAMMING. 85, PART A, p. 41-99 59 p.

    Research output: Contribution to journalArticle

  13. Graph and model transformation tools for model migration: Empirical results from the transformation tool contest

    Rose, L. M., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B. & Wimmer, M., Feb 2014, In : Software and Systems Modeling. 13, 1, p. 323-359 37 p.

    Research output: Contribution to journalArticle

  14. Constraint-based specification of model transformations

    Lano, K. & Kolahdouz Rahimi, S., Feb 2013, In : Journal of Systems and Software. 86, 2, p. 412-436

    Research output: Contribution to journalArticle

  15. Evaluation of model transformation approaches for model refactoring

    Kolahdouz-rahimi, S., Lano, K., Pillay, S., Troya, J. & Van Gorp, P., 2013, In : SCIENCE OF COMPUTER PROGRAMMING. N/A, N/A, p. 1-36 36 p.

    Research output: Contribution to journalArticle

  16. Slicing Techniques for UML Models

    Lano, K. & Kolahdouz Rahimi, S., 2011, In : Journal of Object Technology. 10, p. 1-49 49 p.

    Research output: Contribution to journalArticle

  17. A compositional semantics of UML-RSDS

    Lano, K., 2009, In : Software and Systems Modelling. 8, 1, p. 85 - 116 32 p.

    Research output: Contribution to journalArticle

  18. Constraint-driven development

    Lano, K., Apr 2008, In : INFORMATION AND SOFTWARE TECHNOLOGY. 50, 5, p. 406 - 423 18 p.

    Research output: Contribution to journalArticle

  19. Direct Semantics of Extended State Machines

    Lano, K. & Clark, D., Oct 2007, In : Journal of Object Technology. 6, 9, p. 35 - 51 17 p.

    Research output: Contribution to journalArticle

  20. Extending UML with Coordination Contracts

    Lano, K. & Fiadeiro, J., Jun 2006, In : Software and Systems Modeling. 5, 2, p. 110 - 120 11 p.

    Research output: Contribution to journalArticle

  21. Concurrency Specification in UML-RSDS

    Lano, K., Androutsopoulos, K. & Clark, D., 2006, In : MODELS.

    Research output: Contribution to journalConference paper

  22. RSDS: A Subset of UML with Precise Semantics

    Lano, K., Clark, D. & Androutsopoulos, K., 2003, In : L'Objet. 9, 4, p. 53 - 73 21 p.

    Research output: Contribution to journalArticle

  23. Experiences of using formal methods for chemical process control specification

    Lano, K., Bicarregui, J. & Kan, P., Jan 2000, In : CONTROL ENGINEERING PRACTICE. ol.8, .1, p. 71 - 79 9 p.

    Research output: Contribution to journalArticle

  24. A semantic comparison of Fusion and Syntropy

    Lano, K., France, R. & Bruel, J. M., 2000, In : COMPUTER JOURNAL. ol.43, .6, p. 451 - 468 18 p.

    Research output: Contribution to journalArticle

  25. Formal Implementation of Procedural Controllers for Event-driven Sequential Systems in Chemical Processes

    Lano, K., Chavoya, A. & Sanchez, A., 2000, In : COMPUTERS AND CHEMICAL ENGINEERING. 1, 2-7, p. 297 - 302 6 p.

    Research output: Contribution to journalArticle

  26. The UML as a Formal Modeling Notation

    France, R., Evans, A., Lano, K. & Rumpe, B., 2 Nov 1998, In : Computer Standards & Interfaces. 19, 7, p. 325-334 10 p.

    Research output: Contribution to journalArticle

Export:RIS BibTex Word PDF - will at most contain 500 items

Search within the list

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

Authors

Authors

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454