Leila Silva

According to our database, Leila Silva authored at least 24 papers between 1997 and 2020.

Collaborative distances:

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

2020

Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory.

Gabriel Fontes da Silva, Leila Silva, André Britto

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

2019

Software project scheduling problem in the context of search-based software engineering: A systematic review.

Allan Vinicius Rezende, Leila Silva, André Britto, Rodrigo Amaral

J. Syst. Softw., 2019

Solving the Software Project Scheduling Problem with Hyper-heuristics.

Joaquim de Andrade, Leila Silva, André Britto, Rodrigo Amaral

Proceedings of the Artificial Intelligence and Soft Computing, 2019

2018

A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring.

Glauber Botelho, Leonardo Bezerra, Andre Britto, Leila Silva

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2016

A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem.

Glauber Botelho, Andre Britto, Leila Silva

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2015

Using a virtual patient system for the teaching of pharmaceutical care.

Elisa Menendez, Blície Balisa-Rocha, Monique Jabbur-Lopes, Wanderson Costa, José Rafael Nascimento, Marcos Dósea, Leila Silva, Divaldo Lyra Junior

Int. J. Medical Informatics, 2015

Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module.

Leila Silva, Leonor Barroca

Proceedings of the CSEDU 2015, 2015

Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem.

Glauber Botelho, Arthur Rocha, André Britto, Leila Silva

Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

2014

Usando hill climbing para identificação de componentes de software similares.

António Ribeiro, Leila Silva, Glêdson Elias

Proceedings of the 7th Euro American Conference on Telematics and Information Systems, 2014

2013

Weighted slope one predictors revisited.

Danilo Menezes, Anísio Lacerda, Leila Silva, Adriano Veloso, Nivio Ziviani

Proceedings of the 22nd International World Wide Web Conference, 2013

2012

Refactoring and representation independence for class hierarchies.

David A. Naumann, Augusto Sampaio, Leila Silva

Theor. Comput. Sci., 2012

SiSPED 2.0: an extension of a system to monitor diabetic patients.

Kaio Santos, Leonardo Feistauer, Marcio Carvalho, Leila Silva, Karla Rezende

Proceedings of the Euro-American Conference on Telematics and Information Systems, 2012

A system to help the teaching of pharmaceutical care.

Wanderson Costa, José Rafael Nascimento, Elisa Menendez, Marcos Dósea, Leila Silva, Monique Jabbur, Ana Patrícia Lima, Divaldo Lyra Junior

Proceedings of the Euro-American Conference on Telematics and Information Systems, 2012

2010

Refactoring and representation independence for class hierarchies: extended abstract.

Leila Silva, David A. Naumann, Augusto Sampaio

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2008

Laws of Object-Orientation with Reference Semantics.

Leila Silva, Augusto Sampaio, Zhiming Liu

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

A development process for mechatronic products: Integrating software engineering and product engineering.

Ana Patrícia Magalhães, Aline Maria Santos Andrade, Leila Silva, Herman Lepikson

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005

Using CafeOBJ to Mechanise Refactoring Proofs and Application.

Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

A Constructive Approach to Hardware/Software Partitioning.

Leila Silva, Augusto Sampaio, Edna Barros

Formal Methods Syst. Des., 2004

ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy.

Marcos Dósea, Maria Silva, Leila Silva, Sócrates Cavalcanti

Proceedings of the III Brazilian Workshop on Bioinformatics, 2004

2003

Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning.

André Luis Silva, Manoel Messias Menezes, Leila Silva

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2001

Serialising Parallel Processes in a Hardware/Software Partitioning Context.

Leila Silva, Augusto Sampaio, Geraint Jones

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1999

ParTS: A Partitioning Transformation System.

Juliano Iyoda, Augusto Sampaio, Leila Silva

Proceedings of the FM'99 - Formal Methods, 1999

1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.

Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

A Normal Form Reduction Strategy for Hardware/Software Partitioning.

Leila Silva, Augusto Sampaio, Edna Barros

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997