Javier Martinez Silva

Bacharel em Ciência da Computação pela Universidad de Oriente (2005), Mestrado em Ciência da Computação - Universidad de Oriente (2010). Doutor em Ciência na área de concentração: Engenharia de Controle e Automação Mecânica pela Escola Politécnica - Universidade de São Paulo (2016), e pós-doutorado pela Escola Politécnica - Universidade de São Paulo (2018). Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, Engenharia de Software, Programação e métodos formais para a modelagem de sistema discretos. Atualmente suas áreas de interesses de pesquisa são: o uso de métodos formais na modelagem de requisitos de problemas de grande porte de Planning e Scheduling (subárea da Inteligência Artificial), e como usar o formalismo das Redes de Petri (e dentro destas o escopo das redes de Petri de Alto Nível) na verificação desses requisitos. Atualmente atua como líder na prospeção de novos projetos na área de Educação do Instituto de Ciência e Tecnologia Eldorado.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Engenharia em Controle e Automação Mecânica

2012 - 2016

Universidade de São Paulo
Título: Modelagem e Análise de Conhecimento para Planejamento Automático: Uma abordagem baseada em GORE e Redes de Petri
, Ano de obtenção: 2016. José Reinaldo Silva. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Ingenieria de Requisitos; Planning Automático e Inteligente; redes de Petri; GHENeSys; ReKPlan.Grande área: Ciências Exatas e da Terra

Mestrado em Ciência da Computação

2008 - 2010

Univesidad de Oriente
Título: Interfaz para la Gestion de Bases de Datos Temporales (IGBDT) v1.0, Ano de Obtenção: 2010
Orientador: Dr. Jorge Diaz Silvera

Graduação em Ciência da Computação

2000 - 2005

Universidade de Oriente
Título: Diseo e implementación de un Sistema de Información de Base de Datos para el Control del Presupuesto en los Centros de Educación Superior
Orientador: Lic. Lissette Toirac Perdomo

Pós-doutorado

2017 - 2018

Pós-Doutorado. , Escola Politécnica. Universidade de São Paulo, POLI, Brasil. , Grande área: Engenharias

Formação complementar

2021 - 2021

Agile Software Development. (Carga horária: 16h). , University of Minnesota - Coursera, UM, Estados Unidos.

2021 - 2021

Neural Networks and Deep Learning. (Carga horária: 16h). , Stanford University - Coursera, UM, Estados Unidos.

2018 - 2018

Proficiência em Língua Portuguesa para Estrangeiros. (Carga horária: 6h). , Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.

2014 - 2014

Writing and Reviewing for Scientific Journals /aps.. (Carga horária: 32h). , Universidade de São Paulo, USP, Brasil.

2014 - 2014

Curso de Práticas de Escrita em Português. (Carga horária: 30h). , Universidade de São Paulo, USP, Brasil.

2014 - 2014

Conversação em Português Língua Estrangeira. (Carga horária: 30h). , Universidade de São Paulo, USP, Brasil.

2006 - 2006

Curso Basico de Gestion de Proyectos. (Carga horária: 16h). , Universidad de las Ciencias Informáticas, UCI, Cuba.

2006 - 2006

Ciencia, Tecnologia y Sociedad. (Carga horária: 24h). , Universidad de las Ciencias Informáticas, UCI, Cuba.

2006 - 2006

Ingles Intermedio. (Carga horária: 64h). , Universidad de las Ciencias Informáticas, UCI, Cuba.

2006 - 2006

Metodologia de la Investigacion Cientifica. (Carga horária: 40h). , Universidad de las Ciencias Informáticas, UCI, Cuba.

2005 - 2005

Infotecnologia para la Investigacion Cientifica. (Carga horária: 12h). , Universidad de las Ciencias Informáticas, UCI, Cuba.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial.

Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Redes de Petri aplicadas em IA Planning.

Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Modelagem e verificação formal, Redes de Petri..

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Informação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Banco de Dados.

