Monitoring Mobile Code. - Fernando Luís Dotti; Lucio Mauro Duarte (PDPTA, 2000)

A User Interface Model for Navigation in Virtual Environments. - Márcio Serolli Pinho; Leandro Luís Dias; Carlos G. Antunes Moreira; Emmanuel González Khodjaoghlanian; Gustavo Pizzini Becker; Lucio Mauro Duarte (Cyberpsychology Behav. Soc. Netw., 2002)

An Environment for the Development of Concurrent Object-Based Applications. - Fernando Luís Dotti; Lucio Mauro Duarte; Luciana Foss; Leila Ribeiro 001; Daniela Russi; Osmar Marchi dos Santos (GraBaTs, 2004)

Model Extraction Using Context Information. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (MoDELS, 2006)

Behaviour Model Extraction Using Context Information. - Lucio Mauro Duarte (2007)

Towards Faithful Model Extraction Based on Contexts. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (FASE, 2008)

Model Checking the Ant Colony Optimisation. - Lucio Mauro Duarte; Luciana Foss; Flávio Rech Wagner; Tales Heimfarth (DIPES/BICC, 2010)

Behaviour Model Extraction from Software. - Lucio Mauro Duarte (WEIT, 2013)

Specification of Models Based on Contexts using Graph Grammars. - Marcos Antonio de Oliveira Junior; Leila Ribeiro 001; Lucio Mauro Duarte; Érika F. Cota (WEIT, 2013)

Analysis of the Impact of Refactorings on the Performance of Embedded Systems. - Heitor Boeira dos Reis Filho; Ulisses Brisolara Corrêa; Lucio Mauro Duarte; Antonio Carlos Schneider Beck (SBESC, 2014)

Use Case Analysis Based on Formal Methods: An Empirical Study. - Marcos Oliveira Jr.; Leila Ribeiro 001; Érika F. Cota; Lucio Mauro Duarte; Ingrid Nunes; Filipe Reis (WADT, 2014)

User interfaces metamodel based on graphs. - Paulo Roberto Lumertz; Leila Ribeiro 001; Lucio Mauro Duarte (J. Vis. Lang. Comput., 2016)

Graph Grammar Extraction from Source Code. - Lucio Mauro Duarte; Leila Ribeiro 001 (SBMF, 2017)

Using contexts to extract models from code. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (Softw. Syst. Model., 2017)

Extraction of probabilistic behaviour models based on contexts. - Lucio Mauro Duarte; Paulo Henrique Mendes Maia; Ana Carolina Sanchotene Silva (MiSE@ICSE, 2018)

A Model-based Framework for the Analysis of Software Energy Consumption. - Lucio Mauro Duarte; Danilo da Silva Alves; Bruno Ramos Toresan; Paulo Henrique M. Maia; Davi Silva (SBES, 2019)

Probabilistic Model-Based Analysis to Improve Software Energy Efficiency. - Danilo da Silva Alves; Oseias Ayres Ferreira; Lucio Mauro Duarte; Paulo Henrique M. Maia (SBES, 2020)

Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms. - Danilo da Silva Alves; Oseias Ayres Ferreira; Lucio Mauro Duarte; Davi Silva; Paulo Henrique M. Maia (RITA, 2020)

Use case evolution analysis based on graph transformation with negative application conditions. - Leila Ribeiro 001; Lucio Mauro Duarte; Rodrigo Machado; Andrei Costa; Érika F. Cota; Jonas Santos Bezerra (Sci. Comput. Program., 2020)