Kevin Lano

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Constraint-based specification of model transformations. Journal of Systems and Software 86(2): 412-436 (2013)

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Model Transformation Specification and Design. Advances in Computers 85: 123-163 (2012)

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo: Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Software and Informatics 6(2): 233-269 (2012)

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Synthesis of Software from Logical Constraints. ICSOFT 2012: 355-358

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Slicing Techniques for UML Models. Journal of Object Technology 10: 11: 1-49 (2011)

Shekoufeh Kolahdouz Rahimi, Kevin Lano: A Model-Based Development Approach for Model Transformations. FSEN 2011: 48-63

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Model-Driven Development of Model Transformations. ICMT 2011: 47-61

Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li: Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Solving the TTC 2011 Model Migration Case with UML-RSDS. TTC 2011: 36-41

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. TTC 2011: 325-331

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Slicing of UML Models. ICSOFT (2) 2010: 259-262

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Specification and Verification of Model Transformations Using UML-RSDS. IFM 2010: 199-214

Kevin Lano, Shekoufeh Kolahdouz Rahimi: Slicing of UML Models Using Model Transformations. MoDELS (2) 2010: 228-242

Kevin Lano: A compositional semantics of UML-RSDS. Software and System Modeling 8(1): 85-116 (2009)

Kevin Lano, David Clark: Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49

Kevin Lano, David Clark: Model Transformation Specification and Verification. QSIC 2008: 45-54

Kevin Lano, David Clark: Direct Semantics of Extended State Machines. Journal of Object Technology 6(9): 35-51 (2007)

Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano: A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63

Kevin Lano, José Luiz Fiadeiro: Extending UML with coordination contracts. Software and System Modeling 5(2): 110-120 (2006)

Kevin Lano: Advanced systems design with Java, UML and MDA. Elsevier 2005, isbn 978-0-7506-6496-7, pp. I-VIII, 1-378

Kevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)

Kevin Lano, Runa Jesmin: Generating Accessible and Usable Internet Systems. ICWI 2004: 75-82

Kevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206

Kevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)

Runa Jesmin, Kevin Lano: Internet System Design for the Disabled Net. Software Engineering Research and Practice 2003: 956-962

Kevin Lano, José Luiz Fiadeiro, Luis Filipe Andrade: Software design using Java 2. Palgrave Macmillan 2002, isbn 978-1-4039-0230-6, pp. I-VIII, 1-311

Kevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68

Kevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93

Kevin Lano: Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. Softw. Test., Verif. Reliab. 11(1): 55 (2001)

Kevin Lano, Robert B. France, Jean-Michel Bruel: A Semantic Comparison of Fusion and Syntropy. Comput. J. 43(6): 451-468 (2000)

Kevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111

Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57

Kevin Lano, Kelly Androutsopoulos, Pauline Kan: Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34

Kevin Lano, Juan Bicarregui, Andy Evans: Structured Axiomatic Semantics for UML Models. Rigorous Object-Oriented Methods 2000

Kevin Lano, N. Malik: Mapping Procedural Patterns to Object-Oriented Design Patterns. Autom. Softw. Eng. 6(3): 265-289 (1999)

Kevin Lano, Andy Evans: Rigorous Development in UML. FASE 1999: 129-144

Kevin Lano, Kelly Androutsopoulos: Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434

S. J. Goldsack, Kevin Lano: Models Involving Multiple Instances of a Component. LMO 1999: 245-260

Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe: The UML as a formal modeling notation. Computer Standards & Interfaces 19(7): 325-334 (1998)

Kevin Lano: Logical Specification of Reactive and Real-Time Systems. J. Log. Comput. 8(5): 679-711 (1998)

T. S. E. Maibaum, Pauline Kan, Kevin Lano: Systematising Reactive System Design. AMAST 1998: 17-22

Kevin Lano, Pauline Kan, Arturo Sanchez: Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP 1998: 60-74

Kevin Lano, Juan Bicarregui: Semantics and Transformations for UML Models. UML 1998: 107-119

Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe: The UML as a Formal Modeling Notation. UML 1998: 336-348

Kevin Lano, Pauline Kan, Arturo Sanchez: Compositional Specification of Controllers for Batch Process Operations. ZUM 1998: 250-264

Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach: Formal methods into practice: case studies in the application of the B method. IEE Proceedings - Software 144(2): 119-133 (1997)

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211

Kevin Lano, Arturo Sanchez: Transformational Formal Development of Real-Time Systems. ARTS 1997: 184-198

S. J. Goldsack, Kevin Lano, Eugène Dürr: Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160

Kevin Lano, S. J. Goldsack: Formalizing Real-Time System Design. ECOOP Workshops 1997: 436-445

Kevin Lano, Arturo Sanchez: Design of Reactive Control Systems for Event-Drivem Operations. FME 1997: 142-161

Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes: Specification of Required Non-determinism. FME 1997: 298-317

N. Malik, Kevin Lano: A Formal Approach to Design Patterns in Re-Engineering. IWFM 1997

Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent: Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219

Kevin Lano: Specifying Reactive Systems in B AMN. ZUM 1997: 242-274

Kevin Lano: The B language and method - a guide to practical formal development. FACIT: Formal approaches to computing and information technology, Springer 1996, isbn 978-3-540-76033-7, pp. 1-232

S. J. Goldsack, Kevin Lano, Eugène Dürr: Annealing and Data Decomposition in VDM++. SIGPLAN Notices 31(4): 32-38 (1996)

Kevin Lano: Enhancing Object-Oriented Methods with Formal Notations. TAPOS 2(4): 247-268 (1996)

Kevin Lano: Formal object-oriented development. FACIT: Formal approaches to computing and information technology, Springer 1995, isbn 978-3-540-19978-6, pp. 1-422

Kevin Lano, Howard P. Haughton: Formal development in B abstract machine notation. Information & Software Technology 37(5-6): 303-316 (1995)

Kevin Lano: Distributed System Specification in VDM⁺⁺. FORTE 1995: 23-38

Kevin Lano, S. J. Goldsack: Discrete event process controller synthesis using VDM/sup ++/. ICECCS 1995: 129-136

Kevin Lano: Reactive System Specification and Refinement. TAPSOFT 1995: 696-710

Kevin Lano: Transformational Program Analysis. Softw. Test., Verif. Reliab. 4(3): 155-189 (1994)

Kevin Lano, S. J. Goldsack: Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363

Kevin Lano: The Intuitionistic Alternative Set Theory. Ann. Pure Appl. Logic 59(2): 141-156 (1993)

Kevin Lano, Howard P. Haughton: Integrating Formal and Structured Methods in Reverse Engineering. WCRE 1993: 17-26

Kevin Lano, Howard P. Haughton: Reasoning and Refinement in Object-Oriented Specification Languages. ECOOP 1992: 78-97

Kevin Lano: Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. LFCS 1992: 258-268

Kevin Lano: Object-Oriented Specification Techniques. TOOLS (7) 1992: 403

Kevin Lano, Howard P. Haughton: Reuse and Adaptation of Z Specifications. Z User Workshop 1992: 62-90

Kevin Lano: Z⁺⁺. Object Orientation in Z 1992: 105-112

Kevin Lano: Intuitionistic Modal Logic and Set Theory. J. Symb. Log. 56(2): 497-516 (1991)

Kevin Lano, Howard P. Haughton: An Algebraic Semantics for the Specification Language Z⁺⁺. AMAST 1991: 478-493

Kevin Lano: A Constraint-Based Fuzzy Inference System. EPIA 1991: 45-59

Kevin Lano: Z⁺⁺, An Object-orientated Extension to Z. Z User Workshop 1990: 151-172