Lucio Mauro Duarte

According to our database, Lucio Mauro Duarte authored at least 19 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Use case evolution analysis based on graph transformation with negative application conditions.

Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra

Sci. Comput. Program., 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

Probabilistic Model-Based Analysis to Improve Software Energy Efficiency.

Danilo da Silva Alves, Oseias Ayres Ferreira, Lucio Mauro Duarte, Paulo Henrique M. Maia

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

2019

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

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

2018

Extraction of probabilistic behaviour models based on contexts.

Lucio Mauro Duarte, Paulo Henrique Mendes Maia, Ana Carolina Sanchotene Silva

Proceedings of the 10th International Workshop on Modelling in Software Engineering, 2018

2017

Using contexts to extract models from code.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Softw. Syst. Model., 2017

Graph Grammar Extraction from Source Code.

Lucio Mauro Duarte, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

User interfaces metamodel based on graphs.

Paulo Roberto Lumertz, Leila Ribeiro, Lucio Mauro Duarte

J. Vis. Lang. Comput., 2016

2014

Use Case Analysis Based on Formal Methods: An Empirical Study.

Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

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

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

2013

Specification of Models Based on Contexts using Graph Grammars.

Marcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Érika F. Cota

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Behaviour Model Extraction from Software.

Lucio Mauro Duarte

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2010

Model Checking the Ant Colony Optimisation.

Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2008

Towards Faithful Model Extraction Based on Contexts.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Behaviour Model Extraction Using Context Information.

Lucio Mauro Duarte

PhD thesis, 2007

2006

Model Extraction Using Context Information.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2004

An Environment for the Development of Concurrent Object-Based Applications.

Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

2002

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

2000

Monitoring Mobile Code.

Fernando Luís Dotti, Lucio Mauro Duarte

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000