King's College London

Research portal

Research Outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  22. Science forum: RIPOSTE: a framework for improving the design and analysis of laboratory-based research.

    Masca, N. G. D., Hensor, E. M. A., Cornelius, V. R., Buffa, F. M., Marriott, H. M., Eales, J. M., Messenger, M. P., Anderson, A. E., Boot, C., Bunce, C., Goldin, R. D., Harris, J., Hinchliffe, R. F., Junaid, H., Kingston, S., Martin-Ruiz, C., Nelson, C. P., Peacock, J., Seed, P. T., Shinkins, B. & 4 others, Staples, K. J., Toombs, J., Wright, A. K. A. & Teare, M. D., 2015, eLife. p. e05519 (eLife; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  49. 2007
  50. 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

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

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

  53. 2006
  54. 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

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

  56. 2005
  57. On the psychobiology of personality: Essays in honor of Marvin Zuckerman

    Kumari, V., 2005, In : Personality and Individual Differences. 39, 4, p. 849 - 849 1 p.

    Research output: Contribution to journalBook/Film/Article review

  58. Refinement Patterns for UML

    Lano, K., 2005, Electronic Notes in Theoretical Computer Science. Elsevier

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

  59. 2004
  60. Generating accessible and usable internet systems

    Lano, K. & Jesmin, R., 2004, IADIS International Conference WWW/Internet 2004. Unknown Publisher, p. ? - ?

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

  61. UML to B: Formal verification of object-oriented models

    Boiten, E. A., Derrick, J. & Smith, G. (ed.), 2004, INTEGRATED FORMAL METHODS, PROCEEDINGS 2999:. Unknown Publisher, p. 187 - 206 20 p.

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

  62. 2003
  63. Formal Specification and Verification of Railway Systems Using UML

    Lano, K., Androutsopoulos, K. & Clark, D., 2003, Unknown. Unknown Publisher

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

  64. 2002
  65. Blekinge Institute of Technology Research Report 2002:06. Formalising Inter-model Consistency of the UML

    Lano, K., Clark, D. & Androutsopoulos, K., 2002, Unknown. Unknown Publisher

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

  66. Formalising Inter-model Consistency of the UML

    Lano, K., Clark, D. & Androutsopoulos, K., 2002, UML '02 Workshop on Consistency of UML Models.

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

  67. From Implicit Specifications to Explicit Designs in Reactive System Development

    Lano, K., Clark, D. & Androutsopoulos, K., 2002, Unknown. Springer

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

  68. Safety and Security Analysis of Object-Oriented Models

    Lano, K., Clark, D. & Androutsopolous, K., 2002, Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings. Anderson, S., Bologna, S. & Felici, M. (eds.). N/A ed. Berlin and New York: Springer Berlin Heidelberg, Vol. N/A. p. 82-93 12 p. (Lecture Notes in Computer Science; vol. 2434).

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

  69. 2001
  70. Design and Verification of Automation Systems Using RSDS

    Lano, K., Clark, D., Androutsopoulos, K. & Kan, P., 2001, Unknown. Unknown Publisher

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

Previous 1 2 Next

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

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

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