Jean Marie Alexandre Farines

2002 - 2003

Pós-Doutorado. , Laboratoire d'Analyse et d'Architecture des Systèmes, LAAS, França. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Multimídias Distribuídos.

1987 - 1988

Pós-Doutorado. , Laboratoire d'Analyse et d'Architecture des Systèmes, LAAS, França. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Inglês

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

Espanhol

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

Português

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

Francês

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

Catalão

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Multimídias Distribuídos.

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

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: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.

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

FARINES, J. M. ; BECKER L. B. ; CARRO, L. ; Olivero A. . 4th ARTIST2 South-American School for Embedded Systems 2010. 2010. (Outro).

FARINES, J. M. ; BECKER L. B. ; Yovine S. ; Olivero A. . 2th ARTIST2 South-American School for Embedded Systems 2008. 2008. (Outro).

FARINES, J. M. . 19° Simposio Brasileiro de Redes de Computadores. 2001. (Congresso).

FARINES, J. M. . 1° Simposio Franco-Brasileiro de Sistemas Informaticos Distribuidos. 1989. (Congresso).

Metodologia para Desenvolvimento de Sistemas de Controle e Monitoração de Navios Assistido por Model Checking; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Verificação Formal de Sistemas Instrumentados de Segurança na Indústria de Petróleo e Gás Natural; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jean Marie Alexandre Farines;

Método para Teste Automatizado de Sistemas Instrumentados de Segurança em Plataformas de Petróleo; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jean Marie Alexandre Farines;

Método de Sensoriamento de Passageiros do Transporte Público com uso de smartphones e Bluetooth; 2016; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Metodologia de Desenvolvimento de VHDL Sintetizável com Uso de Model Checking; 2016; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Algoritmos de Análise de Cena para Localização INDOOR via redes IEEE 802; 11; 2015; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Orientador: Jean Marie Alexandre Farines;

Exploração de Ambientes Desconhecidos Estruturados com Sistemas Multi-Robôs; 2014; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Desenvolvimento de uma metodologia para realização de testes em programas de CLP na Indústria do Petróleo e Gás; 2014; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Algoritmos com Predição para Agrupamentos em VANETs; 2013; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Modelagem e SÍntese para Coordenação de Sistemas Multi-Robôs Baseada numa Estrutura de Jogo; 2012; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Coordenação em Sistemas Multi-Robôs utilizando Métodos baseados em Autômatos; 2011; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Contribuições para Melhoria do Processo de Verificação Formal de Propriedades em Programas AADL; 2011; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Jean Marie Alexandre Farines;

Modelagem e Verificação de Programas de CLP Escritos em Diagrama Ladder; 2010; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Elementos para a Construção de uma Cadeia de Verificação para o Projeto TOPCASED; 2008; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Uma Abordagem Para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação; 2008; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Roteamento Baseado em Caminhos com Perfis Variantes no Tempo; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Modelagem e Verificação de Escalonabilidade de Sistemas de Tempo Real; 2006; 122 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Controle de Congestionamento em Redes TCP/IP: Uma Abordagem Via LMI; 2006; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Desenvolvimento de Sistemas Inteligentes de Transporte Baseados na Arquitetura de Referência NIA; 2004; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Um Estudo sobre Ambientes Colaborativos Multimidia com Controle de Palavra; 2004; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Serviços Diferenciados em Redes IP: Medições e Testes para Aplicações envolvendo Mídias Contínuas; 2001; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Em Direção à Melhoria do Ensino na Área Tecnológica: A Experiência de uma Disciplina de Introdução à Engenharia de Controle e Automação; 2000; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Implementaçào de um Mecanismo de Adaptação da Qualidade de Serviço para uma Aplicação de Vídeo Conferência; 2000; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Bertini; Apresentação de Objetos Multimídias e Hipermídias em um Ambiente Distribuído Heterogeneo Utilizando os Padrões MHEG-5 e CORBA; 1998; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Um Estudo sobre Aplicações Multimídias em Rede ATM; 1998; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

O; Medina; Uma Abordagem para Aplicações Cooperativas sobre Internet; 1997; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Uma Abordagem para o Tratamento de Mídias Contínuas em Ambientes Distribuídos Heterogêneos; 1997; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Especificação e Validação dos Mecanismos de Sincronização em Sistemas Multimídias Distribuídos, Utilizando a Linguagem Esterel; 1996; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

F; Martins; Verificação de Sistemas Dependentes do Tempo a partir de Especificações escritas em RT-LOTOS; 1996; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Field-Bus: Análise Comparativa das Propostas e Implementação da Proposta SP-50 em um Ambiente Simulado de Controle de Processos; 1996; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Nishida; Estudo e Implementação do Modelo Reflexivo Tempo Real RTR sobre a Linguagem Java; 1996; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Fritzke; Projeto e Implementação de um Suporte para Aplicações Cooperativas do Tipo Editor Distribuído; 1995; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Ferrari; Projeto e Implementação de um Núcleo Tempo-Real Segundo uma Abordagem Síncrona,; 1994; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

M; Leite; Uma Ferramenta de Especificação de Protocolos dentro do Contexto de Concepção Estelle: Um Tradutor ASN; 1 / Estelle; 1992; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Willrich; Uma Proposta de Modelo de Implemen-tação do Padrão MMS em uma Arquitetura Mini-MAP; 1991; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Moecke; Um Método Eficiente de Redução da Árvore de Alcançabilidade das Redes de Petri Predicado-Transição, sem Perda das Propriedades do Modelo; 1991; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

