% csauthors.net - beta - BibTeX bibliography of Kevin Lano
@inproceedings{conf/zum/LanoB89,
title = {From Programs to Z Specifications.},
year = {1989},
booktitle = {Z User Workshop},
author = {{Kevin Lano} and {Peter T. Breuer}},
publisher = {Springer},
booktitle = {Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989}
}
@inproceedings{conf/zum/Lano90,
title = {Z++, An Object-orientated Extension to Z.},
year = {1990},
booktitle = {Z User Workshop},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990}
}
@inproceedings{conf/amast/LanoH91,
title = {An Algebraic Semantics for the Specification Language Z++.},
year = {1991},
booktitle = {AMAST},
author = {{Kevin Lano} and {Howard P. Haughton}},
publisher = {Springer},
booktitle = {Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991}
}
@inproceedings{conf/epia/Lano91,
title = {A Constraint-Based Fuzzy Inference System.},
year = {1991},
booktitle = {EPIA},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings}
}
@inproceedings{conf/icsm/HaughtonL91,
title = {Objects revisited.},
year = {1991},
booktitle = {ICSM},
author = {{Howard P. Haughton} and {Kevin Lano}},
publisher = {IEEE},
booktitle = {Proceedings of the Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 15-17 October 1991}
}
@article{journals/jsyml/Lano91,
title = {Intuitionistic Modal Logic and Set Theory.},
year = {1991},
journal = {J. Symb. Log.},
author = {{Kevin Lano}}
}
@article{journals/smr/BreuerL91,
title = {Creating specifications from code: Reverse-engineering techniques.},
year = {1991},
journal = {J. Softw. Maintenance Res. Pract.},
author = {{Peter T. Breuer} and {Kevin Lano}}
}
@article{journals/smr/LanoH91,
title = {A specification-based approach to maintenance.},
year = {1991},
journal = {J. Softw. Maintenance Res. Pract.},
author = {{Kevin Lano} and {Howard P. Haughton}}
}
@inproceedings{conf/ecoop/LanoH92,
title = {Reasoning and Refinement in Object-Oriented Specification Languages.},
year = {1992},
booktitle = {ECOOP},
author = {{Kevin Lano} and {Howard P. Haughton}},
publisher = {Springer},
booktitle = {ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings}
}
@inproceedings{conf/lfcs/Lano92,
title = {Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications.},
year = {1992},
booktitle = {LFCS},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings}
}
@inproceedings{conf/tools/Lano92,
title = {Object-Oriented Specification Techniques.},
year = {1992},
booktitle = {TOOLS (7)},
author = {{Kevin Lano}},
publisher = {Prentice Hall},
booktitle = {TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe.}
}
@incollection{conf/zum/Lano92,
title = {Z++.},
year = {1992},
booktitle = {Object Orientation in Z},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {Object Orientation in Z}
}
@inproceedings{conf/zum/LanoH92,
title = {Reuse and Adaptation of Z Specifications.},
year = {1992},
booktitle = {Z User Workshop},
author = {{Kevin Lano} and {Howard P. Haughton}},
publisher = {Springer},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings}
}
@inproceedings{conf/wcre/LanoH93,
title = {Integrating Formal and Structured Methods in Reverse Engineering.},
year = {1993},
booktitle = {WCRE},
author = {{Kevin Lano} and {Howard P. Haughton}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of Working Conference on Reverse Engineering, WCRE 1993, Baltimore, Maryland, USA, May 21-23, 1993}
}
@article{journals/apal/Lano93,
title = {The Intuitionistic Alternative Set Theory.},
year = {1993},
journal = {Ann. Pure Appl. Log.},
author = {{Kevin Lano}}
}
@article{journals/iee/BowenBL93,
title = {A compendium of formal techniques for software maintenance.},
year = {1993},
journal = {Softw. Eng. J.},
author = {{Jonathan P. Bowen} and {Peter T. Breuer} and {Kevin Lano}}
}
@article{journals/infsof/BowenBL93,
title = {Formal specifications in software maintenance: from code to Z++ and back again.},
year = {1993},
journal = {Inf. Softw. Technol.},
author = {{Jonathan P. Bowen} and {Peter T. Breuer} and {Kevin Lano}}
}
@article{journals/smr/LanoBH93,
title = {Reverse-engineering Cobol via formal methods.},
year = {1993},
journal = {J. Softw. Maintenance Res. Pract.},
author = {{Kevin Lano} and {Peter T. Breuer} and {Howard P. Haughton}}
}
@inproceedings{conf/imperial/LanoG94,
title = {Refinement, Subtyping and Subclassing in VDM++.},
year = {1994},
booktitle = {Theory and Formal Methods},
author = {{Kevin Lano} and {Stephen J. Goldsack}},
publisher = {Imperial College Press},
booktitle = {Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994}
}
@inproceedings{conf/refine/HaughtonL94,
title = {Testing and Safety Analysis of AM (Abstract Machine) Specifications.},
year = {1994},
booktitle = {Refine},
author = {{Howard P. Haughton} and {Kevin Lano}},
publisher = {Springer},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994}
}
@inproceedings{conf/refine/Lano94,
title = {Refinement in Object-Oriented Specification Languages.},
year = {1994},
booktitle = {Refine},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994}
}
@inproceedings{conf/refine/LanoH94,
title = {Improving the Process of System Specification and Refinement in B.},
year = {1994},
booktitle = {Refine},
author = {{Kevin Lano} and {Howard P. Haughton}},
publisher = {Springer},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994}
}
@article{journals/stvr/Lano94,
title = {Transformational Program Analysis.},
year = {1994},
journal = {Softw. Test. Verification Reliab.},
author = {{Kevin Lano}}
}
@book{books/daglib/0080853,
title = {Formal object-oriented development.},
year = {1995},
isbn = {978-3-540-19978-6},
publisher = {Springer},
series = {FACIT: Formal approaches to computing and information technology},
author = {{Kevin Lano}}
}
@inproceedings{conf/forte/Lano95,
title = {Distributed System Specification in VDM++.},
year = {1995},
booktitle = {FORTE},
author = {{Kevin Lano}},
publisher = {Chapman & Hall},
booktitle = {Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995}
}
@inproceedings{conf/iceccs/Lano95,
title = {Specifying static analysis tools using formal methods.},
year = {1995},
booktitle = {ICECCS},
author = {{Kevin Lano}},
publisher = {IEEE Computer Society},
booktitle = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA}
}
@inproceedings{conf/iceccs/LanoG95,
title = {Discrete event process controller synthesis using VDM++.},
year = {1995},
booktitle = {ICECCS},
author = {{Kevin Lano} and {Stephen J. Goldsack}},
publisher = {IEEE Computer Society},
booktitle = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA}
}
@inproceedings{conf/tapsoft/Lano95,
title = {Reactive System Specification and Refinement.},
year = {1995},
booktitle = {TAPSOFT},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}
}
@article{journals/infsof/LanoH95,
title = {Formal development in B abstract machine notation.},
year = {1995},
journal = {Inf. Softw. Technol.},
author = {{Kevin Lano} and {Howard P. Haughton}}
}
@book{books/daglib/0083695,
title = {The B language and method - a guide to practical formal development.},
year = {1996},
isbn = {978-3-540-76033-7},
publisher = {Springer},
series = {FACIT: Formal approaches to computing and information technology},
author = {{Kevin Lano}}
}
@article{journals/sigplan/GoldsackLD96,
title = {Annealing and Data Decomposition in VDM++.},
year = {1996},
journal = {ACM SIGPLAN Notices},
author = {{Stephen J. Goldsack} and {Kevin Lano} and {Eugène Dürr}}
}
@article{journals/tapos/Lano96,
title = {Enhancing Object-Oriented Methods with Formal Notations.},
year = {1996},
journal = {Theory Pract. Object Syst.},
author = {{Kevin Lano}}
}
@inproceedings{conf/alc/BicarreguiLM97,
title = {Towards a compositional interpretation of object diagrams.},
year = {1997},
booktitle = {Algorithmic Languages and Calculi},
author = {{Juan Bicarregui} and {Kevin Lano} and {T. S. E. Maibaum}},
publisher = {Chapman & Hall},
booktitle = {Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France}
}
@inproceedings{conf/arts/GoldsackLD97,
title = {Specification and Refinement of Continuous Real-Time Systems.},
year = {1997},
booktitle = {ARTS},
author = {{Stephen J. Goldsack} and {Kevin Lano} and {Eugène Dürr}},
publisher = {Springer},
booktitle = {Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings}
}
@inproceedings{conf/arts/LanoS97,
title = {Transformational Formal Development of Real-Time Systems.},
year = {1997},
booktitle = {ARTS},
author = {{Kevin Lano} and {Arturo Sanchez}},
publisher = {Springer},
booktitle = {Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings}
}
@inproceedings{conf/ecoop/BicarreguiLM97,
title = {Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.},
year = {1997},
booktitle = {ECOOP},
author = {{Juan Bicarregui} and {Kevin Lano} and {T. S. E. Maibaum}},
publisher = {Springer},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings}
}
@inproceedings{conf/ecoopw/BicarreguiLM97,
title = {Formalizing Object-Oriented Models in the Object Calculus.},
year = {1997},
booktitle = {ECOOP Workshops},
author = {{Juan Bicarregui} and {Kevin Lano} and {T. S. E. Maibaum}},
publisher = {Springer},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997}
}
@inproceedings{conf/ecoopw/LanoG97,
title = {Formalizing Real-Time System Design.},
year = {1997},
booktitle = {ECOOP Workshops},
author = {{Kevin Lano} and {Stephen J. Goldsack}},
publisher = {Springer},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997}
}
@inproceedings{conf/fm/LanoBFL97,
title = {Specification of Required Non-determinism.},
year = {1997},
booktitle = {FME},
author = {{Kevin Lano} and {Juan Bicarregui} and {José Luiz Fiadeiro} and {Antónia Lopes}},
publisher = {Springer},
booktitle = {FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}
}
@inproceedings{conf/fm/LanoS97,
title = {Design of Reactive Control Systems for Event-Drivem Operations.},
year = {1997},
booktitle = {FME},
author = {{Kevin Lano} and {Arturo Sanchez}},
publisher = {Springer},
booktitle = {FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}
}
@inproceedings{conf/iwfm/MalikL97,
title = {A Formal Approach to Design Patterns in Re-Engineering.},
year = {1997},
booktitle = {IWFM},
author = {{N. Malik} and {Kevin Lano}},
publisher = {BCS},
booktitle = {1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997}
}
@inproceedings{conf/safecomp/Lano97,
title = {Refinement and Safety Analysis.},
year = {1997},
booktitle = {SAFECOMP},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997}
}
@inproceedings{conf/zum/Lano97,
title = {Specifying Reactive Systems in B AMN.},
year = {1997},
booktitle = {ZUM},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings}
}
@inproceedings{conf/zum/LanoGBK97,
title = {Integrating VDM++ and Real-Time System Design.},
year = {1997},
booktitle = {ZUM},
author = {{Kevin Lano} and {Stephen J. Goldsack} and {Juan Bicarregui} and {Stuart Kent 001}},
publisher = {Springer},
booktitle = {ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings}
}
@article{journals/iee/BicarreguiCFHLLMMMNRRS97,
title = {Formal methods into practice: case studies in the application of the B method.},
year = {1997},
journal = {IEE Proc. Softw. Eng.},
author = {{Juan Bicarregui} and {D. L. Clutterbuck} and {Gavin R. Finnie} and {Howard P. Haughton} and {Kevin Lano} and {H. Lesan} and {D. W. R. M. Marsh} and {B. M. Matthews} and {Michael R. Moulding} and {A. Richard Newton} and {Brian Ritchie} and {T. G. A. Rushton} and {P. N. Scharbach}}
}
@inproceedings{conf/amast/MaibaumKL98,
title = {Systematising Reactive System Design.},
year = {1998},
booktitle = {AMAST},
author = {{T. S. E. Maibaum} and {Pauline Kan} and {Kevin Lano}},
publisher = {Springer},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}
}
@inproceedings{conf/safecomp/LanoKS98,
title = {Linking Hazard Analysis to Formal Specification and Design in B.},
year = {1998},
booktitle = {SAFECOMP},
author = {{Kevin Lano} and {Pauline Kan} and {Arturo Sanchez}},
publisher = {Springer},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings}
}
@inproceedings{conf/uml/LanoB98,
title = {Semantics and Transformations for UML Models.},
year = {1998},
booktitle = {UML},
author = {{Kevin Lano} and {Juan Bicarregui}},
publisher = {Springer},
booktitle = {The Unified Modeling Language, «UML»'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers}
}
@inproceedings{conf/zum/LanoKS98,
title = {Compositional Specification of Controllers for Batch Process Operations.},
year = {1998},
booktitle = {ZUM},
author = {{Kevin Lano} and {Pauline Kan} and {Arturo Sanchez}},
publisher = {Springer},
booktitle = {ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings}
}
@article{journals/csi/FranceELR98,
title = {The UML as a formal modeling notation.},
year = {1998},
journal = {Comput. Stand. Interfaces},
author = {{Robert B. France} and {Andy Evans} and {Kevin Lano} and {Bernhard Rumpe}}
}
@article{journals/logcom/Lano98,
title = {Logical Specification of Reactive and Real-Time Systems.},
year = {1998},
journal = {J. Log. Comput.},
author = {{Kevin Lano}}
}
@incollection{books/daglib/p/EvansFLR99,
title = {Meta-Modelling Semantics of UML.},
year = {1999},
booktitle = {Behavioral Specifications of Businesses and Systems},
author = {{Andy Evans} and {Robert B. France} and {Kevin Lano} and {Bernhard Rumpe}},
publisher = {Springer},
booktitle = {Behavioral Specifications of Businesses and Systems}
}
@incollection{books/daglib/p/LanoB99,
title = {Formalising the UML in Structured Temporal Theories.},
year = {1999},
booktitle = {Behavioral Specifications of Businesses and Systems},
author = {{Kevin Lano} and {Juan Bicarregui}},
publisher = {Springer},
booktitle = {Behavioral Specifications of Businesses and Systems}
}
@inproceedings{conf/fase/LanoE99,
title = {Rigorous Development in UML.},
year = {1999},
booktitle = {FASE},
author = {{Kevin Lano} and {Andy Evans}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}
}
@inproceedings{conf/ifm/LanoA99,
title = {Reactive System Refinement of Distributed Systems in B.},
year = {1999},
booktitle = {IFM},
author = {{Kevin Lano} and {Kelly Androutsopoulos}},
publisher = {Springer},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999}
}
@inproceedings{conf/lmo/GoldsackL99,
title = {Models Involving Multiple Instances of a Component.},
year = {1999},
booktitle = {LMO},
author = {{Stephen J. Goldsack} and {Kevin Lano}},
publisher = {Hermès},
booktitle = {Actes des journées Langages et Modèles à Objets, LMO'99. Villefranche-sur-mer, France, 27-29 janvier}
}
@article{journals/ase/LanoM99,
title = {Mapping Procedural Patterns to Object-Oriented Design Patterns.},
year = {1999},
journal = {Autom. Softw. Eng.},
author = {{Kevin Lano} and {N. Malik}}
}
@inproceedings{conf/fase/LanoAC00,
title = {Structuring and Design of Reactive Systems Using RSDS and B.},
year = {2000},
booktitle = {FASE},
author = {{Kevin Lano} and {Kelly Androutsopoulos} and {David Clark 001}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}
}
@inproceedings{conf/ftrtft/LanoCAK00,
title = {Invariant-Based Synthesis of Fault-Tolerant Systems.},
year = {2000},
booktitle = {FTRTFT},
author = {{Kevin Lano} and {David Clark 001} and {Kelly Androutsopoulos} and {Pauline Kan}},
publisher = {Springer},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings}
}
@inproceedings{conf/icfem/LanoAK00,
title = {Structuring Reactive Systems in B AMN.},
year = {2000},
booktitle = {ICFEM},
author = {{Kevin Lano} and {Kelly Androutsopoulos} and {Pauline Kan}},
publisher = {IEEE Computer Society},
booktitle = {3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings}
}
@inproceedings{conf/room/LanoBE00,
title = {Structured Axiomatic Semantics for UML Models.},
year = {2000},
booktitle = {Rigorous Object-Oriented Methods},
author = {{Kevin Lano} and {Juan Bicarregui} and {Andy Evans}},
publisher = {BCS},
booktitle = {Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000}
}
@article{journals/cj/LanoFB00,
title = {A Semantic Comparison of Fusion and Syntropy.},
year = {2000},
journal = {Comput. J.},
author = {{Kevin Lano} and {Robert B. France} and {Jean-Michel Bruel}}
}
@article{journals/stvr/Lano01,
title = {Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press.},
year = {2001},
journal = {Softw. Test. Verification Reliab.},
author = {{Kevin Lano}}
}
@book{books/daglib/0015718,
title = {Software design using Java 2.},
year = {2002},
isbn = {978-1-4039-0230-6},
publisher = {Palgrave Macmillan},
author = {{Kevin Lano} and {José Luiz Fiadeiro} and {Luís Filipe Andrade}}
}
@inproceedings{conf/ifm/LanoCA02,
title = {From Implicit Specifications to Explicit Designs in Reactive System Development.},
year = {2002},
booktitle = {IFM},
author = {{Kevin Lano} and {David Clark 001} and {Kelly Androutsopoulos}},
publisher = {Springer},
booktitle = {Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings}
}
@inproceedings{conf/safecomp/LanoCA02,
title = {Safety and Security Analysis of Object-Oriented Models.},
year = {2002},
booktitle = {SAFECOMP},
author = {{Kevin Lano} and {David Clark 001} and {Kelly Androutsopoulos}},
publisher = {Springer},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings}
}
@inproceedings{conf/serp/JesminL03,
title = {Internet System Design for the Disabled Net.},
year = {2003},
booktitle = {Software Engineering Research and Practice},
author = {{Runa Jesmin} and {Kevin Lano}},
publisher = {CSREA Press},
booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2}
}
@article{journals/Lobjet/LanoCA03,
title = {RSDS, a Subset of UML with Precise Semantics.},
year = {2003},
journal = {Obj. Logiciel Base données Réseaux},
author = {{Kevin Lano} and {David Clark 001} and {Kelly Androutsopoulos}}
}
@inproceedings{conf/iadis/LanoJ04,
title = {Generating Accessible and Usable Internet Systems.},
year = {2004},
booktitle = {ICWI},
author = {{Kevin Lano} and {Runa Jesmin}},
publisher = {IADIS},
booktitle = {Proceedings of the IADIS International Conference WWW/Internet 2004, Madrid, Spain, 2 Volumes}
}
@inproceedings{conf/ifm/LanoCA04,
title = {UML to B: Formal Verification of Object-Oriented Models.},
year = {2004},
booktitle = {IFM},
author = {{Kevin Lano} and {David Clark 001} and {Kelly Androutsopoulos}},
publisher = {Springer},
booktitle = {Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings}
}
@book{books/daglib/0015719,
title = {Advanced systems design with Java, UML and MDA.},
year = {2005},
isbn = {978-0-7506-6496-7},
publisher = {Elsevier},
author = {{Kevin Lano}}
}
@inproceedings{journals/entcs/LanoAC05,
title = {Refinement Patterns for UML.},
year = {2005},
booktitle = {REFINE},
author = {{Kevin Lano} and {Kelly Androutsopoulos} and {David Clark 001}},
publisher = {Elsevier},
booktitle = {Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005}
}
@article{journals/sosym/LanoF06,
title = {Extending UML with coordination contracts.},
year = {2006},
journal = {Softw. Syst. Model.},
author = {{Kevin Lano} and {José Luiz Fiadeiro}}
}
@inproceedings{conf/iceccs/YuFRL07,
title = {A light-weight static approach to analyzing UML behavioral properties.},
year = {2007},
booktitle = {ICECCS},
author = {{Lijun Yu} and {Robert B. France} and {Indrakshi Ray} and {Kevin Lano}},
publisher = {IEEE Computer Society},
booktitle = {12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand}
}
@inproceedings{conf/sefm/Lano07,
title = {Formal Specification using Interaction Diagrams.},
year = {2007},
booktitle = {SEFM},
author = {{Kevin Lano}},
publisher = {IEEE Computer Society},
booktitle = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK}
}
@article{journals/jot/LanoC07,
title = {Direct Semantics of Extended State Machines.},
year = {2007},
journal = {J. Object Technol.},
author = {{Kevin Lano} and {David Clark 001}}
}
@inproceedings{conf/iceis/LanoC08,
title = {Semantics and Refinement of Behavior State Machines.},
year = {2008},
booktitle = {ICEIS (3-1)},
author = {{Kevin Lano} and {David Clark 001}},
booktitle = {ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June 12-16, 2008}
}
@inproceedings{conf/qsic/LanoC08,
title = {Model Transformation Specification and Verification.},
year = {2008},
booktitle = {QSIC},
author = {{Kevin Lano} and {David Clark 001}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK}
}
@article{journals/infsof/Lano08,
title = {Constraint-driven development.},
year = {2008},
journal = {Inf. Softw. Technol.},
author = {{Kevin Lano}}
}
@incollection{books/wi/09/Clark09,
title = {Axiomatic Semantics of State Machines.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano} and {David Clark 001}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09,
title = {Introduction to the Unified Modeling Language.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09a,
title = {The Role of Semantics.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09b,
title = {Axiomatic Semantics of UML Class Diagrams.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09c,
title = {Semantics of Activity Diagrams.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09d,
title = {Verification of UML Models.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@incollection{books/wi/09/Lano09e,
title = {Model Transformation Specification and Verification.},
year = {2009},
booktitle = {UML 2 Semantics and Applications},
author = {{Kevin Lano}},
publisher = {Wiley},
booktitle = {UML 2 Semantics and Applications}
}
@article{journals/sosym/Lano09,
title = {A compositional semantics of UML-RSDS.},
year = {2009},
journal = {Softw. Syst. Model.},
author = {{Kevin Lano}}
}
@inproceedings{conf/icsoft/LanoR10,
title = {Slicing of UML Models.},
year = {2010},
booktitle = {ICSOFT (2)},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {SciTePress},
booktitle = {ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010}
}
@inproceedings{conf/ifm/LanoR10,
title = {Specification and Verification of Model Transformations Using UML-RSDS.},
year = {2010},
booktitle = {IFM},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {Springer},
booktitle = {Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings}
}
@inproceedings{conf/models/LanoR10,
title = {Slicing of UML Models Using Model Transformations.},
year = {2010},
booktitle = {MoDELS (2)},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {Springer},
booktitle = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II}
}
@inproceedings{conf/fsen/RahimiL11,
title = {A Model-Based Development Approach for Model Transformations.},
year = {2011},
booktitle = {FSEN},
author = {{Shekoufeh Kolahdouz Rahimi} and {Kevin Lano}},
publisher = {Springer},
booktitle = {Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers}
}
@inproceedings{conf/icmt/LanoR11,
title = {Model-Driven Development of Model Transformations.},
year = {2011},
booktitle = {ICMT@TOOLS},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {Springer},
booktitle = {Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings}
}
@inproceedings{conf/icse/AndroutsopoulosBCGHLL11,
title = {Model projection: simplifying models in response to restricting the environment.},
year = {2011},
booktitle = {ICSE},
author = {{Kelly Androutsopoulos} and {David W. Binkley} and {David Clark 001} and {Nicolas Gold} and {Mark Harman} and {Kevin Lano} and {Zheng Li 002}},
publisher = {ACM},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011}
}
@inproceedings{journals/corr/abs-1111-4741,
title = {Solving the TTC 2011 Model Migration Case with UML-RSDS},
year = {2011},
booktitle = {TTC},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
booktitle = {Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011.}
}
@inproceedings{journals/corr/abs-1111-4763,
title = {Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case},
year = {2011},
booktitle = {TTC},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
booktitle = {Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011.}
}
@article{journals/jot/LanoR11,
title = {Slicing Techniques for UML Models.},
year = {2011},
journal = {J. Object Technol.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}}
}
@inproceedings{conf/icsoft/LanoR12,
title = {Synthesis of Software from Logical Constraints.},
year = {2012},
booktitle = {ICSOFT},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {SciTePress},
booktitle = {ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012}
}
@article{journals/ac/LanoR12,
title = {Model Transformation Specification and Design.},
year = {2012},
journal = {Adv. Comput.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}}
}
@article{journals/ijsi/LanoRP12,
title = {Comparative Evaluation of Model Transformation Specification Approaches.},
year = {2012},
journal = {Int. J. Softw. Informatics},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Iman Poernomo}}
}
@inproceedings{conf/cloudcom/ChatziprimouLZ13,
title = {Runtime Infrastructure Optimisation in Cloud IaaS Structures.},
year = {2013},
booktitle = {CloudCom (1)},
author = {{Kleopatra Chatziprimou} and {Kevin Lano} and {Steffen Zschaler}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 5th International Conference on Cloud Computing Technology and Science, CloudCom 2013, Bristol, United Kingdom, December 2-5, 2013, Volume 1}
}
@inproceedings{conf/modelsward/ChatziprimouLZ13,
title = {Towards a Meta-model of the Cloud Computing Resource Landscape.},
year = {2013},
booktitle = {MODELSWARD},
author = {{Kleopatra Chatziprimou} and {Kevin Lano} and {Steffen Zschaler}},
publisher = {SciTePress},
booktitle = {MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013}
}
@inproceedings{conf/modelsward/LanoR13,
title = {Optimising Model-transformations using Design Patterns.},
year = {2013},
booktitle = {MODELSWARD},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {SciTePress},
booktitle = {MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013}
}
@inproceedings{journals/corr/LanoKM13,
title = {Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.},
year = {2013},
booktitle = {TTC},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Krikor Maroukian}},
booktitle = {Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013.}
}
@inproceedings{journals/corr/LanoR13,
title = {Case study: Class diagram restructuring.},
year = {2013},
booktitle = {TTC},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
booktitle = {Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013.}
}
@article{journals/jss/LanoR13,
title = {Constraint-based specification of model transformations.},
year = {2013},
journal = {J. Syst. Softw.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}}
}
@incollection{books/daglib/p/Lano14,
title = {Design Patterns: Applications and Open Issues.},
year = {2014},
booktitle = {Cyberpatterns},
author = {{Kevin Lano}},
publisher = {Springer},
booktitle = {Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns}
}
@inproceedings{conf/cloudcom/ChatziprimouLZ14,
title = {Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations.},
year = {2014},
booktitle = {CloudCom},
author = {{Kleopatra Chatziprimou} and {Kevin Lano} and {Steffen Zschaler}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014}
}
@inproceedings{conf/staf/AmraniSWBG0L14,
title = {Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).},
year = {2014},
booktitle = {VOLT@STAF},
author = {{Moussa Amrani} and {Eugene Syriani} and {Manuel Wimmer} and {Robert Bill} and {Martin Gogolla} and {Frank Hermann 001} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014.}
}
@inproceedings{conf/staf/Lano14,
title = {Null Considered Harmful (for Transformation Verification).},
year = {2014},
booktitle = {VOLT@STAF},
author = {{Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014.}
}
@inproceedings{conf/staf/LanoMT14,
title = {Case study: FIXML to Java, C# and C++.},
year = {2014},
booktitle = {TTC@STAF},
author = {{Kevin Lano} and {Krikor Maroukian} and {Sobhan Yassipour Tehrani}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014.}
}
@inproceedings{conf/staf/LanoRC14,
title = {Language-Independent Model Transformation Verification.},
year = {2014},
booktitle = {VOLT@STAF},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Tony Clark 001}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014.}
}
@inproceedings{conf/staf/LanoT14,
title = {Solving the TTC 2014 Movie Database Case with UML-RSDS.},
year = {2014},
booktitle = {TTC@STAF},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014.}
}
@article{journals/corr/EvansFLR14a,
title = {Developing the UML as a Formal Modelling Notation.},
year = {2014},
journal = {CoRR},
author = {{Andy Evans} and {Robert B. France} and {Kevin Lano} and {Bernhard Rumpe}}
}
@article{journals/corr/EvansLFR14,
title = {Meta-Modeling Semantics of UML.},
year = {2014},
journal = {CoRR},
author = {{Andy Evans} and {Kevin Lano} and {Robert B. France} and {Bernhard Rumpe}}
}
@article{journals/scp/JakumeitBWDHHHKKLLRRWM14,
title = {A survey and comparison of transformation tools based on the transformation tool contest.},
year = {2014},
journal = {Sci. Comput. Program.},
author = {{Edgar Jakumeit} and {Sebastian Buchwald} and {Dennis Wagelaar} and {Li Dan} and {Ábel Hegedüs} and {Markus Herrmannsdörfer} and {Tassilo Horn} and {Elina Kalnina} and {Christian Krause 001} and {Kevin Lano} and {Markus Lepper 001} and {Arend Rensink} and {Louis M. Rose} and {Sebastian Wätzoldt} and {Steffen Mazanek}}
}
@article{journals/scp/RahimiLPTG14,
title = {Evaluation of model transformation approaches for model refactoring.},
year = {2014},
journal = {Sci. Comput. Program.},
author = {{Shekoufeh Kolahdouz Rahimi} and {Kevin Lano} and {Suresh Pillay} and {Javier Troya} and {Pieter Van Gorp}}
}
@article{journals/sosym/LanoRPTZ14,
title = {Correct-by-construction synthesis of model transformations using transformation patterns.},
year = {2014},
journal = {Softw. Syst. Model.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Iman Poernomo} and {Jeffrey Terrell} and {Steffen Zschaler}}
}
@article{journals/sosym/RoseHMGBHKKLSW14,
title = {Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.},
year = {2014},
journal = {Softw. Syst. Model.},
author = {{Louis M. Rose} and {Markus Herrmannsdoerfer} and {Steffen Mazanek} and {Pieter Van Gorp} and {Sebastian Buchwald} and {Tassilo Horn} and {Elina Kalnina} and {Andreas Koch 005} and {Kevin Lano} and {Bernhard Schätz} and {Manuel Wimmer}}
}
@article{journals/tse/LanoR14,
title = {Model-Transformation Design Patterns.},
year = {2014},
journal = {IEEE Trans. Software Eng.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}}
}
@inproceedings{conf/iciso/MaroukianLY15,
title = {Towards Automatic Generation of Project-Based Solutions.},
year = {2015},
booktitle = {ICISO},
author = {{Krikor Maroukian} and {Kevin Lano} and {Mohammad Yamin}},
publisher = {Springer},
booktitle = {Information and Knowledge Management in Complex Systems - 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015. Proceedings}
}
@inproceedings{conf/models/LanoTA15,
title = {Experiences of Teaching Model-based Development.},
year = {2015},
booktitle = {EduSymp@MoDELS},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani} and {Hessa Alfraihi}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 29, 2015.}
}
@inproceedings{conf/staf/LanoRT15,
title = {Model Transformation Semantic Analysis by Transformation.},
year = {2015},
booktitle = {VOLT@STAF},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Sobhan Yassipour Tehrani}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.}
}
@inproceedings{conf/staf/LanoT15,
title = {Design Patterns for Model Transformations: Current Research and Future Directions.},
year = {2015},
booktitle = {PAME@STAF},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015.}
}
@inproceedings{conf/staf/TehraniL15,
title = {Temporal Logic Specification and Analysis for Model Transformations.},
year = {2015},
booktitle = {VOLT@STAF},
author = {{Sobhan Yassipour Tehrani} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.}
}
@article{journals/fac/LanoCR15,
title = {A framework for model transformation verification.},
year = {2015},
journal = {Formal Aspects Comput.},
author = {{Kevin Lano} and {Tony Clark 001} and {Shekoufeh Kolahdouz Rahimi}}
}
@inproceedings{conf/icmt/TehraniZL16,
title = {Requirements Engineering in Model-Transformation Development: An Interview-Based Study.},
year = {2016},
booktitle = {ICMT},
author = {{Sobhan Yassipour Tehrani} and {Steffen Zschaler} and {Kevin Lano}},
publisher = {Springer},
booktitle = {Theory and Practice of Model Transformations - 9th International Conference, ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings}
}
@inproceedings{conf/models/LanoT16,
title = {Verified bidirectional transformations by construction.},
year = {2016},
booktitle = {PAME/VOLT@MoDELS},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani}},
publisher = {CEUR-WS.org},
booktitle = {Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016.}
}
@inproceedings{conf/staf/LanoTR16,
title = {Solving the Class Responsibility Assignment Case with UML-RSDS.},
year = {2016},
booktitle = {TTC@STAF},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 8, 2016.}
}
@inproceedings{conf/icmt/LanoRTS17,
title = {A Survey of Model Transformation Design Pattern Usage.},
year = {2017},
booktitle = {ICMT},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Sobhan Yassipour Tehrani} and {Mohammadreza Sharbaf}},
publisher = {Springer},
booktitle = {Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings}
}
@inproceedings{conf/models/AlfraihiL17,
title = {Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study.},
year = {2017},
booktitle = {MoDELS (Satellite Events)},
author = {{Hessa Alfraihi} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017.}
}
@inproceedings{conf/models/AlfraihiL17a,
title = {A Process for Integrating Agile Software Development and Model-driven Development.},
year = {2017},
booktitle = {MoDELS (Satellite Events)},
author = {{Hessa Alfraihi} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017.}
}
@inproceedings{conf/models/LanoHTA17,
title = {Agile Model-driven Engineering of Financial Applications.},
year = {2017},
booktitle = {MoDELS (Satellite Events)},
author = {{Kevin Lano} and {Howard P. Haughton} and {Sobhan Yassipour Tehrani} and {Hessa Alfraihi}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017.}
}
@inproceedings{conf/modelsward/AlfraihiL17,
title = {The Integration of Agile Development and Model Driven Development - A Systematic Literature Review.},
year = {2017},
booktitle = {MODELSWARD},
author = {{Hessa Alfraihi} and {Kevin Lano}},
publisher = {SciTePress},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017.}
}
@inproceedings{conf/staf/LanoTAR17,
title = {Translating UML-RSDS OCL to ANSI C.},
year = {2017},
booktitle = {STAF Workshops},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani} and {Hessa Alfraihi} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {Springer},
booktitle = {Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers}
}
@inproceedings{conf/icmt/LanoRSA18,
title = {Technical Debt in Model Transformation Specifications.},
year = {2018},
booktitle = {ICMT},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Mohammadreza Sharbaf} and {Hessa Alfraihi}},
publisher = {Springer},
booktitle = {Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings}
}
@inproceedings{conf/models/LanoARSH18,
title = {Comparative case studies in agile model-driven development.},
year = {2018},
booktitle = {MoDELS (Workshops)},
author = {{Kevin Lano} and {Hessa Alfraihi} and {Shekoufeh Kolahdouz Rahimi} and {Mohammadreza Sharbaf} and {Howard P. Haughton}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018.}
}
@inproceedings{conf/sam/AlfraihiLRSH18,
title = {The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study.},
year = {2018},
booktitle = {SAM},
author = {{Hessa Alfraihi} and {Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Mohammadreza Sharbaf} and {Howard P. Haughton}},
publisher = {Springer},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings}
}
@article{journals/jss/LanoRTS18,
title = {A survey of model transformation design patterns in practice.},
year = {2018},
journal = {J. Syst. Softw.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Sobhan Yassipour Tehrani} and {Mohammadreza Sharbaf}}
}
@inproceedings{conf/models/LanoFAR19,
title = {Simplified Specification Languages for Flexible and Agile Modelling.},
year = {2019},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Shichao Fang} and {Hessa Alfraihi} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {IEEE},
booktitle = {22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019}
}
@inproceedings{conf/staf/FangL19,
title = {Extracting Correspondences from Metamodels Using Metamodel Matching.},
year = {2019},
booktitle = {STAF (Co-Located Events)},
author = {{Shichao Fang} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15 - 19, 2019.}
}
@article{journals/access/LanoRT19,
title = {Declarative Specification of Bidirectional Transformations Using Design Patterns.},
year = {2019},
journal = {IEEE Access},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Sobhan Yassipour Tehrani}}
}
@book{series/utcs/LanoH19,
title = {Financial Software Engineering},
year = {2019},
isbn = {978-3-030-14049-6},
publisher = {Springer},
series = {Undergraduate Topics in Computer Science},
author = {{Kevin Lano} and {Howard P. Haughton}}
}
@inproceedings{conf/models/LanoFR20,
title = {TL: an abstract specification language for bidirectional transformations.},
year = {2020},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Shichao Fang} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {ACM},
booktitle = {MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings}
}
@inproceedings{conf/models/LanoFUY20,
title = {Enhancing model transformation synthesis using natural language processing.},
year = {2020},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Shichao Fang} and {Muhammad Aminu Umar} and {Sobhan Yassipour Tehrani}},
publisher = {ACM},
booktitle = {MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings}
}
@inproceedings{conf/modelsward/LanoF20,
title = {Automated Synthesis of ATL Transformations from Metamodel Correspondences.},
year = {2020},
booktitle = {MODELSWARD},
author = {{Kevin Lano} and {Shichao Fang}},
publisher = {SCITEPRESS},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020.}
}
@article{journals/jss/RahimiLSKA20,
title = {A comparison of quality flaws and technical debt in model transformation specifications.},
year = {2020},
journal = {J. Syst. Softw.},
author = {{Shekoufeh Kolahdouz Rahimi} and {Kevin Lano} and {Mohammadreza Sharbaf} and {Meysam Karimi} and {Hessa Alfraihi}}
}
@article{journals/vlc/RahimiLK20,
title = {Technical debt in procedural model transformation languages.},
year = {2020},
journal = {J. Comput. Lang.},
author = {{Shekoufeh Kolahdouz Rahimi} and {Kevin Lano} and {Meysam Karimi}}
}
@inproceedings{conf/ant/LanoJT21,
title = {Model-based Testing and Monitoring using AgileUML.},
year = {2021},
booktitle = {ANT/EDI40},
author = {{Kevin Lano} and {Kunxiang Jin} and {Shefali Tyagi}},
publisher = {Elsevier},
booktitle = {The 12th International Conference on Ambient Systems, Networks and Technologies (ANT 2021) / The 4th International Conference on Emerging Data and Industry 4.0 (EDI40 2021) / Affiliated Workshops, March 23-26, 2021, Warsaw, Poland}
}
@inproceedings{conf/fsen/LanoR21,
title = {Extending OCL with Map and Function Types.},
year = {2021},
booktitle = {FSEN},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {Springer},
booktitle = {Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers}
}
@inproceedings{conf/indiaSE/JinL21,
title = {Generation of Test Cases from UML Diagrams - A Systematic Literature Review.},
year = {2021},
booktitle = {ISEC},
author = {{Kunxiang Jin} and {Kevin Lano}},
publisher = {ACM},
booktitle = {ISEC 2021: 14th Innovations in Software Engineering Conference, Bhubaneswar, Odisha, India, February 25-27, 2021}
}
@inproceedings{conf/indiaSE/LanoARH21,
title = {Synthesis of mobile applications using AgileUML.},
year = {2021},
booktitle = {ISEC},
author = {{Kevin Lano} and {Lyan Alwakeel} and {Shekoufeh Kolahdouz Rahimi} and {Howard P. Haughton}},
publisher = {ACM},
booktitle = {ISEC 2021: 14th Innovations in Software Engineering Conference, Bhubaneswar, Odisha, India, February 25-27, 2021}
}
@inproceedings{conf/models/LanoTU21,
title = {Automated Requirements Formalisation for Agile MDE.},
year = {2021},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani} and {Muhammad Aminu Umar}},
publisher = {IEEE},
booktitle = {ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021}
}
@inproceedings{conf/staf/JinL21,
title = {Mutation Operators for Object Constraint Language Specification.},
year = {2021},
booktitle = {STAF Workshops},
author = {{Kunxiang Jin} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021.}
}
@inproceedings{conf/staf/Lano21,
title = {Implementing OCL in Swift.},
year = {2021},
booktitle = {STAF Workshops},
author = {{Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021.}
}
@inproceedings{conf/staf/Lano21a,
title = {Adding Regular Expression Operators to OCL.},
year = {2021},
booktitle = {STAF Workshops},
author = {{Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021.}
}
@article{journals/ase/DerakhshandiRTL21,
title = {A model-driven framework for developing android-based classic multiplayer 2D board games.},
year = {2021},
journal = {Autom. Softw. Eng.},
author = {{Mohammad Derakhshandi} and {Shekoufeh Kolahdouz Rahimi} and {Javier Troya} and {Kevin Lano}}
}
@article{journals/sosym/LanoR21,
title = {Implementing QVT-R via semantic interpretation in UML-RSDS.},
year = {2021},
journal = {Softw. Syst. Model.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}}
}
@inproceedings{conf/icse/Lano22,
title = {Program translation using model-driven engineering.},
year = {2022},
booktitle = {ICSE-Companion},
author = {{Kevin Lano}},
publisher = {ACM/IEEE},
booktitle = {44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022}
}
@inproceedings{conf/models/JinL22,
title = {OCL-based test case prioritisation using AgileUML.},
year = {2022},
booktitle = {MoDELS (Companion)},
author = {{Kunxiang Jin} and {Kevin Lano}},
publisher = {ACM},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022}
}
@inproceedings{conf/models/JinL22a,
title = {Design and classification of mutation operators for OCL specification.},
year = {2022},
booktitle = {MoDELS (Companion)},
author = {{Kunxiang Jin} and {Kevin Lano}},
publisher = {ACM},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022}
}
@inproceedings{conf/models/LanoRJ22,
title = {OCL libraries for software specification and representation.},
year = {2022},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Kunxiang Jin}},
publisher = {ACM},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022}
}
@inproceedings{conf/modelsward/LanoX22,
title = {Code Generation by Example.},
year = {2022},
booktitle = {MODELSWARD},
author = {{Kevin Lano} and {Qiaomu Xue}},
publisher = {SCITEPRESS},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022.}
}
@article{journals/smr/RouhiRL22,
title = {Formalizing model transformation patterns.},
year = {2022},
journal = {J. Softw. Evol. Process.},
author = {{Alireza Rouhi} and {Shekoufeh Kolahdouz Rahimi} and {Kevin Lano}}
}
@article{journals/sosym/LanoRTA22,
title = {Introduction to the theme section on Agile model-driven engineering.},
year = {2022},
journal = {Softw. Syst. Model.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Javier Troya} and {Hessa Alfraihi}}
}
@article{journals/tosem/LanoRF22,
title = {Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example.},
year = {2022},
journal = {ACM Trans. Softw. Eng. Methodol.},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi} and {Shichao Fang}}
}
@inproceedings{conf/models/AlfraihiL23,
title = {Trends and Insights into the Use of Model-Driven Engineering: A Survey.},
year = {2023},
booktitle = {MoDELS (Companion)},
author = {{Hessa Alfraihi} and {Kevin Lano}},
publisher = {IEEE},
booktitle = {ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023}
}
@inproceedings{conf/models/LanoHYA23,
title = {Program Abstraction and Re-Engineering: An Agile MDE Approach.},
year = {2023},
booktitle = {MoDELS (Companion)},
author = {{Kevin Lano} and {Howard P. Haughton} and {Ziwen Yuan} and {Hessa Alfraihi}},
publisher = {IEEE},
booktitle = {ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023}
}
@inproceedings{conf/modelsward/LanoX23,
title = {Lightweight Software Language Processing Using Antlr and CGTL.},
year = {2023},
booktitle = {MODELSWARD},
author = {{Kevin Lano} and {Qiaomu Xue}},
publisher = {SCITEPRESS},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023.}
}
@inproceedings{conf/modelsward/RahimiLL23,
title = {Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review.},
year = {2023},
booktitle = {MODELSWARD},
author = {{Shekoufeh Kolahdouz Rahimi} and {Kevin Lano} and {Chenghua Lin}},
publisher = {SCITEPRESS},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023.}
}
@inproceedings{conf/ttc/AlwakeelLA23,
title = {Towards Integrating Machine Learning Models into Mobile Apps using AppCraft.},
year = {2023},
booktitle = {Agile MDE/MeSS/TTC@STAF},
author = {{Lyan Alwakeel} and {Kevin Lano} and {Hessa Alfraihi}},
publisher = {CEUR-WS.org},
booktitle = {Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.}
}
@inproceedings{conf/ttc/HaughtonTL23,
title = {MathOCL: a domain-specific language for financial modelling.},
year = {2023},
booktitle = {Agile MDE/MeSS/TTC@STAF},
author = {{Howard P. Haughton} and {Sobhan Yassipour Tehrani} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.}
}
@inproceedings{conf/ttc/LanoR23,
title = {Program abstraction by transformation: Abstraction of Visual Basic to UML.},
year = {2023},
booktitle = {Agile MDE/MeSS/TTC@STAF},
author = {{Kevin Lano} and {Shekoufeh Kolahdouz Rahimi}},
publisher = {CEUR-WS.org},
booktitle = {Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.}
}
@inproceedings{conf/ttc/LanoR23a,
title = {KMEHR to FHIR case solution with UML-RSDS.},
year = {2023},
booktitle = {Agile MDE/MeSS/TTC@STAF},
author = {{Kevin Lano} and {Alireza Rouhi}},
publisher = {CEUR-WS.org},
booktitle = {Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.}
}
@inproceedings{conf/ttc/TehraniL23,
title = {Using MDE with the Clean Architecture.},
year = {2023},
booktitle = {Agile MDE/MeSS/TTC@STAF},
author = {{Sobhan Yassipour Tehrani} and {Kevin Lano}},
publisher = {CEUR-WS.org},
booktitle = {Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.}
}
@book{series/utcs/LanoT23,
title = {Introduction to Software Architecture - Innovative Design using Clean Architecture and Model-Driven Engineering},
year = {2023},
isbn = {978-3-031-44142-4},
publisher = {Springer},
series = {Undergraduate Topics in Computer Science},
author = {{Kevin Lano} and {Sobhan Yassipour Tehrani}}
}
@article{journals/sncs/LanoX23,
title = {Code Generation by Example Using Symbolic Machine Learning.},
year = {2023},
month = {March},
journal = {SN Comput. Sci.},
author = {{Kevin Lano} and {Qiaomu Xue}}
}
@article{journals/spe/RouhiL23,
title = {Towards a pattern-based model transformation framework.},
year = {2023},
month = {September},
journal = {Softw. Pract. Exp.},
author = {{Alireza Rouhi} and {Kevin Lano}}
}
@article{journals/ase/LanoS24,
title = {Using model-driven engineering to automate software language translation.},
year = {2024},
month = {June},
journal = {Autom. Softw. Eng.},
author = {{Kevin Lano} and {Hanan Siala}}
}