King's College London

Research portal

Dr Kevin Lano

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. Refinement Patterns for UML

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

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

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

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

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

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

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

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

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

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

  46. Reactive System Specification and Verification in RSDS

    Lano, K. & Androutsopoulos, K., 2001, AVoCS'01. Unknown Publisher, p. 19 - 20 2 p.

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

  47. Composition of Reactive System Components

    Lano, K., Bicarregui, J., Maibaum, T. & Fiadeiro, J., 2000, Foundations of Component-Based Systems. Cambridge University Press

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

  48. Invariant-based synthesis of fault-tolerant systems

    Lano, K., Clark, D., Androutsopoulos, K. & Kan, P., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000, Proceedings. N/A ed. Berlin, Germany: Springer, Vol. N/A. p. 46 - 57 12 p. (Lecture notes in computer science; vol. 1926).

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

  49. Structuring and design of reactive systems using RSDS and B

    Maibaum, T., Androutsopoulos, K. & Clark, D., 2000, LECT NOTE COMPUT SCI. BERLIN: Springer, p. 97 - 111 15 p. (LECTURE NOTES IN COMPUTER SCIENCE).

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

  50. Structuring reactive systems in B AMN

    Liu, S., McDermid, J. A. (ed.) & Hinchey, M. G. (ed.), 2000, Conference Proceedings. Los Alamitos, CA, USA: IEEE Comput. Soc, p. 25 - 33 9 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

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