L; Silveira; Uma Metodologia para a Utilização dos Serviços MMS numa Célula Flexível de Usinagem; 1991; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Kraus Jr; ; Um Laboratório Virtual para o Ensino da Teoria de Controle; 1991; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Cantú; Uma Abordagem para a Representação, Simulação e Implementação de Sistemas Baseada na Rede de Petri a Objetos; 1990; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

A; Maziero; Um Ambiente para a Análise e Simulação de Sistemas Modelados por Redes de Petri; 1990; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Pereira e Silva; Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos; 1990; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

W; C; de Aguiar; Field-Bus: Análise Comparativa de Desempenho da Camada Enlace de Dados do Profibus e do FIP, candidatos à Padronização Internacional; 1989; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

S; Silva; Uma Linguagem de Programação de Componentes Elementares para Aplicações Distribuídas em Tempo Real: Projeto e Implementação; 1988; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

N; Pinho; Um Estudo da Especificação de Mensagem da Manufatura (MMS) do Protocolo de Comunicação para Ambientes Industriais MAP; 1988; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Comando de Um Inversor Trifásico com Modulação TWM Otimizada Utilizando Microprocessador; 1988; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

E; de Souza; Um Suporte para A Configuração Estática de Sistemas Distribuídos Utilizando Abordagem por Linguagem: Projeto e Implementação; 1988; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

M; Savi; Projeto Assistido por Computador para Sistemas de Controle: Especificações e Projeto de um Pacote; 1987; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

N; de Lacerda; Protótipo de um Sistema Especialista para Auxílio à Operação de Subestações de Alta Tensão; 1987; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

B; Mazzola; Controle de Velocidade de um Motor de Indução Trifásico Alimentado em Tensão Utilizando Microcomputador; 1985; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

R; Stemmer; Projeto e Implementação de um Monitor Multitarefas em Tempo Real; 1985; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Formação de Redes Bluetooth entre passageiros para Aplicações de Levantamento de Dados em Sistemas de Transporte Coletivos; 2016; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Jean Marie Alexandre Farines;

Multi-Robot Exploration with Constrained Communication; 2016; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jean Marie Alexandre Farines;

Uma Metodologia e um Ambiente MDE paraa Verificação de Aplicações Hipermídia; 2016; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Roteamento em Redes Tolerantes a Atrasos e Interrupções: uma abordagem baseada em Redes Neurais; 2015; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Transformação Assistida de Modelos: Mecanismo de Suporte para o Desenvolvimento de Cyber-Physical Systems; 2014; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Sistema de Gerenciamento de Agrupamentos em Redes Veiculares; 2013; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Controle de Congestionamento em Redes TCP/IP com Técnicas de Compensação de Atraso; 2012; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Jean Marie Alexandre Farines;

Mobilidade e QoS fim-a-fim em redes NGN: elementos arquiteturais e estratégias de seleção de caminhos inter-domínios; 2011; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Um Modelo Reflexivo para a Formação de Engenheiros; 2008; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Uma Abordagem para o Transporte de Video Digital Baseado em Técnicas Proativas de QoS; 2005; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Marie Alexandre Farines;

Elementos para o Fortalecimento da Mediação Docente na Educação Tecnologica: Aplicação no Ensino-Aprendizagem de Redes de Computadores; 2005; 176 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Engenharia de Trafego em Redes IP sobre Tecnologia MPLS: Otimização Baseada em Heuristicas; 2004; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Uma Abordagem para Adaptação de QoS Baseada em Controle Nebuloso; 2001; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

Uma Metodologia Formal para o Planejamento e Controle de Missões de Aeronaves Não-Tripuladas; 2000; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

V; O; Fonseca; Uma Metodologia de Configuração do Suporte de Comunicação de Sistemas Tempo-Real Críticos; 1997; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

V; Furtado; RTR, Uma Abordagem Reflexiva para Programação de Aplicações Tempo Real; 1997; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

S; de Camargo; Tornando a Linguagem LOTOS Apta para Especificar Sistemas Dependentes do Tempo; 1995; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

A; A; Kaestner; Uma Proposta de Sistema Baseado no Conhecimento para Aplicações em Tempo Real, Utilizando o Enfoque Síncrono; 1993; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina,; Orientador: Jean Marie Alexandre Farines;

FARINES, J. M. . Projeto Protem-RNP Rede Metropolitana de Alta Velocidade de Florianópolis. 1998.

FARINES, J. M. . Projeto Protem III: (Projeto DAMD - Design de Aplicações Multimídia Distribuídas. 1996.

FARINES, J. M. . Projeto Protem II: (Projeto ASAP - Ambiente para Suporte de Aplicações Distribuídas baseado em Objetos). 1995.

FARINES, J. M. . Projeto RHAE intitulado PROCAI (Programa de Formação de Recursos Humanos em Controle de Processos, Automação e Informática Industrial na UFSC. 1991.

FARINES, J. M. . Projeto Protem-Sul (Fase I). 1991.

FARINES, J. M. . Projeto TAI (Parceria para Tecnologia de Automação Integrada). 1991.

FARINES, J. M. . Projeto CIM (Computer Integrated Manufacturing). 1988.

FARINES, J. M. . Anteprojeto de Desenvolvimento de um Sistema Destinado ao Acionamento Numérico de Servomotores de Indução (ANSI) e Formação de Recursos Humanos. 1987.

FARINES, J. M. . Projeto de um Sistema de Aquisição de Dados e Supervisão para Gaseificador de Madeira - SADCESP. 1984.

FARINES, J. M. ; CURY, J. E. . Coordenação de Sistemas Multi-robôs. 2011. (Minicurso).

RAFFO, G. V. ; FARINES, J. M. ; BECKER L. B. ; MORENO U.F. . Robótica Móvel. 2011. (Minicurso).