Organização de eventos

SILVA, JAVIER MARTINEZ . Intelligent Manufacturig System. 2013. (Congresso).

SILVA, JAVIER MARTINEZ . 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012. (Congresso).

Participação em eventos

26th International Conference on Automated Planning and Scheduling. Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning. 2016. (Congresso).

Doctoral Consortium in 26th International Conference on Automated Planning and Scheduling. Using GORE method for Requirement Engineering of Planning & Scheduling. 2016. (Congresso).

Simpósio Brasileiro de Automação Inteligente. Using Goal-oriented Requirements Analysis in the Design of Product-Service Manufacturing. 2015. (Congresso).

WESAAC 2013-VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2013. (Simpósio).

7th Planning & Scheduling School. 2012. (Seminário).

Fundamentos de Arquitetura de Computação em Nuvem. IBM. 2012. (Seminário).

2009 ACM Mexico and Central America Programming Contest.Team coach.. 2009. (Outra).

COMPUMAT 2009. Interfaz para la gestión de Bases de Datos Temporales (IGBDT) v 1.0. 2009. (Congresso).

Participação em bancas

Aluno: Yaney Gomez Correa

SILVA, J. R.; YOSHIOKA, L. R.;SILVA, JAVIER MARTINEZ. A Product-Service Architecture to Design Assistive Smart Homes. 2022. Dissertação (Mestrado em Engenharia de Controle e Automação Mecânica) - Escola Politécnica. Universidade de São Paulo.

Aluno: Leonardo Contador Neves

TONIDANDEL, F.;MARTINEZ SILVA, JAVIER; AQUINO JUNIOR, P. T.. Sistema de planejamento e acompanhamento de ações para tarefas de propósito geral em robótica de serviço. 2021. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.

Aluno: Romário Lira Batista

MARTINEZ SILVA, JAVIER; OLIVEIRA, E. H. T.. Uma Ténica Formal para Avaliação e Geração de Feedback no Contexto da Educação Digital. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Amazonas.

Aluno: Leonardo Contador Neves

Tonidandel, F; AQUINO JUNIOR, P. T.;MARTINEZ, J. Sistema de Planejamento e Acompanhamento de Ações para Tarefas de Propósito Geral em Robótica de Serviço. 2020. Exame de qualificação (Mestrando em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.

Aluno: Ítalo Pinheiro,Leonardo Jacobson,Lucas Vasconcelos

MARTINEZ, J. Otimização do Processo de Seleção de Pessoas em Recursos Humanos através de Conceitos Computacionais. 2019.

Aluno: Gabriel Fernandes,Gustavo Pereira,Philip Teles

SILVA, JAVIER MARTINEZ. Aplicativo para Gerenciamento de Reformas "Do". 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia Civil) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.

Aluno: Elinilson Louras Santos Vital

MARTINEZ, J; MARUYAMA, N.;SILVA, J. R.. Métodos formais de modelagem e design de serviços aplicado a Metodologia iLPF - Integração Lavoura Pecuária Floresta. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências de Computação) - Universidade de São Paulo.

Aluno: Ricardo Santana e João Henrique Silva Alexandre

MENDES, J.; GONCALVES, R. F.;SILVA, JAVIER MARTINEZ. Modelos de Framework Utilizados por Universidades Federais. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Ibirapuera.

Aluno: Luis Gustavo Ramos Holanda Bezerra e Pedro Henrique Pinto Ri

MENDES, J.; GONCALVES, R. F.;SILVA, JAVIER MARTINEZ. Criação de Jogos em Unity. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Ibirapuera.

Aluno: Eduardo Oliveira Jesus Junior e João Vitor Cruz de Macedo

MENDES, J.; GONCALVES, R. F.;SILVA, JAVIER MARTINEZ. O Uso da Tecnologia na Educação. 2018.

Aluno: Lucas Ferreira Costa Durães e Vinicius Resende

