| The UML as a formal modeling notation R France, A Evans, K Lano, B Rumpe Computer Standards & Interfaces 19 (7), 325-334, 1998 | 593* | 1998 |
| The B language and method: a guide to practical formal development K Lano Springer Science & Business Media, 2012 | 298 | 2012 |
| Formal object-oriented development K Lano Springer Science & Business Media, 2012 | 192 | 2012 |
| Object-oriented specification case studies K Lano, H Haughton Prentice Hall International (UK) Ltd., 1994 | 192 | 1994 |
| Z++, An Object-Orientated Extension To Z K Lano Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting …, 1991 | 135 | 1991 |
| Specification in B: An introduction using the B toolkit H Haughton, K Lano World Scientific, 1996 | 122 | 1996 |
| UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 105 | 2004 |
| Creating specifications from code P Breuer, K Lano Journal of Software Maintenance 3 (3), 1991 | 93 | 1991 |
| Meta-modelling semantics of UML A Evans, R France, K Lano, B Rumpe Behavioral Specifications of Businesses and Systems, 45-60, 1999 | 90 | 1999 |
| Making UML precise A Evans, JM Bruel, R France, K Lano, B Rumpe Proceedings of the OOPSLA 98, 1998 | 79 | 1998 |
| UML 2 semantics and applications K Lano John Wiley & Sons, 2009 | 77 | 2009 |
| Model-transformation design patterns K Lano, S Kolahdouz-Rahimi IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014 | 76 | 2014 |
| Formalising design patterns K Lano, JC Bicarregui, S Goldsack Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-20, 1996 | 71 | 1996 |
| Semantics and transformations for UML models K Lano, J Bicarregui The Unified Modeling Language.«UML»’98: Beyond the Notation: First …, 1999 | 69 | 1999 |
| Evaluation of model transformation approaches for model refactoring S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp Science of Computer Programming 85, 5-40, 2014 | 67 | 2014 |
| A survey and comparison of transformation tools based on the transformation tool contest E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ... Science of computer programming 85, 41-99, 2014 | 63 | 2014 |
| Graph and model transformation tools for model migration: Empirical results from the transformation tool contest LM Rose, M Herrmannsdoerfer, S Mazanek, P Van Gorp, S Buchwald, ... Software & Systems Modeling 13, 323-359, 2014 | 62 | 2014 |
| Reasoning and refinement in object-oriented specification languages K Lano, H Haughton ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992 | 59 | 1992 |
| Formalising the UML in structured temporal theories K Lano, J Bicarregui Behavioral Specifications of Businesses and Systems, 161-174, 1999 | 55 | 1999 |
| Objects, Associations and Subsystems: a hierarchical approach to encapsulation JC Bicarregui, KC Lano, TSE Maibaum ECOOP 97, 324-343, 1997 | 53 | 1997 |
shekoufeh kolahdouz-rahimiUniversity of IsfahanVerified email at eng.ui.ac.ir
