King's College London

Research portal

Dr Kevin Lano

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

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

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

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

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

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

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

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

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

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

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

Search within the list

Refine results Clear filters

Type

Language

Language

Publication year

Publication year

Meeting and poster abstracts

Meeting and poster abstracts

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