MENDES, J.; GONCALVES, R. F.;SILVA, JAVIER MARTINEZ. Transmissão de Sinais de Vídeo em Tempo Real pela Internet. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Ibirapuera.

MARTINEZ SILVA, JAVIER; TAMAYO, S. C.. Programa de Iniciação Científica e Tecnológica da Universidade do Estado do Amazonas. 2020. Universidade do Estado do Amazonas.

Orientou

André Fernando Dos Santos

Brasil e a Indústria 4; 0; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Ibirapuera; Orientador: Javier Martinez Silva;

Gabriel Lopes Lima e João Victor Santos de Oliveira

Android: Principio de execucação de aplicativos; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Ibirapuera; Orientador: Javier Martinez Silva;

Alexander Portuondo Cobas, Luis Cabrera Alvarado

Sistema de Gestión de Información para el Control Migratorio de Personas; 2010; Trabalho de Conclusão de Curso; (Graduação em 2009 CPT) - Universidad de Oriente; Orientador: Javier Martinez Silva;

Javier Ernesto Dieguez Díaz

Aplicación Web como fuente de preparación y consulta sobre Sistema de Control Distribuido; 2010; Trabalho de Conclusão de Curso; (Graduação em 2010) - Universidade de Oriente; Orientador: Javier Martinez Silva;

Ilídice Conde Mayet

Sistema para el Control de la Producción Diaria para la Empresa de Productos Lácteos Santiago; 2009; Trabalho de Conclusão de Curso; (Graduação em 2009 CPT) - Universidad de Oriente; Orientador: Javier Martinez Silva;

Daylé Navarro, Maikel Sánchez

Sistema Nacional para el Control del Trabajo Comunitario; 2008; Trabalho de Conclusão de Curso; (Graduação em Curso 2008 Diurno) - Universidad de Oriente; Orientador: Javier Martinez Silva;

Joel Cruz

Sistema Nacional para el Control de Medios Técnicos; 2008; Trabalho de Conclusão de Curso; (Graduação em Curso 2008 Diurno) - Universidad de Oriente; Orientador: Javier Martinez Silva;

Adrian Trobajo Clavel

Sistema para el Diseo de Instalaciones de Alumbrado en Interiores; 2008; Trabalho de Conclusão de Curso; (Graduação em 2008 CPT) - Universidad de Oriente; Orientador: Javier Martinez Silva;

Dayneri Idelisa Corps, Merly Cabrera

Gestión de la Configuración y Control de los Cambios en el proyecto CICPC; 2006; Trabalho de Conclusão de Curso; (Graduação em Graducación 2006) - Universidad de las Ciencias Informáticas; Orientador: Javier Martinez Silva;

Andy Rodríguez

Propuesta de Herramientas para la Gestión de la Configuración y Control de los Cambios en un proyecto de producción; 2006; Trabalho de Conclusão de Curso; (Graduação em Graducación 2006) - Universidad de las Ciencias Informáticas; Orientador: Javier Martinez Silva;

Produções bibliográficas

