| The B language and method: a guide to practical formal development K Lano Springer Science & Business Media, 2012 | 278 | 2012 |
| The UML as a formal modeling notation R France, A Evans, K Lano, B Rumpe Computer Standards & Interfaces 19 (7), 325-334, 1998 | 249 | 1998 |
| The UML as a formal modeling notation A Evans, R France, K Lano, B Rumpe International Conference on the Unified Modeling Language, 336-348, 1998 | 235 | 1998 |
| Object-oriented specification case studies K Lano, H Haughton Prentice Hall International (UK) Ltd., 1994 | 186 | 1994 |
| Formal object-oriented development K Lano Springer Science & Business Media, 2012 | 182 | 2012 |
| Z++, an object-orientated extension to Z K Lano Z User Workshop, Oxford 1990, 151-172, 1991 | 127 | 1991 |
| Specification in B: An introduction using the B toolkit H Howard, L Kevin World Scientific, 1996 | 117 | 1996 |
| Developing the UML as a formal modelling notation A Evans, R France, K Lano, B Rumpe Proc. UML’98, LNCS 1618, 1998 | 100 | 1998 |
| UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos International Conference on Integrated Formal Methods, 187-206, 2004 | 96 | 2004 |
| Creating specifications from code: Reverse‐engineering techniques PT Breuer, K Lano Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991 | 90 | 1991 |
| Meta-modelling semantics of UML A Evans, R France, K Lano, B Rumpe Behavioral specifications of businesses and systems, 45-60, 1999 | 83 | 1999 |
| Formalising design patterns K Lano, J Bicarregui, S Goldsack Proceedings of the 1st BCS-FACS conference on Northern Formal Methods, 11-11, 1996 | 68 | 1996 |
| Making UML precise A Evans, JM Bruel, R France, K Lano, B Rumpe Proceedings of the OOPSLA 98, 1998 | 67 | 1998 |
| Semantics and transformations for UML models K Lano, J Bicarregui International Conference on the Unified Modeling Language, 107-119, 1998 | 65 | 1998 |
| UML 2 semantics and applications K Lano John Wiley & Sons, 2009 | 64 | 2009 |
| Reasoning and refinement in object-oriented specification languages K Lano, H Haughton European Conference on Object-Oriented Programming, 78-97, 1992 | 58 | 1992 |
| Model-transformation design patterns K Lano, S Kolahdouz-Rahimi IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014 | 53 | 2014 |
| Objects, Associations and Subsystems: a hierarchical approach to encapsulation JC Bicarregui, KC Lano, TSE Maibaum European Conference on Object-Oriented Programming, 324-343, 1997 | 51 | 1997 |
| Model-driven development of model transformations K Lano, S Kolahdouz-Rahimi International Conference on Theory and Practice of Model Transformations, 47-61, 2011 | 50 | 2011 |
| Formalising the UML in structured temporal theories K Lano, J Bicarregui Behavioral Specifications of Businesses and Systems, 161-174, 1999 | 50 | 1999 |
shekoufeh kolahdouz-rahimiUniversity of IsfahanVerified email at eng.ui.ac.ir
