Object Oriented Reuse through Algebraic Specifications. - Liliana Favre (TOOLS (28), 1998)

Integrating UML and Algebraic Specification Techniques. - Liliana Favre; Silvia Clerici (TOOLS (32), 1999)

Transforming UML Static Models into Object-Oriented Code. - Liliana Favre; Liliana Martinez; Claudia Pereira (TOOLS (37), 2000)

A Systematic Approach to Transform UML Static Models to Object-Oriented Code. - Liliana Favre; Silvia Clerici (Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001)

A Formal Mapping between UML Static Models and Algebraic Specifications. - Liliana Favre (pUML, 2001)

Forward Engineering of UML Static Models. - Liliana Favre; Liliana Martinez; Claudia Pereira (Encyclopedia of Information Science and Technology (II), 2005)

A Rigorous Framework for Model-Driven Development. - Liliana Favre (EMMSAD, 2005)

Well-Founded Metamodeling for Model-Driven Architecture. - Liliana Favre (SOFSEM, 2005)

Foundations for MDA-based Forward Engineering. - Liliana Favre (J. Object Technol., 2005)

Formalizing MDA Components. - Liliana Favre; Liliana Martinez (ICSR, 2006)

Foundations for MDA-Based Reverse Engineering. - Liliana Favre (Software Engineering Research and Practice, 2007)

Formalizing MDA-Based Refactorings. - Liliana Favre; Claudia Pereira (Australian Software Engineering Conference, 2008)

Formalizing MOF-Metamodels. - Liliana Favre (FCS, 2008)

Formalizing MDA-Based Reverse Engineering Processes. - Liliana Favre (SERA, 2008)

A Formal Foundation for Metamodeling. - Liliana Favre (Ada-Europe, 2009)

MDA-Based Reverse Engineering of Object Oriented Code. - Liliana Favre; Liliana Martinez; Claudia Pereira (BMMDS/EMMSAD, 2009)

An Empirical Analysis of Approximation Algorithms for Euclidean TSP. - Bárbara Rodeker; M. Virginia Cifuentes; Liliana Favre (CSC, 2009)

State Machine Diagram Refactoring in MDA-based Development. - Claudia Pereira; Liliana Martinez; Liliana Favre (Software Engineering Research and Practice, 2009)

Foundations for QVT Transformation. - Liliana Favre (Software Engineering Research and Practice, 2010)

Model Driven Architecture for Round-Trip Engineering: A Conceptual Framework. - Liliana Favre (Software Engineering Research and Practice, 2010)

Recovering Use Case Diagrams from Object Oriented Code: An MDA-based Approach. - Claudia Pereira; Liliana Martinez; Liliana Favre (ITNG, 2011)

Adapting CRM Systems for Mobile Platforms: An MDA Perspective. - Federico Amendola; Liliana Favre (SNPD, 2013)

Recovering Sequence Diagrams from Object-oriented Code - An ADM Approach. - Liliana Martinez; Claudia Pereira; Liliana Favre (ENASE, 2014)

GLIESE - A Framework for Experimental Game Development. - Federico Amendola; Martin Fernandez; Liliana Favre (ITNG, 2015)

Formal MOF Metamodeling and Tool Support. - Liliana Favre; Daniel Duarte (MODELSWARD, 2016)

Migrating C/C++ Software to Mobile Platforms in the ADM Context. - Liliana Martinez; Claudia Pereira; Liliana Favre (Int. J. Interact. Multim. Artif. Intell., 2017)

Formal Metamodeling for Secure Model-Driven Engineering. - Liliana Maria Favre (Int. J. Syst. Softw. Secur. Prot., 2021)

Toward an Execution Trace Standard: An MDE Approach. - Claudia Pereira; Liliana Martinez; Liliana Favre (CACIC, 2022)

A Formal Framework for Metamodeling in the Context of MDE. - Liliana Favre (J. Univers. Comput. Sci., 2025)