SILVA, JAVIER MARTINEZ ; DEL FOYO, PEDRO MANUEL GONZALEZ ; OLIVERA, ARIANNA ZOILA ; SILVA, JOSE REINALDO . Revisiting requirement engineering for intelligent manufacturing. International Journal on Interactive Design and Manufacturing (IJIDeM) , v. 17, p. 1, 2022.
POSTIGO, MIGUEL ANGEL ORELLANA ; SILVA, JAVIER MARTINEZ ; SILVA, JOSÉ REINALDO . Applying goal-oriented requirement engineering and refence architecture for microgrid systems. Brazilian Applied Science Review , v. 4, p. 913-926, 2020.
SILVA, JAVIER MARTINEZ ; SILVA, JOSÉ REINALDO . A new hierarchical approach to requirement analysis of problems in automated planning. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 81, p. 373-386, 2019.
SILVA, JAVIER MARTINEZ ; JAVALES, RAUL ; SILVA, JOSÉ REINALDO . A new Requirements Engineering approach for Manufacturing based on Petri Nets. IFAC-PAPERSONLINE , v. 52, p. 97-102, 2019.
MELANI, ARTHUR H.A. ; SILVA, JAVIER MARTINEZ ; DE SOUZA, GILBERTO F.M. ; SILVA, JOSÉ REINALDO . Fault diagnosis based on Petri Nets: the case study of a hydropower plant. IFAC-PapersOnLine , v. 49, p. 1-6, 2016.
SILVA, JAVIER MARTINEZ ; SILVA, JOSE REINALDO . Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing. IFAC-PapersOnLine , v. 48, p. 1634-1639, 2015.
SILVA, JOSÉ REINALDO ; SILVA, JAVIER MARTINEZ . Automação no Pós-Pandemia. 1. ed. Editora Blucher, 2021. 29p .
SILVA, JOSE REINALDO ; SILVA, JAVIER MARTINEZ ; Vaquero, Tiago Stegun . Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis. In: Mauro Vallati; Diane Kitchen. (Org.). Knowledge Engineering Tools and Techniques for AI Planning. 1ed.: Springer International Publishing, 2020, v. , p. 47-65.
SILVA, JOSÉ REINALDO ; SILVA, JAVIER MARTINEZ ; Pereira, Celina ; Avram, Camelia ; Dan-Stan, Sergiu . New Trends in Residential Automation. Intelligent Systems, Control and Automation: Science and Engineering. 1/1ed.: Springer International Publishing, 2018, v. , p. 137-157.
SILVA, JAVIER MARTINEZ ; Jorge Días Silvera . Interfaz para la gestión de Bases de Datos Temporales (IGBDT V 1.0) (extendido). Ciencia en su PC, Cuba, , v. 1, p. 47 - 56, 01 abr. 2010.
LOPEZ, Y. P. ; COLONNA, J. G. ; SILVA, E. A. ; DEGAKI, R. H. ; SILVA, JAVIER MARTINEZ . Q-funcT: A Reinforcement Learning Approach for Automated Black Box Functionality Testing. In: International Conference on Software Engineering and Artificial Intelligence (SEAI), 2022, China. 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI). NY: IEEE Catalog Number: CFP22AC9-USB, 2022. p. 119-123.
ORELLANA POSTIGO, MIGUEL ANGEL ; MARTINEZ, JAVIER ; SILVA, JOSÉ REINALDO . Microgrid System Design Based On Model Based Systems Engineering And Goal-Oriented Requirements Engineering. In: Congresso Brasileiro de Automática 2020, 2020. Anais do Congresso Brasileiro de Automática 2020.
SILVA, JAVIER MARTINEZ ; JAVALES, R. ; SILVA, J. R. . A New Requirements Engineering Approach for Manufacturing based on Petri Nets. In: 13th. IFAC Workshop on Intelligent Manufacturing Systems, 2019, Oshawa. Proceedings of IFAC-IMS 2019, 2019, 2019.
POSTIGO, MIGUEL ANGEL ; MARTINEZ SILVA, JAVIER ; SILVA, JOSÉ REINALDO . FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE. In: ANAIS DO 14 SIMPóSIO BRASILEIRO DE AUTOMAçãO INTELIGENTE, 2019. Anais do 14 Simpósio Brasileiro de Automação Inteligente, 2019.
JAVIER MARTINEZ SILVA ; JOSÉ REINALDO SILVA ; ARIANNA ZOILA OLIVERA SALMON ; PEDRO MANUEL GONZÁLEZ DEL FOYO . Requirements Engineering at a Glance: Comparing GORE and UML methods in the design of automated systems. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018.
POSTIGO, M. A. O. ; SILVA, JAVIER MARTINEZ ; SILVA, JOSE REINALDO . Formal Requirements Specification for Microgrid Based in Architecture IEC61850. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Proc. do CBA 2018, 2018.
MARTINEZ, J ; SILVA, J. R. . Gore Methods to Model Real World Problem Domains in Automated Planning. In: XIII Simpósio Brasileiro de Automação Inteligente, 2017, Porto Alegre. XIII Simpósio Brasileiro de Automação Inteligente Porto Alegre ? RS, 1 ? 4 de Outubro de 2017, 2017.
TONACO, R. ; MARTINEZ, J ; SILVA, J. R. . Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning. In: International Conference on Automatic Planning and Scheduling, 2016, Londres. Proceedings of ICAPS 2016. Palo Alto: AAAI, 2016., 2016.
MARTINEZ, J . Using GORE method for Requirement Engineering of Planning & Scheduling. In: International Conference on Automatic Planning and Scheduling, 2016, Londres. Proceedings of ICAPS 2016. Palo Alto: AAAI, 2016., 2016.
MELANI, A. ; MARTINEZ, J ; SOUZA, G. ; SILVA, J. R. . Fault diagnosis based on petri nets: the case study of a hydropower plant. In: Intelligent Manufacturing Systems - 12th IMS 2016, 2016, Austin, TX, USA. Proc. of the IMS 2016. Austin, TX, USA, 2016.
MARTINEZ, J ; SILVA, J. R. . Using Goal-oriented Requirements Analysis in the Design of Product-Service Manufacturing. In: Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do Simpósio Brasileiro de Automação Inteligente, 2015.
CANDIDO, ROBERTO ; MARTINEZ, JAVIER ; SILVA, JOSE REINALDO . Using RFID technology to enhance quality information to products in agribusiness supply chain. In: 2015 IEEE Brasil RFID, 2015, Sao Paulo. 2015 IEEE Brasil RFID. p. 1.
MARTINEZ, J ; Jorge Díaz Silvera . Propuesta de Interfaces con Bases de Datos Temporales desde lenguaje de Programación de Alto Nivel. In: XI Congreso Nacional de Matemática Computación, 2009, Ciudad de la Habana. Boletín de la Sociedad Cubana de Matemática y Computación, 2009.
MARTINEZ, J ; Jorge Días Silvera . Propuestas para el desarrollo de Interfaces con Bases de Datos Temporales desde Lenguajes de Programación de Alto Nivel. In: Primer Evento Internacional de Matemática, la Física y la Computación en el Siglo XXI (FIMAT XXI)., 2009, Holguín. Memorias de FIMAT XXI. Holguín: Editor: Educación Cubana, 2009.
MARTINEZ, J ; Lissette Toirac Perdomo . Diseo e implementación de un Sistema de Información de Base de Datos para el Control del Presupuesto en los Centros de Educación Superior. In: Primera Conferencia Científica de la Facultad de Matemática y Computación, 2005, Santiago de Cuba. Memorais de la Primera Conferencia Científica de la Facultad de Matemática y Computación. Santiago de Cuba, 2005.
SILVA, JAVIER MARTINEZ . Revisión de enseanza e investigación usando computación en la nube: Laboratorios Virtuales (D-Lab, Laboratorio de Robótica, Inteligencia Artificial ). 2018. (Apresentação de Trabalho/Conferência ou palestra).
SILVA, JAVIER MARTINEZ . Revisión de enseanza e investigación usando computación en la nube: AWS Education y AWS Research. 2018. (Apresentação de Trabalho/Conferência ou palestra).
SILVA, JAVIER MARTINEZ . Revisión de enseanza e investigación usando computación en la nube: Desarrollo de una nueva arquitectura para sistemas de manufactura en Industria 4.0. 2018. (Apresentação de Trabalho/Conferência ou palestra).
SILVA, JAVIER MARTINEZ . Interfaz para la gestión de Bases de Datos Temporales (IGBDT) v 1.0. 2009. (Apresentação de Trabalho/Congresso).
SILVA, JAVIER MARTINEZ ; PERDOMO, L, T . Diseo e implementación de un Sistema de Información de Base de Datos para el Control del Presupuesto en los Centros de Educación Superior. 2005. (Apresentação de Trabalho/Conferência ou palestra).
SILVA, JAVIER MARTINEZ . Um salto no tempo, 2017. (Tradução/Outra).
SILVA, JAVIER MARTINEZ . Como a TV Cultura se preparou para a TV Digital, 2017. (Tradução/Outra).

