Lucas Carvalho Cordeiro

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 4

Top Topics

Convex Optimization Problems

Domain Independent Planning

Top Venues

Int. J. Embed. Syst.

Publications

João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR (2020)
Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. SBESC (2017)
Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. Int. J. Embed. Syst. 9 (6) (2017)
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC (2016)
Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC (2014)
Vicente Ferreira de Lucena, José Pinheiro de Queiroz Neto, Joao Edgar Chaves Filho, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro
Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses. FIE (2011)