Jorgiano Márcio Bruno Vidal

Possui graduação em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (1997), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2002) e doutorado em Eletrônica na UBS (Université de Bretagne-Sud), França . Atualmente é professor do Instituto federal de Ciência e Tecnologia do RN (IFRN). Tem experiência na área de Ciência da Computação e eletrônica, com ênfase em Engenharia de Software -MDA/MDD-, atuando principalmente nos seguintes temas: Modelagem de sistemas com UML, MPSoPC e sistemas parcialmente reconfiguráveis.

Informações coletadas do Lattes em 02/06/2023

Acadêmico

Formação acadêmica

Doutorado em Doutorado em Eletrônica

2007 - 2010

Université de Bretagne Sud
Título: Dynamic and partial reconfigurable embedded systems design with UML
Orientador: Guy Gogniat
Palavras-chave: Sistemas embarcados; Sistemas reconfiguráveis; UML; MDE; co-design.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware.

Mestrado em Sistemas e Computação

2000 - 2002

Universidade Federal do Rio Grande do Norte
Título: Ordenação inicial de BDDs para a verificação de sistemas de transição finita,Ano de Obtenção: 2002
David Boris Paul Déharbe.Palavras-chave: BDD; Model checking; Sistemas de transição finita.Grande área: Ciências Exatas e da TerraSetores de atividade: Industria Eletro-Eletrônica.

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

1991 - 1997

Universidade Federal do Rio Grande do Norte
Título: Analisadores léxico e sintático para VerilogHDL
Orientador: David Boris Paul Déharbe

Pós-doutorado

2015 - 2016

Pós-Doutorado. , Université de Bretagne Sud, IUT de Lorient, UNIV-UBS, França. , Grande área: Ciências Exatas e da Terra, Grande Área: Outros / Área: Microeletrônica.

Idiomas

Inglês

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

Português

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

Francês

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

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Sistemas reconfiguráveis.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Sistemas embarcados.

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

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

Grande área: Outros / Área: Microeletrônica / Subárea: Síntese de Alto Nível.

Participação em eventos

DATE - Design, Automation & Test in Europe. A co-design approach for embedded system modeling and code generation with UML and MARTE. 2009. (Congresso).

IEEE/ACM 11th International Workshop on Logic & Synthesis.International Workshop on Logic and Synthesis. 2002. (Oficina).

.International school on Advanced Algorithms Techniques for Parallel Computation with Application. 1999. (Seminário).

SBC´99. Congresso da Sociedade Brasileira de Compoutação. 1999. (Congresso).

SBCCI´99.Simpósio Brasileiro de Concepção de Circuitos Integrados. 1999. (Simpósio).

Participação em bancas

Aluno: Max Miller da Silveira

KREUTZ, M. E.; MUSICANTE, M. A.; SUSIN, A. A.;VIDAL, J. Linguagem de Domínio Específico para Modelagem e Avaliação de Processadores. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Bruno Leonardo Silva dos Santos

LIMA FILHO, F. S.; FERNANDES, M. R.;VIDAL, J; SOUTO, M. C. B.. DEVOPS: Uma implementação prática e funcional para projetos acadêmicos. 2017. Trabalho de Conclusão de Curso (Graduação em Redes de Computadores) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

Aluno: Uiatamara Jhuliene Silva Ferreira

Sales de Lima, Francisco; FERNANDES, M. R.;VIDAL, J; SOUTO, M. C. B.. Análise de tecnologias de virtualização e hardware de baixo custo para infraestrutura de nuvem de pequeno porte. 2017. Trabalho de Conclusão de Curso (Graduação em Redes de Computadores) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

Orientou

Julianny Heliodoro Arruda

Prontuário Eletrônico Odontológico Utilizando Cartões inteligentes; 2006; 47 f; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte; Orientador: Jorgiano Márcio Bruno Vidal;

Paulo Roberto Miranda Meirelles