Outras produções

SILVA, JAVIER MARTINEZ . Comitê Científico do VII Encontro Regional de Engenharia - ENCOENG 2019. 2019.

SILVA, JAVIER MARTINEZ . Avaliador da 16ª Feira Brasileira de Ciências e Engenharia - FEBRACE 2018. 2018.

SILVA, JAVIER MARTINEZ . Revisor de artigos do Simpósio Brasileiro de Automação Inteligente (SBAI) - 2017. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Knowing the options of databases on AWS cloud'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Tendências dos jogos na nuvem e do setor de jogos'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Cloud Applications and Internet of the Things'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Introdução ao Cloud Computing e Aplicações'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Presentation of the Program AWS Research'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Introdução a AWS IoT and Voice User Interface'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Scaling your application for the first 10 million users'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Introduction to serverless achitecture'. 2017.

SILVA, JAVIER MARTINEZ . Organizador do Workshop 'Security Automation'. 2017.

Projetos de pesquisa

2016 - Atual

itSIMPLE-SE: A Knowledge Enginering approach do planning and scheduling, Descrição: Estudo da Engenharia do Conhecimento associada a problemas de planejamento e escalonamento abordados de maneira heurística, usando técnicas de inteligência artificial. Adaptação dos métodos para a resolução de sistemas reais de grande porte. Desenvolvimento de ferramenta de apoio: itSIMPLE-SE (Integrated Tool and Software Interface to Model Plnanning Environments - Scheduling Environments). , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (2) . , Integrantes: Javier Martinez Silva - Integrante / José Reinaldo Silva - Coordenador / Flavio Tonidandel - Integrante / Tiago Stegun Vaquero - Integrante / Thomas Lee McCluskey - Integrante.
2012 - Atual

