King's College London

Research portal

Dr Kevin Lano

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  36. UML 2 Semantics and Applications

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

    Research output: Book/ReportBook

  37. Constraint-driven development

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

    Research output: Contribution to journalArticle

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

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

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

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

  42. Formal Specification using Interaction Diagrams

    Lano, K., 2007, SEFM (Software Engineering and Formal Methods) 2007. Unknown Publisher, p. 293 - 301 9 p. (SEFM (Software Engineering and Formal Methods) 2007).

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

  43. Formalising Design Patterns as Model Transformations

    Lano, K., 2007, Design Patterns Formalization Techniques. Taibi, T. (ed.). IGI Press

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

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

  45. Automated Synthesis of High-integrity Systems using Model-driven Development

    Lano, K., 2006, CS-DUML 2006. Unknown Publisher, p. 1 - 1 1 p.

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

  46. Concurrency Specification in UML-RSDS

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

    Research output: Contribution to journalConference paper

  47. Using B to Verify UML Transformations

    Lano, K., 2006, ACM/iEEE 9th International Conference on Model Driven Engineering Languages and Systems. Unknown Publisher, p. 1 - 1 1 p.

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

  48. Advanced System Design using Java, UML and MDA

    Lano, K., 2005, Elsevier.

    Research output: Book/ReportBook

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

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