Uma extensão da UML para JavaCard: Integrando UML e o JML; 2006; 92 f; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte; Orientador: Jorgiano Márcio Bruno Vidal;

Eulina Xavier Botelho

Sistema de controle de acesso físico através de smartcard; 2005; 37 f; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte; Orientador: Jorgiano Márcio Bruno Vidal;

Adorilson Bezerra de Araujo

Implementando Autenticação e Autorização J2EE no JBOSS AS; 2005; 46 f; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte; Orientador: Jorgiano Márcio Bruno Vidal;

Cristan Deives dos Santos Viana

Endenharia de aplicações smartcard; 2005; 0 f; Iniciação Científica; (Graduando em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jorgiano Márcio Bruno Vidal;

Dannilo Martins Cunha

engenharia de aplicações smartcard; 2005; 0 f; Iniciação Científica; (Graduando em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jorgiano Márcio Bruno Vidal;

Paulo Roberto Miranda Meirelles

Engenharia de aplicações smartcard; 2005; 0 f; Iniciação Científica; (Graduando em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jorgiano Márcio Bruno Vidal;

Lígia Maria Moura e Silva

Eulina Xavier Botelho

Desenvolvimento de um ambiente virtual colaborativo para suporte à metodologia XP; 2004; 0 f; Iniciação Científica; (Graduando em Tecnologia em Desenvolvimento de Software) - Centro Federal de Educação Tecnológica Rio Grande do Norte, Departamento de Pesquisa Cefet Rn; Orientador: Jorgiano Márcio Bruno Vidal;

Produções bibliográficas

DÉHARBE, David ; RANISE, Silvio ; VIDAL, J. M. B. . A prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework. Journal of the Brazilian Computer Society , v. 14, p. 71, 2008.
DEHARBE, D ; RANISE, S ; VIDAL, J . Distributing the Workload in a Lazy Theorem-Prover. Electronic Notes in Theoretical Computer Science , v. 184, p. 21-37, 2007.
BOTELHO, Eulina Xavier ; VIDAL, J . CSCW: Trabalho cooperativo suportado por computador. Holos (Online) , v. 1, p. 130-137, 2005.
AULAGNIER, D. ; KOUDRI, A. ; LECOMTE, Stephane ; Soulard, P ; CHAMPEAU, J. ; VIDAL, J ; PERROUIN, Gilles ; LERAY, Pierre . SoC/SoPC development using MDD and MARTE profile. In: Jean-Philippe Babau ; Mireille Blay-Fonarino ; Joel Champeau ; Sylvain Robert ; Antonino Sabetta. (Org.). Model Driven Engineering for distributed Real-Time Systems. : , 2010, v. 1, p. -.
VIDAL, J ; Florent de Lamotte ; Guy Gogniat ; Jean-Philippe Diguet ; Sebastien Guillet . Dynamic applications on reconfigurable systems: from UML model design to FPGAs implementation. In: DATE - Design, Automation & Test in Europe, 2011, Grenoble. DATE, 2011.
Guy Gogniat ; VIDAL, J ; LINFENG, Y. ; Jeremie Crenne ; Sebastien Guillet ; Florent de Lamotte ; Jean-Philippe Diguet ; Pierre Bomel . Self-reconfigurable embedded systems: from modeling to implementation. In: International Conference on Engineering of Reconfigurable Systems & Algorithms, 2010, Las Vegas. Proceedings ov, 2010.
VIDAL, J ; Florent de Lamotte ; Guy Gogniat ; Jean-Philippe Diguet ; Soulard, P . UML design for dynamically reconfigurable multiprocessor embedded systems. In: DATE - Design, Automation & Test in Europe, 2010, Dresden. DATE, 2010. p. 1195-1200.
VIDAL, J. M. B. ; Florent de Lamotte ; Guy Gogniat ; Soulard, P ; Jean-Philippe Diguet . A co-design approach for embedded system modeling and code generation with UML and MARTE. In: DATE - Design, Automation & Test in Europe, 2009, Nice. DATE'09, 2009. p. 226-231.
Jean-Philippe Diguet ; LINFENG, Y. ; Yvan Eustache ; Jeremie Crenne ; Pierre Bomel ; Guy Gogniat ; VIDAL, J ; Florent de Lamotte . Network self-adaptive systems: an opportunity for configuring in the large. In: International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009, Las Vegas. Proceedings of International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009.
VIDAL, J ; Florent de Lamotte ; Guy Gogniat ; Jean-Philippe Diguet ; Soulard, P . IP reuse in a MDA MPSoPC co-design approach. In: International Conference in Micreletronics, 2009, Marrakesh. Proceedings of the International Conference in Microeletronics, 2009.
DEHARBE, David ; RANISE, Silvio ; VIDAL, J. M. B. . Distributing the Workload in a Lazy Theorem-Prover. In: Brazilian Symposium on Formal Methods - SBMF, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. v. 1. p. 17-31.
VIDAL, J. M. B. ; DÉHARBE, David Boris Paul . Optimizing BDD-based tools by analyzing variable dependencies. In: Symposium on Integrated Circuits and System Design, 2001, Pirenópolis. XIV Symposium on Integrated Circuits and System Design, 2001. v. 1. p. 1-6.
KOUDRI, A. ; AULAGNIER, D. ; Vojtisek, D ; Soulard, P ; MOY, C. ; CHAMPEAU, J. ; Vidal, Jorgiano ; LE LANN, J. C. . Using MARTE in a Co-Design Methodology. In: MARTE Workshop at DATE, 2008, Munique. MARTE Workshop ar DATE'08, 2008.
VIDAL, J. M. B. ; MOREIRA, Anamaria Martins ; DÉHARBE, David Boris Paul ; LIMA, Gleydson de Azevedo Ferreira ; PEREIRA, David Ricardo Do Vale ; SENA, Demóstenes dos Santos . FERUS: um ambiente de desenvolvimento de especificações CASL. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. SBES'02, 2002.
SOUSA, Leonardo Herculano ; WANDERLEY NETTO, Eduardo Bráulio ; VIDAL, J. M. B. . Compressão de Código PDC: um Estudo Comparativo. In: Workshop em sistemas computacionais de Alto Desempenho, 2005, Rio de Janeiro. Anais do Workshop em Sistemas Computacionais de Alto Desempenho, 2005. v. 1. p. 209-212.
FERNADES, Gustavo ; SILVA, Leo Moreira da ; PONTES, Bruno Pereira ; WANDERLEY NETTO, Eduardo Bráulio ; VIDAL, J. M. B. . Loop-way Cache. In: Workshop em Sistemas Computacionais de Alto Desempenho, 2005, Rio de Janeiro. Workshop em Sistemas Computacionais de Alto Desempenho, 2005. v. 1. p. 24-27.
SILVA, Leo Moreira da ; PONTES, Bruno Pereira ; FERNADES, Gustavo ; WANDERLEY NETTO, Eduardo Bráulio ; VIDAL, J. M. B. . Simulador Didático para Análise do Comportamento e Funcionamnto Estrutural de Memórias Caches. In: III Congresso Científico do CEFET/RN, 2005, Natal. Anais do III Congresso Científico do CEFET/RN, 2005.
VIDAL, J. M. B. ; WANDERLEY NETTO, Eduardo Bráulio ; SOUSA, Leonardo Herculano . Implementação de um Compressor de Código para MIPS. In: III Congresso Científico do CEFET/RN, 2005, Natal. Anais do III Congresso Científico do CFET/RN, 2005.
BATISTA, Jessé Haniel ; LIMA, Jalerson ; ARAÚJO, Bruno Gomes de ; WANDERLEY NETTO, Eduardo Bráulio ; VIDAL, J. M. B. . Implementação em JAVA de um montador/ligador/simulador para MIPS. In: III Congresso Científico do CEFET/RN, 2005, Natal. Anais do III Congresso Científico do CEFET/RN, 2005.
MEIRELES, Paulo Roberto Miranda ; VIANA, Cristan Deives dos Santos ; VIDAL, J. M. B. . Desenvolvendo uma Aplicação Host com OpenCard FrameWork para um Cartão Inteligente. In: WorkShop de Trabalhos Científicos do Departamento de Matemática Aplicado da UFRN, 2005, Natal. Anais do WorkShop de Trabalhos Científicos do Departamento de Matemática Aplicado da UFRN, 2005.
VIDAL, J. M. B. ; BOTELHO, Eulina Xavier . CSCW: Trabalho cooperativo suportado por computador. In: II Congresso Científico do CEFET/RN, 2004, Natal. II Congresso de Iniciação Científica, 2004.
SENA, Demóstenes dos Santos ; VIDAL, J. M. B. ; MOREIRA, Anamaria Martins ; DÉHARBE, David Boris Paul . libcasl: uma biblioteca para manipulação de especificações CASl. In: Workshop Técnico Científico do DIMAp, 2003, Natal, 2003.
VIDAL, J. M. B. ; DÉHARBE, David ; BORRIONE, Dominique . Improving static ordering of BDDs for reachability analysis. In: International Workshop on Logic and Synthesis, 2002, New Orleans. IEEE/ACM 11th International Workshop on Logic & Synthesis, 2002.
VIDAL, J. M. B. ; DÉHARBE, David Boris Paul . Verificação de Modelos para verilog HDL. In: Workshop Técnico Científico do DIMAp, 2000, Natal, 2000.

Outras produções

VIDAL, J. M. B. ; GOMES, M. K. N. F. ; MEDEIROS, C. A. L. ; OLIVEIRA, D. D. ; ROCHA NETO, A. F. . Ponto A - Sistema de Registro e Controle de Alunos da UFRN. 2000.

VIDAL, J. M. B. ; ROCHA, Z. L. D. . PATHO CONTROL. 1997.

VIDAL, J. M. B. ; ROCHA, Z. L. D. . CYTHO CONTROL. 1997.

Projetos de pesquisa

2007 - 2010

MoPCoM - Modeling and specialization of platform and components MDA, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jorgiano Márcio Bruno Vidal - Integrante / Denis Aulagnier - Coordenador.
2006 - 2007

Projetos Horus expansão, Descrição: Desenvovimento de sistemas de apoio a gerência de redes de telecomunicação de dados. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorgiano Márcio Bruno Vidal - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2005 - 2007

Engineering of Smart Card Applications, Descrição: Este projeto visa pesquisas métodos e ferramentas para o desenvolvimento de aplicações que utilizem cartões inteligentes (smartcard).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorgiano Márcio Bruno Vidal - Integrante / Anamaria Martins Moreira - Integrante / Eulina Xavier Botelho - Integrante / David Deharbe - Coordenador / Dannilo Martins Cunha - Integrante / Cristan Deives dos Santos Viana - Integrante / Lígia Maria Moura e Silva - Integrante / Paulo Roberto Miranda Meirelles - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Federal do Rio Grande do Norte - Cooperação.
2004 - 2004

Desenvolvimento de SW em Ambientes cooperativos, Descrição: Este projeto visa pesquisar e desenvolver um ambinete virtul colaborativo para o suporte ao desenvolvimento de Software. O sistema suporta todas as característica de desenvolvimento utilizados pola metodologia XP. A metodologia XP se baseia em contato direto entre os participantes da equipe. O objetivo principal é o de desenvolver um ambiente virtual que permita que equipes fisicamente distribuídas possam trabalhar como se estivessem fisicamentes no mesmo ambiente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jorgiano Márcio Bruno Vidal - Coordenador / Eulina Xavier Botelho - Integrante / Reginaldo Francisco da Silva - Integrante., Financiador(es): Centro Federal de Educação Tecnológica Rio Grande do Norte - Bolsa.Número de orientações: 1
2001 - 2003

Ferus, Descrição: The FERUS project aims to improve the usability of algebraic specification languages through the definition and implementation of a specification and verification environment, with emphasis on the provision of operations for creation and maintenance of libraries of reusable specification components. Its first application language is CASL

Prêmios

2005

Best Paper Award, Brazilian Symposium on Formal Methods (SBMF2005)..

Histórico profissional

Endereço profissional

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, DIETINF. , Av. Senador Salgado Filho, 1559, Tirol, 59015000 - Natal, RN - Brasil, Telefone: (84) 40052637, URL da Homepage:

Experiência profissional

2010 - Atual

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/2014 - 09/2014
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores, Algoritmos
11/2013 - 02/2014
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores, Algoritmos
06/2013 - 09/2013
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores, Algoritmos, Programação Orientada a Objeto
12/2012 - 03/2013
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de computadores, Algoritmos
04/2012 - 07/2012
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores, Sistemas Distribuídos
09/2011 - 01/2012
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação estruturada, Sistemas distribuídos, Sistemas operacionais

2003 - 2010

Centro Federal de Educação Tecnológica Rio Grande do Norte

Vínculo: , Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/2006
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Algoritmos e Técnicas de Programação, Programação I, Sistemas operacionais
03/2005
Pesquisa e desenvolvimento , Nudes, .,Linhas de pesquisa
11/2005 - 04/2006
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Fundamentos de Programação, Sistemas Operacionais 1, Prática de Desenvolvimento de Software 1, Métodos Formais
03/2005 - 07/2005
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Fundamentos de Programação, Programação I, Métodos Formais, Prática de Desenvolvimento de SoftWare 1
02/2004 - 01/2005
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Fundamentos de Programação, Estrutura de dados I, Estrutura de dados II
08/2003 - 01/2004
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Programação I, Estrutura de Dados I
03/2003 - 07/2003
Ensino, Tecnologia em Desenvolvimento de Software, Nível: Graduação,Disciplinas ministradas, Introdução a programação, Linguagem de programação I

2007 - 2010

Agence nationale de la recherche

Vínculo: Colaborador, Enquadramento Funcional: Aluno Doutorado, Carga horária: 35

2001 - 2003

Universidade Federal do Rio Grande do Norte

Vínculo: Outro, Enquadramento Funcional: Pesquisador, Carga horária: 40

2000 - 2001

Universidade Federal do Rio Grande do Norte

Vínculo: Celetista, Enquadramento Funcional: Gerente de Desenvolvimento, Carga horária: 40

1999 - 2000

Universidade Federal do Rio Grande do Norte

Vínculo: Outro, Enquadramento Funcional: Programador Chefe, Carga horária: 40

1998 - 1999

Universidade Federal do Rio Grande do Norte

Vínculo: Outro, Enquadramento Funcional: Gerente de redes, Carga horária: 40

Atividades

10/1999 - 10/2001
Serviços técnicos especializados , Superintendência de Informática, Diretoria de Desenvolvimento.,Serviço realizado, Desenvolvimento do sistema de registro e controle de alunos da UFRN.

1990 - 1993

Índice Pesquisa Comunicação

Vínculo: Outro, Enquadramento Funcional: Digitador, Carga horária: 20

1997 - 1998

Ipso Consultoria Em Informática

Vínculo: Outro, Enquadramento Funcional: Analista/Desenvolvedor, Carga horária: 30

Atividades

05/1997 - 05/1998
Serviços técnicos especializados , Ipso Consultoria Em Informática, .,Serviço realizado, Desenvolvimento de Software (Software Patho Control).

1993 - 1997

Revista RN Econômico

Vínculo: Outro, Enquadramento Funcional: Técnico em Informática, Carga horária: 20