Análise de Requisitos usando Redes de Petri e métodos Goal-Oriented para problemas de planejamento e escalonamento, Descrição: Trabalhos recentes na área de Planejamento e Escalonamento têm gerado uma grande expectativa em relação à aplicação dos resultados em sistemas reais. Neste cenário, métodos, ferramentas e conceitos provenientes das Engenharia do Conhecimento e da Engenharia de Requisitos se tornam fundamentais para caracterizar melhor, entender e especificar os domínios de planejamento. Nesse caso uma especial importância deve ser dada às etapas iniciais do processo, onde o conhecimento sobre o domínio é incompleto e onde existem poucas ferramentas seja para o suporte ou automação parcial do processo. Neste trabalho consideramos o uso de KAOS, como método orientado a objetivo (goal oriented) para tratar a representação e análise de requisitos. Entretanto, o uso do KAOS (ou qualquer outro sistema goal-oriented) não atende à necessidade de vericar formalmente o comportamento dinâmico quando o alvo são sistemas de automação. A proposta deste trabalho é combinar o uso do método goal-oriented com o formalismo das Redes de Petri (Rdp) para representar e analisar requisitos no projeto de sistemas automatizados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Javier Martinez Silva - Coordenador / José Reinaldo Silva - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
2009 - 2010

Interfaz para la Gestión de Bases de Datos Temporales (IGBDT) V 1.0, Descrição: Em muitas aplicações o tempo é um fator determinante. Ex.aplicações financeiras, de bancos, médicas, etc. Em sua maioria requerem do uso de bancos de dados para o gerenciamento da informação persistente. O presente projeto abordou a perspectiva do tempo sobre o uso dos gestores de dados convencionais, melhorando assim a eficiência no processo de armazenagem da informação e permitindo a execução de consultas, mas esta vez levando em consideração aspectos temporais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Javier Martinez Silva - Coordenador.

