Leila Silva

25 papers B 2C 4Journal 4Unranked 14
YearRankTypeTitle / Venue / Authors
2020 — conf
Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory.
BRACIS
Gabriel Fontes da Silva, Leila Silva, André Britto
2019 J jnl
Software project scheduling problem in the context of search-based software engineering: A systematic review.
J. Syst. Softw.
Allan Vinicius Rezende, Leila Silva, André Britto, Rodrigo Amaral
2019 — conf
Solving the Software Project Scheduling Problem with Hyper-heuristics.
ICAISC (1)
Joaquim de Andrade, Leila Silva, André Britto, Rodrigo Amaral
2018 B conf
A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring.
CEC
Glauber Botelho, Leonardo Bezerra, André Britto, Leila Silva
2016 — conf
A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem.
BRACIS
Glauber Botelho, André Britto, Leila Silva
2015 — conf
Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem.
CIbSE
Glauber Botelho, Arthur Rocha, André Britto, Leila Silva
2015 — conf
Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module.
CSEDU (2)
Leila Silva, Leonor Barroca
2015 J jnl
Using a virtual patient system for the teaching of pharmaceutical care.
Int. J. Medical Informatics
Elisa Menendez, Blície Balisa-Rocha, Monique Jabbur-Lopes, Wanderson Costa, José Rafael Nascimento, Marcos Dósea, Leila Silva, Divaldo Lyra Junior
2014 C conf
Usando hill climbing para identificação de componentes de software similares.
EATIS
António Ribeiro, Leila Silva, Glêdson Elias
2013 — conf
Weighted slope one predictors revisited.
WWW (Companion Volume)
Danilo Menezes, Anísio Lacerda, Leila Silva, Adriano Veloso, Nivio Ziviani
2012 C conf
A system to help the teaching of pharmaceutical care.
EATIS
Wanderson Costa, José Rafael Nascimento, Elisa Menendez, Marcos Dósea, Leila Silva, Monique Jabbur, Ana Patrícia Lima, Divaldo Lyra Junior
2012 J jnl
Refactoring and representation independence for class hierarchies.
Theor. Comput. Sci.
David A. Naumann, Augusto Sampaio, Leila Silva
2012 C conf
SiSPED 2.0: an extension of a system to monitor diabetic patients.
EATIS
Kaio Santos, Leonardo Feistauer, Marcio Carvalho, Leila Silva, Karla Rezende
2011 — ed.
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
SBMF
Jim Davies, Leila Silva, Adenilso da Silva Simão
2010 — conf
Refactoring and representation independence for class hierarchies: extended abstract.
FTfJP@ECOOP
Leila Silva, David A. Naumann, Augusto Sampaio
2008 B conf
Laws of Object-Orientation with Reference Semantics.
SEFM
Leila Silva, Augusto Sampaio, Zhiming Liu
2007 C conf
A development process for mechatronic products: Integrating software engineering and product engineering.
ETFA
Ana Patrícia Magalhães, Aline Maria Santos Andrade, Leila Silva, Herman Lepikson
2005 — conf
Using CafeOBJ to Mechanise Refactoring Proofs and Application.
SBMF
Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
2004 J jnl
A Constructive Approach to Hardware/Software Partitioning.
Formal Methods Syst. Des.
Leila Silva, Augusto Sampaio, Edna Barros
2004 — conf
ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy.
WOB
Marcos Dósea, Maria Silva, Leila Silva, Sócrates Cavalcanti
2003 — conf
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning.
WMF
André Luis Silva, Manoel Messias Menezes, Leila Silva
2001 — conf
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME
Leila Silva, Augusto Sampaio, Geraint Jones
1999 — conf
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods
Juliano Iyoda, Augusto Sampaio, Leila Silva
1998 — conf
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST
Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
1997 — conf
A Normal Form Reduction Strategy for Hardware/Software Partitioning.
FME
Leila Silva, Augusto Sampaio, Edna Barros