King's College London

Research portal

Dr Kevin Lano

  1. 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

  2. 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

  3. 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

  4. Automated synthesis of ATL transformations from metamodel correspondences

    Lano, K. & Fang, S., 1 Jan 2020, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 263-270 8 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  5. Simplified specification languages for flexible and agile modelling

    Lano, K., Fang, S., Alfraihi, H. & Kolahdouz-Rahimi, S., 1 Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 460-467 8 p. 8904582

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  6. 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

  7. 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

  8. 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

  9. 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

  10. Comparative case studies in agile model-driven development

    Lano, K. C., Alfraihi, H. A. A., Kolahdouz Rahimi, S., Sharbaf, M. & Haughton, H., 2018, International Conference on Model Driven Engineering Languages and Systems (MODELS): the 4th International Workshop on Flexible Model Driven Engineering. Copenhagen, Denmark, p. 203-212 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. A Process for Integrating Agile Software Development and Model-driven Development

    Alfraihi, H. A. A. & Lano, K. C., 10 Dec 2017, 3rd Flexible MDE workshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019. p. 412-417

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory

    Alfraihi, H. A. A. & Lano, K. C., 10 Dec 2017, 3rd Flexible MDE wrokshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019. p. 399-404

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. A survey of model transformation design pattern usage

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M., 1 Jun 2017, Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017 Held as Part of STAF 2017, Proceedings. Springer Verlag, Vol. 10374 LNCS. p. 108-118 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10374 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. Agile model-based development using UML-RSDS

    Lano, K., 1 Jan 2017, CRC Press. 373 p.

    Research output: Book/ReportBook

  15. The Integration of Agile Development and Model Driven Development: A Systematic Literature Review

    Alfraihi, H. A. A. & Lano, K. C., Jan 2017, The 5th International Confrence on Model-Driven Engineeing and Software Development . Portugal

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. 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

  17. Requirements Engineering in Model-Transformation Development: An Interview-Based Study

    Yassipour Tehrani, S., Zschaler, S. & Lano, K. C., 4 Jul 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Theory and Practice of Model Transformations. Springer‐Verlag Berlin Heidelberg, Vol. 9765. p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. Model Transformation Applications from Requirements Engineering Perspective

    Yassipour Tehrani, S. & Lano, K. C., 19 Nov 2015, The 10th International Conference on Software Engineering Advances.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  19. Improving the Application of Agile Model-based Development: Experiences from Case Studies

    Lano, K. C., Alfraihi, H. A. A. & Yassipour Tehrani, S., 17 Nov 2015, The Tenth International Conference on Software Engineering Advances.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  20. Patterns for Specifying Bidirectional Transformations in UML-RSDS

    Lano, K. C., Alfraihi, H., Yassipour Tehrani, S. & Haughton, H., 15 Nov 2015, The 10th International Conference on Software Engineering Advances.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. Experiences of teaching model-based development

    Lano, K. C., Yassipour Tehrani, S. & Alfraihi, H. A. A., 26 Sep 2015, ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems_Educators Symposium (EduSymp). p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Model Transformation Semantic Analysis by Transformation

    Yassipour Tehrani, S. & Lano, K. C., 23 Jul 2015, Staf Workshop on Verification of Model Transformations, VOLT 2015. Verification Of ModeL Transformation (VOLT 2015)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Temporal Logic Specification and Analysis for Model Transformations

    Yassipour Tehrani, S. & Lano, K. C., 23 Jul 2015, Staf Workshop on Verification of Model Transformations, VOLT 2015. Verification Of ModeL Transformation (VOLT 2015)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Design Patterns for Model Transformations: Current research and future directions

    Yassipour Tehrani, S. & Lano, K. C., 21 Jul 2015, First International Workshop on Patterns in Model Engineering. PAME 2015

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. 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

  26. 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

  27. Defining and formalising project management models and processes

    Singh, R. & Lano, K., 7 Oct 2014, Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., p. 720-731 12 p. 6918267

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. High-integrity model-based development

    Lano, K. & Kolahdouz-Rahimi, S., 31 Aug 2014, Handbook of Research on Innovations in Systems and Software Engineering. IGI Global, p. 479-499 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Solving the TTC 2014 Movie Database Case with UML-RSDS

    Lano, K. C. & Yassipour Tehrani, S., 20 Jul 2014, TTC 2014 Transformation Tool Contest: Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences. Rose, L. M., Krause, C. & Horn, T. (eds.). Transformation Tool Contest (TTC2014), Vol. 1305. p. 150-154 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. 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

  31. Design patterns: Applications and open issues

    Lano, K., 1 Mar 2014, Cyberpatterns: Unifying Design Patterns with Security and Attack Patterns. Springer International Publishing, p. 37-45 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. 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

  33. Case study: FIXML to Java, C# and C++

    Lano, K., Yassipour Tehrani, S. & Maroukian, K., 2014, Transformation Tool Contest (TTC 2014). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  34. Null considered harmful (for transformation verication)

    Lano, K., 2014, CEUR Workshop Proceedings. CEUR-WS, Vol. 1325. p. 26-35 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Precise Requirements Engineering for Model Transformations

    Yassipour Tehrani, S. & Lano, K., 2014, STAF 2014 Doctoral Symposium. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Report on the third workshop on verification of model transformations (VOLT 2014)

    Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K., 2014, CEUR Workshop Proceedings. CEUR-WS, Vol. 1325. p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations

    Chatziprimou, K., Lano, K. & Zschaler, S., 2014, Cloud Computing Technology and Science (CloudCom), 2014 IEEE 6th International Conference on. Institute of Electrical and Electronics Engineers ( IEEE ), p. 138-145 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. 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

  39. 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

  40. Runtime Infrastructure Optimisation in Cloud IaaS Structures

    Chatziprimou, K., Lano, K. & Zschaler, S., 2013, IEEE CloudCom 2013.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. Towards A Meta-Model of the Cloud Computing Resource Landscape

    Chatziprimou, K., Lano, K. & Zschaler, S., 2013, Proc. 1st Int'l Conf. Model-Driven Engineering and Software Development.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. Model Transformation Specification and Design

    Lano, K. & Kolahdouz-Rahimi, S., 2012, ADVANCES IN COMPUTERS, VOL 85. SAN DIEGO: ELSEVIER ACADEMIC PRESS INC, p. 123-163 41 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. In preparation

    A Model-based Development Approach for Model Transformations

    Kolahdouz-Rahimi, S. & Lano, K., 2011, (In preparation) FSEN 2011. Unknown Publisher, p. 1 - 1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  44. Environment Restriction Slicing: automated state based model simplication

    Androutsopolous, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. & Zheng, L., 2011, ICSE 2011. IEEE, p. 1 - 1 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. Model Projection: Simplifying Models in Response to Restricting the Environment

    Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. & Li, Z., 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). NEW YORK: IEEE, p. 291-300 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  46. 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

  47. In preparation

    Slicing of UML Models

    Lano, K. & Kolahdouz-Rahimi, S., 2011, (In preparation) ICSOFT 2010. Unknown Publisher, p. 1 - 1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 Next

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

Search within the list

Refine results

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

Authors

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