King's College London

Research portal

Research Outputs

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

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

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

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

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

  8. 2015
  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. 2014
  17. 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

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

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

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

  21. Associations between working memory and white matter integrity in normal ageing

    Charlton, R. A. & Morris, R., 1 Jan 2014, Working Memory and Ageing. Taylor and Francis, p. 97-128 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  23. Introduction: Working memory and the ageing brain

    Logie, R. H. & Morris, R., 2014, Working Memory and Ageing. Psychology Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  28. 2013
  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. 2012
  32. 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

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

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

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

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

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

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

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

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

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

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

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

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

  51. 2005
  52. An ABC introduction to cognition for schizophrenia clinicians

    Baddeley, D., Morris, R., David, A. & MacCabe, J., 2005, Cognition and Schizophrenia: : Improving Real Life Function. Morgan, K., Eberhard, J. & Murray, R. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Refinement Patterns for UML

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

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

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

  56. Neurocognitive components of spatial memory

    Allen, G. L. & Parslow, D. M., 2004, Unknown. MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 217 - 247 31 p.

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

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

  58. 2003
  59. 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

  60. 2002
  61. 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

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

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

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

  65. 2001
  66. 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

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

Previous 1 2 Next

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

Refine results Clear filters

Language

Language

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