King's College London

Research portal

Dr Kevin Lano

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

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

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

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

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

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

  7. UML 2 Semantics and Applications

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

    Research output: Book/ReportBook

  8. Constraint-driven development

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

  17. Concurrency Specification in UML-RSDS

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

    Research output: Contribution to journalConference paper

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

  19. Advanced System Design using Java, UML and MDA

    Lano, K., 2005, Elsevier.

    Research output: Book/ReportBook

  20. Refinement Patterns for UML

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

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

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

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

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

  24. RSDS: A Subset of UML with Precise Semantics

    Lano, K., Clark, D. & Androutsopoulos, K., 2003, In : L'Objet. 9, 4, p. 53 - 73 21 p.

    Research output: Contribution to journalArticle

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

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

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

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

  29. Software design using Java 2

    Lano, K., Fiadeiro, J. L. & Andrade, L., 2002, Basingstoke: Palgrave Macmillan.

    Research output: Book/ReportBook

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

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

  32. Experiences of using formal methods for chemical process control specification

    Lano, K., Bicarregui, J. & Kan, P., Jan 2000, In : CONTROL ENGINEERING PRACTICE. ol.8, .1, p. 71 - 79 9 p.

    Research output: Contribution to journalArticle

  33. A semantic comparison of Fusion and Syntropy

    Lano, K., France, R. & Bruel, J. M., 2000, In : COMPUTER JOURNAL. ol.43, .6, p. 451 - 468 18 p.

    Research output: Contribution to journalArticle

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

  35. Formal Implementation of Procedural Controllers for Event-driven Sequential Systems in Chemical Processes

    Lano, K., Chavoya, A. & Sanchez, A., 2000, In : COMPUTERS AND CHEMICAL ENGINEERING. 1, 2-7, p. 297 - 302 6 p.

    Research output: Contribution to journalArticle

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

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

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

  39. Supporting Co-Use of VDM and B by Translation

    Lano, K., Bicarregui, J., Bishop, M., Dimitrakos, T., Maibaum, T. & Matthews, B., 2000, VDM in 2000! Proceedings of the 2nd VDM Workshop. Unknown Publisher, p. 1 - 1 1 p.

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

  40. The VDM+B Project: Objectives and Progress

    Bicarregui, J., Dimitrakos, T., Matthews, B., Maibaum, T., Lano, K. & Ritchie, B., 1999, FM'99 - Formal Methods. Unknown Publisher

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

  41. The UML as a Formal Modeling Notation

    France, R., Evans, A., Lano, K. & Rumpe, B., 2 Nov 1998, In : Computer Standards & Interfaces. 19, 7, p. 325-334 10 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next

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

Search within the list

Refine results

Language

Language

Publication year

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