Histórico profissional

Endereço profissional

Instituto de Pesquisas Eldorado - Campinas. , Avenida Alan Turing, 275, Cidade Universitária, 13083898 - Campinas, SP - Brasil, Telefone: (19) 37573000

Experiência profissional

2007 - 2010

Universidade de Oriente

Vínculo: , Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.

Atividades

09/2007 - 08/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software, Programação em C++, Temas de Programação para Web
01/2009 - 11/2009
Extensão universitária , Departamento da Ciência da Computação.,Atividade de extensão realizada, Organização do Primeiro Concurso Local de Programação da ACM/ICPC na Universidade de Oriente, Cuba.
01/2009 - 11/2009
Extensão universitária , Departamento da Ciência da Computação.,Atividade de extensão realizada, Team coach no Concurso Regional de Programação da ACM/ICPC 2009 América Central e o Caribe.

2005 - 2007

Universidad de Las Ciencias Informáticas

Vínculo: Professor Visitante, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.

Atividades

09/2005 - 07/2007
Ensino, Ciencias Informáticas, Nível: Graduação,Disciplinas ministradas, Gráfica por Computador, Temas de Programação Web

2012 - 2018

Universidade de São Paulo

Vínculo: Estudante, Enquadramento Funcional: Pós-doutorando, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2012 - 09/2018
Pesquisa e desenvolvimento, Escola Politécnica, Engenharia em Controle e Automação Mecânica.,Linhas de pesquisa
07/2016 - 12/2016
Estágios , Escola Politécnica, Engenharia em Controle e Automação Mecânica.,Estágio realizado, Aluno-monitor na disciplina no curso Sistemas de Informação nas turmas PMR2490 e PMR3304.
02/2016 - 06/2016
Estágios , Escola Politécnica.,Estágio realizado, Programa de Aperfeiçoamento de Ensino-PMR3100-1 - Introdução a Engenharia Mecatrônica.
07/2015 - 12/2015
Estágios , Escola Politécnica, Engenharia em Controle e Automação Mecânica.,Estágio realizado, Aluno-monitor no curso Sistemas de Informação na turma PMR2490.
02/2015 - 06/2015
Estágios , Escola Politécnica.,Estágio realizado, Programa de Aperfeiçoamento de Ensino-PMR3100-1 - Introdução a Engenharia Mecatrônica.
07/2013 - 11/2013
Estágios , Escola Politécnica.,Estágio realizado, Programa de Aperfeiçoamento de Ensino-PMR2490-2 - Sistemas de Informação.
02/2013 - 06/2013
Estágios , Escola Politécnica.,Estágio realizado, Programa de Aperfeiçoamento de Ensino-PNV2100-3 - Introdução à Engenharia.

2019 - 2019

Fundação Educacional Inaciana Padre Sabóia de Medeiros

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente I, Carga horária: 18

2016 - 2016

Fundação Educacional Inaciana Padre Sabóia de Medeiros

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Aulista, Carga horária: 18

Atividades

02/2019 - 09/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação Móvel, Desenvolvimento Web
02/2016 - 04/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Algoritmos, Desenvolvimento Web

2017 - 2019

Universidade Ibirapuera

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 12

Atividades

02/2019 - 07/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Linguagem de Programação IV
08/2018 - 12/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software II, Estrutura de Dados, Tópicos Especiais da Ciencia da Computação
02/2018 - 06/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software I, Inteligência Artificial
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software II, Compiladores

2019 - 2022

Sidia Instituto de Ciência e Tecnologia

Vínculo: Celetista, Enquadramento Funcional: Pesquisador de Engenharia e Tecnologia, Carga horária: 40, Regime: Dedicação exclusiva.

2022 - Atual

Instituto de Pesquisas ELDORADO - Campinas

Vínculo: Celetista, Enquadramento Funcional: Lider de Projeto - Especialista II, Carga horária: 40, Regime: Dedicação exclusiva.