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

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

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

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

  10. Agile model-based development using UML-RSDS

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. In preparation

    Model Migration Transformation Specification in UML-RSDS

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

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

  38. Slicing of UML Models Using Model Transformations

    Lano, K. & Kolandouz-Rahimi, S., 2010, Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II. BERLIN: Springer, p. 228 - 242 15 p. (Lecture Notes in Computer Science; vol. 6395).

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

  39. Specification and Verification of Model Transformations Using UML-RSDS

    Lano, K. & Kolahdouz-Rahimi, S., 2010, Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. BERLIN: Springer, Vol. 6396 LNCS. p. 199 - 214 16 p. (Lecture Notes in Computer Science; vol. 6396).

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

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

  41. Slicing of UML State Machines

    Lano, K., 2009, Unknown. ATHENS: WORLD SCIENTIFIC AND ENGINEERING ACAD AND SOC, p. 63 - 69 7 p. (AIC '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATIONS).

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

  42. UML 2 Semantics and Applications

    Lano, K. (ed.), 2009, Wiley.

    Research output: Book/ReportBook

  43. Constraint-driven development

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

    Research output: Contribution to journalArticle

  44. Model Transformation Specification and Verification

    Lano, K. & Clark, D., 2008, QSIC 2008. IEEE Press, p. 56 - 63 8 p.

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

  45. Semantics and Refinement of Behaviour State Machines

    Lano, K., 2008, ICEIS 2008. Unknown Publisher, p. 42 - 49 8 p.

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

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

  47. A light-weight static approach to analysing UML behavioural properties

    Yu, L., France, R., Ray, K. & Lano, K., 2007, 12th IEEE conference ICECCS 2007. Unknown Publisher, p. 56 - 63 8 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 Clear filters

Language

Language

Publication year

Publication year

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