Jean Marie Alexandre Farines

  • Endereço para acessar este CV: http://lattes.cnpq.br/4953705856223870
  • Última atualização do currículo em 20/02/2018


possui graduação em Engenharia Elétrica - Ecole Nationale Supérieure d'Electronique, Electrotechnique, Informatique et Hydraulique de Toulouse (ENSEEIHT) (1972) e doutorado em Engenharia Elétrica - Institut National Polytechnique de Toulouse (INPT) (1979). Realizou dois estágios de pós-doutorado no LAAS-CNRS (Toulouse) em 1987-1988 e em 2002-2003. Foi coordenador do curso de graduação em Engenharia de Controle e Automação (ECA) (de 1989 a 1992) e chefe do Departamento de Automação e Sistemas (DAS) da Universidade Federal de Santa Catarina (UFSC) (de 2004 a 2008) . Atualmente é professor titular do DAS-UFSC. Tem atuação nas áreas de Automação e Ciência da Computação, em particular em Modelagem e Verificação de Sistemas, Sistemas a Eventos Discretos, Sistemas Embarcados de Tempo Real e Redes de Computadores e na área de Educação Tecnológica. (Texto informado pelo autor)


Identificação


Nome
Jean Marie Alexandre Farines
Nome em citações bibliográficas
FARINES, J. M.;FARINES JEAN-MARIE;FARINES, JEAN-MARIE

Endereço


Endereço Profissional
Universidade Federal de Santa Catarina, Centro Tecnológico, Departamento de Automação e Sistemas.
UFSC - Dept. Automação e Sistemas - DAS - CAIXA POSTAL 476
Trindade
88040900 - Florianópolis, SC - Brasil - Caixa-postal: 476
Telefone: (48) 37217690
Fax: (48) 37219934
URL da Homepage: http://www.das.ufsc.br/~farines


Formação acadêmica/titulação


1977 - 1979
Doutorado em Engenharia Elétrica.
Institut National Polytechnique de Toulouse, INPT, França.
Título: Etude et Mise en Oeuvre d'une Méthode d'Estimation de la Vitesse de la Machine Asynchrone Autopilotée Alimentée par un Commutateur de Courant a partir de la Connaissance des Grandeurs Électriques, Ano de obtenção: 1979.
Orientador: Bernard de Fornel.
Bolsista do(a): Centre National de la Recherche Scientifique, CNRS, França.
Grande área: Engenharias
Setores de atividade: Energia; Informática.
1967 - 1972
Graduação em Engenharia Elétrica.
Ecole Nationale Supérieure d'Electronique, Electrotechnique, Informatique, ENSEEIHT, França.


Pós-doutorado


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


Atuação Profissional



Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

1993 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Departamento de Engenharia Elétrica até junho de 1997 Departamento de Automação e Sistemas a partir de junho de 1997

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

1973 - 1977
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Acordo de Cooperação Franco-Brasileiro

Atividades

2008 - Atual
Direção e administração, SBRC - Simpósio Brasileiro de Redes de Computadores, .

Cargo ou função
Comitê do Programa SBRC.
6/1997 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Automação e Sistemas.

6/1997 - Atual
Ensino, Engenharia de Controle e Automação, Nível: Graduação

Disciplinas ministradas
Modelagem e Avaliação de Desempenho de Sistemas de Automação
Fundamentos da Estrutura da Informação
Introdução a Engenharia de Controle e Automação
Modelagem e Controle de Sistemas Automatizados
Metodologias para Desenvolvimento de Sistemas
4/1980 - Atual
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Simulação de Sistemas
Topicos Especiais em Controle Numerico de Maquinas
Técnicas Computacionais em Controle e Automação (Engenharia de Software)
Engenharia de Sistemas de Tempo Real I: Formalismos de Especificação
Engenharia de Sistemas de Tempo Real II: Técnicas de Implementação e Execução
Sistemas a Eventos Discretos
Redes de Comunicação para Controle e Automação
Topicos Especiais em Informatica: Sistemas Hibridos
Topicos Especiais em Informatica: Sistemas Multimidia
Topicos Especiais em Informatica: Linguagens de Tempo Real
08/2008 - 12/2008
Conselhos, Comissões e Consultoria, Centro Tecnológico, .

Cargo ou função
Comissão do CTC - UFSC para analisar a viabilidade de implementação do curso de gradução em Engenharia Vehicular e propor Projeto Político Pedagógico para este ano..
08/2008 - 08/2008
Direção e administração, Centro Tecnológico, .

Cargo ou função
Coordenador do Comitê de Organização da Escola "South American School 2008-Artist 2" em Florianópolis de 25/08/2008 - 29/08/2008..
5/2004 - 5/2008
Direção e administração, Universidade Federal de Santa Catarina, .

Cargo ou função
Chefe de Departamento.
8/1996 - 3/2002
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Coordenador do Comitê Gestor do NURCAD (Núcleo de Redes de Alta Velocidade e Computação de Alto Desempenho) na UFSC.
8/1986 - 6/2001
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Supervisor do Laboratório de Controle e Microinformática.
4/1999 - 5/2001
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Coordenador do Projeto Protem-RNP "Rede Metropolitana de Alta Velocidade de Florianópolis".
9/1997 - 9/1999
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Subchefe do Departamento de Automação e Sistemas da UFSC.
7/1991 - 6/1998
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Coordenador do Projeto Institucional da UFSC, intitulado PROCAI (Programa de Formação de Recursos Humanos em Controle de Processos, Automação e Informática Industrial na UFSC), com apoio do RHAE/CNPq.
9/1987 - 6/1997
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Engenharia Elétrica.

1/1982 - 6/1997
Direção e administração, Centro Tecnológico, Departamento de Engenharia Elétrica.

Cargo ou função
Responsável pelo Grupo de Pesquisas em "Controle, Automação e Informática Industrial" da Pós-Graduação.
4/1980 - 6/1997
Ensino, Engenharia Eletrica, Nível: Graduação

Disciplinas ministradas
Análise de Sistemas Lineares
Estagio em Controle
Sevomecanismos II
Noções de Informatica Industrial
Engenharia de Programação
9/1993 - 10/1994
Direção e administração, Centro Tecnológico, Departamento de Engenharia Elétrica.

Cargo ou função
Coordenador de Curso de PG Lato Senso em Automação Industrial (Univ. Caxias do Sul).
8/1994 - 8/1994
Extensão universitária , Centro Tecnológico, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Disciplina de Engenharia de Software no Curso de Especialização Lato Senso em Automação Industrial (Univ. Caxias do Sul).
1991 - 1993
Extensão universitária , Centro Tecnológico, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Projeto Parceria para Tecnologia de Automação Integrada (Riosoft).
9/1989 - 9/1992
Direção e administração, Centro Tecnológico, Departamento de Engenharia Elétrica.

Cargo ou função
Coordenador de Curso de graduação em Engenharia de Controle e Automação.
4/1987 - 10/1987
Extensão universitária , Centro Tecnológico, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Projeto de Desenvolvimento de Sistema de Acionamento Numérico de Motores (WEG).
4/1980 - 9/1987
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Engenharia Elétrica.

Linhas de pesquisa
Microinformatica
1984 - 1986
Extensão universitária , Centro Tecnológico, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Projeto de Sistema de Aquisição de Dados e Supervisão para Gaseificador de Madeira (CESP).
6/1985 - 7/1985
Extensão universitária , Centro Tecnológico, Departamento de Engenharia Elétrica.

Atividade de extensão realizada
Curso de "Introdução à Digitalização de Controle de Processos em Subestações" (Eletrosul).
2/1973 - 9/1977
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Engenharia Elétrica.

2/1973 - 8/1977
Ensino, Engenharia Eletrica, Nível: Graduação

Disciplinas ministradas
Servomecanismos I
Conversão Eletromecânica da Energia I
Conversão Eletromecânica da Energia II
Laboratório de Medidas Elétricas
Eletromagnetismo
3/1977 - 6/1977
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Eletrônica Industrial

Ecole Nationale Supérieure D'electronique D'electro Tech Nique D'informatiq, ENSEEIHT, França.
Vínculo institucional

1977 - 1979
Vínculo: Outro, Enquadramento Funcional: Bolsista de Pesquisa, Carga horária: 0

Atividades

1977 - 1979
Pesquisa e desenvolvimento , Ecole Nationale Supérieure D'electronique D'electro Tech Nique D'informatiq, .

Linhas de pesquisa
Eletronica Industrial


Linhas de pesquisa


1.
Controle de Processos
2.
Eletronica Industrial
3.
Microinformatica
4.
Redes de Computadores
5.
Sistemas Multimídia Distribuídos
6.
Engenharia de Software
7.
Sistemas de Tempo Real
8.
Automação Industrial: Sistemas de Supervisão e Controle
9.
Eletronica Industrial


Projetos de pesquisa


2012 - Atual
Sistema de Localização em Tempo Real para Smartphones e Redes WiFi
Descrição: O rastreamento de equipamentos de alto-valor, ferramentas ou pessoas - é um problema antigo e ainda presente. Diferentes soluções foram propostas, mas com limitações de custo de implantação e performance. O uso de GPS permitiu o desenvolvimento de soluções acessíveis para rastreamento outdoor. Entretanto, em ambientes fechados (indoor), os sinais GPS ficam indisponíveis devido às perdas de sinal causadas por obstruções. Por outro lado a maioria do comércio, atividades produtivas e interações sociais acontecem em ambientes indoor onde não podem se beneficiar da tecnologia GPS. Uma solução equivalente ao GPS para ambientes indoor cria um mundo de novas oportunidades solucionando problemas como eficiência na utilização de equipamentos móveis, extravio, alocação de profissionais e otimização de processos. Potenciais aplicações seriam rastreamento de pessoas e ativos em hospitais, indústrias, plataformas offshore, aeroportos. O principal objetivo do projeto é o estudo e proposição de uma arquitetura para a viabilização de um sistema de posicionamento para ambientes indoor. A meta é utilizar pontos de acesso padrão IEEE 802.11 (WiFi) como referência de posição e dispositivos inteligentes (smartphones) para estimar a localização de seus utilizadores. Dentre os objetivos específicos, pretende-se elaborar um algoritmo de posicionamento eficiente, capaz de estimar posições em tempo-real e desenvolver aparato que auxilie no mapeamento físico do ambiente em que o sistema será implantado..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / Ezequiel Conte - Integrante / Eduardo Matos Brito Junior - Integrante.Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina - Bolsa.
2011 - Atual
SPACES-4D: Sistema PArticipativo de Gestão e Monitoramento de Cidades e Serviços Públicos usando rastreamento com câmeras 4D
Descrição: Várias cidades ao redor do mundo têm instalado sistemas de monitoramento de câmeras aplicadas para o acompanhamento de trânsito, combate à criminalidade, entre outros usos. Da mesma forma, a produção e distribuição de conteúdos multimídia gerados por usuários ?comuns? aumentaram significativamente nos últimos anos como resultado da popularização de equipamentos portáteis com acesso à Internet e da facilidade de disponibilização destes conteúdos através das redes sociais. Este projeto busca integrar estes temas propondo a padronização de câmeras especiais de monitoramento, o desenvolvimento e aplicação de técnicas para rastreamento de pessoas ou objetos e o uso de informações provenientes de redes sociais para facilitar a gestão de cidades. As câmeras em questão serão plenópticas, que possuem microlentes que permitem capturar mais informações do ambiente que as câmeras comuns e podem ter seu foco corrigido pós-captura. No rastreamento de múltiplos alvos móveis serão utilizadas múltiplas câmeras de segurança, ligadas em uma rede mesh sem fio, onde os protocolos e infra-estrutura da rede serão definidos a partir das particularidades do algoritmo de rastreamento. No caso das redes sociais, buscam-se a aplicação de tecnologias e a infraestrutura Web para suportar a coleta de dados e o compartilhamento, armazenamento, processamento e visualização por usuários (cidadãos) comuns e/ou especialistas em gestão e planejamento de cidades. Em especial, podem ser obtidas informações sobre andamento de obras públicas e eficiência de transporte público. Um sistema integrado contendo essas soluções terá uma interface Web onde os gestores das cidades terão facilidades para escolher e trabalhar com informações de diferentes mídias e fontes..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / Werner Kraus Junior - Integrante / Roberto Willrich - Integrante / Celso A. Saibel Santos - Integrante / Yuzo Iano - Integrante.Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.
2009 - 2010
Concepção de Sistemas de Robôs e de Sensores em Redes
Descrição: O objetivo deste projeto consiste, então, em estudar, propor e avaliar o uso de métodos de concepção baseados na modelagem e na verificação formal (autômatos temporizados e redes de Petri temporais) na solução dos dois problemas seguintes: (i) planejamento e coordenação de sistemas multi-robôs em ambientes internos com obstáculos e com o uso eventual de sensores fixos; (ii) definição, avaliação e adequação dos protocolos de roteamento para a comunicação entre robôs móveis através de rede ad-hoc. Finalmente os sistemas e os protocolos concebidos serão avaliados num ambiente real composto de um conjunto de robôs móveis e de sensores, alguns fixos e outros móveis, integrando os aspectos Robótica e Redes. As aplicações-alvo visadas serão aplicações de vigilância, de supervisão e de gerenciamento de estados excepcionais, em ambiente internos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / José Eduardo Cury - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2009
Timing Analysis and Program Implementation On Complex Architectures -TAPIOCA
Situação: Concluído; Natureza: Pesquisa.
2006 - 2010
Cooperação Acadêmica em Automação e Sistemas de Tempo Real - AST
Descrição: O principal objetivo deste projeto é o fortalecimento das relações existentes entre os dois programas de pós-graduação, através do desenvolvimento conjunto de pesquisas e orientações de dissertações e teses, com vistas à consolidação do programa de pós-graduação em Mecatrônica da UFBA (nível 3 na CAPES). Em outras palavras, os objetivos principais deste projeto são: (i) estabelecimento de programas de pesquisa conjuntos em automação e tempo real; (ii) incrementar a formação de recursos humanos, através da realização de orientações (mestrado, doutorado) conjuntas envolvendo professores e alunos dos dois programas; (iii) possibilitar a troca de conhecimentos entre as equipes participantes, a partir de reuniões, seminários, estágios e disciplinas a serem ministradas, (iv) possibilitar a consolidação do programa de pós-graduação em Mecatrônica da UFBA, com vistas a futura implantação do Doutorado no contexto deste programa..
Situação: Concluído; Natureza: Pesquisa.
2006 - 2008
Sistema de Informação e Controle para Mobilidade Urbana II - SINCMOBIL II
Descrição: Este projeto busca contribuir para a capacitação nacional na área de ITS. Sua formulação considera que há duas grandes categorias de problemas nesta área: (i) o desenvolvimento de modelos e métodos que permitam tratar computacionalmente os fenômenos inerentes ao tráfego urbano, e (ii) a adaptação e criação de sistemas computacionais para o ambiente da aplicação em transportes. Na primeira categoria, encontram-se os problemas de simulação de tráfego, algoritmos de controle semafórico, controle supervisório da operação, escalonamento de viagens para ônibus e veículos comerciais, otimização de rotas e alocação de tráfego, entre outros. Na segunda categoria, alguns dos aspectos mais relevantes são a interoperabilidade de sistemas, a intercambialidade de componentes (permitindo a troca de equipamentos de diferentes fabricantes sem adaptações), o desenvolvimento padronizado baseado em arquiteturas de software de referência, a comunicação entre equipamentos fixos e móveis, a coleta de dados em tempo real, a formatação do grande volume de informações para armazenamento, processamento e disseminação para usuários distintos (pessoas se deslocando, operadores, planejadores etc), entre outros..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / C.Montez - Integrante / Werner Kraus Junior - Integrante / Eduardo Camponogara - Integrante / José Eduardo Cury - Integrante / Ana Lucia C. Bazan - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2006 - 2008
End-to-End Quality of Service support over heterogeneous networks - EuQoS
Descrição: O projeto Europeu FP6 (Framework Programme 6) EuQoS é desenvolvido por um consórcio de 24 entidades da indústria e academia, lideradas pela Telefônica I+D da Espanha e tem como meta propor soluções para a garantia de QoS Fim-a-Fim em redes heterogêneas multi-domínio e multi-serviços. Este projeto está propondo e desenvolvendo novos mecanismos para tratar diferentes aspectos: monitoramento e medição, controle de admissão, negociação de serviços e sinalização, roteamento com QoS, gerenciamento de falhas, segurança e AAA. Uma das metas do projeto EuQoS é construir um Sistema de comunicação garantindo QoS de modo seguro e flexível, o chamado sistema EuQoS a ser usado como um ambiente de teste incluindo redes de pesquisa de diferentes paises. Esta experimentação de grande escala permitirá testar a solução proposta de interoperabilidade entre domínios de redes de tecnologias heterogêneas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Jean Marie Alexandre Farines - Integrante / Roberto Willrich - Integrante / Michel Diaz - Coordenador / Edison Melo - Integrante / Philippe Owezarski - Integrante.Financiador(es): Comissão Européia - Cooperação.
2005 - 2011
Toolkit in Open source for Critical Applications & SystEms Development - TOPCASED
Descrição: O projeto TOPCASED tem como objetivo de disponibilizar para a comunidade Open Source, um conjunto de ferramentas de engenharia de software para permitir a modelagem e a verificação de sistemas críticos de tempo real. O ambiente de desenvolvimento deve permitir o uso de varias linguagens de modelagem, a comunicação/transformação de dados entre ferramentas/linguagens e a integração das ferramentas a partir de uma plataforma que homogeneizará o ambiente do usuário. Neste projeto, participam 9 empresas (européias), e 11 instituições de pesquisa (entre elas o DAS-UFSC e o LAAS-CNRS com a qual já existe uma cooperação), sob a coordenação da AIRBUS..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (1) .
Integrantes: Jean Marie Alexandre Farines - Integrante / François Vernadat - Integrante / Bernard Berthomieu - Integrante / Jean Paul Bodeveix - Integrante / Patrick Farail - Coordenador / Mamoun Filali - Integrante / Pierre Gaufillet - Integrante / Leandro Buss Becker - Integrante.Financiador(es): Ministère de la Recherche - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 1
2004 - 2007
Concepção de Sistemas de Tempo Real Distribuídos: Aplicação aos Sistemas Críticos e aos Sistemas Multimídias
Descrição: Este projeto de pesquisa é realizado no contexto de uma cooperação entre pesquisadores da UFSC e do LAAS (Laboratoire d'Architecture et d'Analyse des Systèmes - Toulouse-France). Ele aborda algumas das principais questões que permitem tratar a complexidade dos sistemas distribuídos de tempo real a partir dos seguintes eixos de pesquisa: (i) Formalismos (modelagem, verificação e teste dos sistemas de tempo real); (ii) Arquiteturas (sistemas multimídia distribuídos, gerenciamento da qualidade de serviços); (iii) Aplicações colaborativas multimídia..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / Romulo S Oliveira - Integrante / Roberto Willrich - Integrante / François Vernadat - Integrante / Bernard Berthomieu - Integrante / José Eduardo Cury - Integrante / Leandro Buss Becker - Integrante / Michel Diaz - Integrante / Philippe Owezarski - Integrante / Jean Pierre Courtiat - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
Número de produções C, T & A: 1
2002 - 2005
Sistema de Informação e Controle para Mobilidade Urbana I - SINCMOBIL I
Descrição: Objetiva-se a concepção e implementação de dois sistemas de suporte à mobilidade urbana: um Sistema de Informação e um Sistema de Controle, ambos baseados em arquiteturas de software padronizadas. Para dar suporte à interação entre tais sistemas, prevê-se a constituição do sistema de comunicação usando protocolos abertos. Para o desenvolvimento de sistemas para transportes, conta-se hoje com arquiteturas de software (como a NIA norte-americana ) e com protocolos de comunicação padronizados (como o NTCIP norte-americano). Estes padrões servirão de inspiração no projeto, o qual busca contribuir na definição de um padrão nacional para o setor. Os sistemas de controle de tráfego em tempo real existem desde a década de 60, embora só a partir dos anos 80, a redução dos custos permitiu a proliferação destes. A metodologia consiste em desenvolver paralelamente (i) o Sistema de Informação sobre condições de tráfego e apoio para escolha de rotas e (ii) o Sistema de Controle semafórico em tempo real. Outro aspecto importante é o uso de plataforma de microssimulação de tráfego, que fornece cenários bastante realistas, além de permitir a implementação de instrumentação virtual para teste dos protocolos de comunicação entre dispositivos. Os resultados esperados são: sistema de informação para mobilidade urbana, capaz de interligar subsistemas distintos como centrais de controle de tráfego, sistemas de consulta via Internet, e centrais de gerência de estacionamentos, provendo informação em tempo real aos usuários; controle ótimo dos semáforos, com redução do consumo de combustível e dos atrasos de viagens em vias urbanas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Jean Marie Alexandre Farines - Coordenador / C.Montez - Integrante / Werner Kraus Junior - Integrante / Eduardo Camponogara - Integrante / José Eduardo Cury - Integrante / Ana Lucia C. Bazan - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 1


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Tempo Real.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teleinformática.


Idiomas


Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Catalão
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
PICININ, DELCINO2017PICININ, DELCINO ; FARINES, JEAN-MARIE ; SANTOS, CELSO A. S. ; KOLIVER, Cristian . A design-oriented method to build correct hypermedia documents. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE), v. 1, p. 1-30, 2017.

2.
PIERI, GIOVANI2016PIERI, GIOVANI ; KRAUS, WERNER ; FARINES, JEAN-MARIE . Bluemob: a network formation algorithm for bus riders. Wireless Networks, v. 1, p. 1-17, 2016.

3.
SEGUNDO, FABIO RAFAEL2016SEGUNDO, FABIO RAFAEL ; SILVA, ERALDO SILVEIRA E ; FARINES, JEAN-MARIE . A DTN routing strategy based on neural networks for urban bus transportation system. Journal of Network and Computer Applications, v. 64, p. 216-228, 2016.

4.
PASSARINI, ROSANE FÁTIMA2015PASSARINI, ROSANE FÁTIMA ; FARINES, JEAN-MARIE ; FERNANDES, JOÃO M. ; BECKER, LEANDRO BUSS . Cyber-physical systems design: transition from functional to architectural models. Design Automation for Embedded Systems, v. 1, p. 1, 2015.

5.
CAMBRUZZI, E.2014CAMBRUZZI, E. ; FARINES, J. M. ; KRAUS JR., W. ; MACEDO, R. . A Cluster Management System for VANETS. International Journal of Intelligent Transportation Systems Research, v. 1, p. 1-12, 2014.

6.
MELO, R.2013MELO, R. ; NORMEY-RICO, J. E. ; FARINES, J. M. . Adaptive Dead Time Compensation on Congestion Control of TCP Networks: An Unified Solution. Journal of Control, Automation and Electrical Systems, v. 1, p. 10, 2013.

7.
KOLIVER, C.2010 KOLIVER, C. ; FARINES, J. M. ; BUSSE, B. ; De Meer H. . Rate Control Performance under End-User's Perspective: A Test Tool. EURASIP Journal on Image and Video Processing (Print), v. 2010, p. ID 524613-13 pages, 2010.

8.
CANTÚ, E.2007CANTÚ, E. ; FARINES, J. M. . Applying Educacional Models in Technological Education. Education and Information Technologies, v. 12, p. 111-122, 2007.

9.
VALLIM, Marcos Banhetti2006VALLIM, Marcos Banhetti ; FARINES, J. M. ; CURY, José Eduardo . Practicing Engineering in a Freshman Introductory Course. IEEE Transactions on Education, Estados Unidos, v. 49, n.1, p. 74-79, 2006.

10.
KOLIVER, Cristian2002 KOLIVER, Cristian ; NAHRSTEDT, K. ; FARINES, J. M. ; FRAGA, J. S. ; SANDRI, S. A. . Specification, Mapping and Control for QoS Adaptation. Real-Time Systems, v. 23, n.1-2, p. 143-174, 2002.

11.
BRUCIAPAGLIA, A. H.1990BRUCIAPAGLIA, A. H. ; FARINES, J. M. . Formação de Recursos Humanos em Controle e Automação Industrial. Controle & Automação (Impresso), v. 2, n.4, p. 205-213, 1990.

12.
FARINES, J. M.1987FARINES, J. M.; FRAGA, J. S. . Ambiente de Produção de Software para Sistemas Distribuídos em Tempo Real. Controle & Automação (Impresso), v. 1, n.4, p. 337-344, 1987.

13.
FARINES, J. M.1983FARINES, J. M.; CARDOSO Fo, M . Variable Speed PWM Inverter-Fed Induction Motor Drive Using Microcomputer. Journal Of The International Society For Mini And Microcomputers, v. 2, n.3, p. 81-85, 1983.

14.
de FORNELL, B.1981de FORNELL, B. ; FARINES, J. M. ; HAPIOT, J. C. ; HECTOR, J. . Hybrid Simulation of a Current Fed Asynchronous Machine. Mathematics and Computers in Simulation (Print), v. XXIII-, p. 253-261, 1981.

Livros publicados/organizados ou edições
1.
FARINES, J. M.; FRAGA, J. S. ; OLIVEIRA, R. S. . Sistemas de Tempo Real. 1. ed. São Paulo: Escola de Computação 2000 da Sociedade Brasileira de Computação, 2000. v. 1. 201p .

Capítulos de livros publicados
1.
Veiga, Hallan William ; DE QUEIROZ, MAX HERING ; FARINES, JEAN-MARIE ; de Lima, Marcelo Lopes . Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. In: International Workshop on Formal Methods for Industrial Critical Systems - FMICS. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 51-65.

2.
MELO, R. ; FARINES, J. M. ; NORMEY-RICO, J. E. . Modelling and Predictive Congestion Control of TCP Protocols. In: Sipahi, R.; Vyhlidal, T.; Niculescu, S.-I.; Pepe, P.. (Org.). (Org.). Time Delay Systems: Methods, Applications and New Trends. Time Delay Systems: Methods, Applications and New Trends. Berlin: Springer, 2012, v. 1, p. -.

3.
BRUCIAPAGLIA, A. H. ; FURUKAWA C.M. ; GARCIA C. ; SEIXAS F.C. ; COZMAN F.G. ; JOTA F.G. ; CAURIN G.A.P. ; FARINES, J. M. ; GONÇALVES L.A.M ; MIYAGI P.E. ; PENA R.T. ; MORENO U.F. . Formação em Controle e Automação no Brasil. Enciclopédia de Automática, Controle e Automação.. São Paulo: Blucher, 2007, v. 1, p. 40-63.

4.
KOLIVER, Cristian ; FARINES, J. M. ; NAHRSTEDT, K. . QoS Adaptation Based on Soft Computing Paradigm. In: Lipo Wang. (Org.). Soft Computing in Communications (Series: Studies in Fuzziness and Soft Computing). Berlin Heidelberg: Springer-Verlag, 2003, v. 113, p. 245-267.

5.
Seibel C. W. ; FARINES, J. M. ; Cury J.E.R. . Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. In: Panos Antsaklis; Wolf Kohn; Michael Lemmon; Anil Nerode; Shankar Sastry. (Org.). Lecture Notes in Computer Science: Hybrid Systems V. 1ed.Berlin: Springer-Verlag, 1998, v. 1567, p. 324-340.

Textos em jornais de notícias/revistas
1.
BRUCIAPAGLIA, A. H. ; FARINES, J. M. ; CURY, J. E. . A Automação no Processo Produtivo: Desafios e Perspectivas. NEXUS Ciência e Tecnologia, Florianopolis - SC, p. 28 - 31, 01 out. 2001.

Trabalhos completos publicados em anais de congressos
1.
MARQUES, LUIS GUSTAVO PERPETUO COSTA ; DE QUEIROZ, MAX HERING ; FARINES, JEAN-MARIE . Improving a design methodology of synthesizable VHDL with formal verification. In: 2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS), 2016, Florianopolis. 2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS), 2016. p. 51.

2.
MELO, A. ; KRAUS JR., W. ; FARINES, J. M. ; PIERI, G. . Abordagem de Baixo Custo para Coleta de Dados de Transporte Público com Smartphones. In: XXIX Congresso de Pesquisa e Ensino em Transportes, 2015, Ouro Preto. XXIX Congresso de Pesquisa e Ensino em Transportes. Rio de Janeiro, RJ: Associação Nacional de Pesquisa e Ensino em Transportes, 2015. v. 1. p. 1182-1193.

3.
CARVALHO FILHO, J. G. N. ; FARINES, JEAN-MARIE ; CURY, J. E. R. . Building Maps with Multi-Robot Systems under Limited Communication. In: 17th International Conference on Advanced Robotics ICAR 2015, 2015, Istambul. Proceedings of 17th International Conference on Advanced Robotics, 2015. v. 1. p. 1-7.

4.
CONTE, E. ; FARINES JEAN-MARIE . Algoritmos de Análise de Cena para Localização Indoor via Redes IEEE 802.11. In: V Brazilian Symposium on Computing Systems Engineering - SBESC 2015, 2015, Foz do Iguaçu - PR. Proceedings of V Brazilian Symposium on Computing Systems Engineering, 2015. v. 1. p. 1-6.

5.
PRATI, T. J. ; FARINES, JEAN-MARIE ; DE QUEIROZ M.H. . Automatic test of safety specifications for PLC programs in the Oil and Gas Industry. In: 2nd IFAC Workshop on Automatic Control in Offshore Oil and Gas Production - Oilfield 2015, 2015, Florianópolis. Proceedings of the 2nd IFAC Workshop on Automatic Control in Offshore Oil and Gas Production, 2015. v. 1. p. 27-32.

6.
PIERI, G. ; FARINES, JEAN-MARIE ; KRAUS JR., W. . Bluemob: Algoritmo dinâmico para formação de redes Bluetooth em aplicações de sensoriamento urbano. In: XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2015, 2015, Vitória - ES. Anais do XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2015. v. 1. p. 263-276.

7.
PIERI, GIOVANI ; KRAUS, WERNER ; FARINES, JEAN-MARIE . Dynamic algorithm for bluetooth network formation in urban sensing applications. In: 2015 XXXIII Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2015, Vitoria. 2015 XXXIII Brazilian Symposium on Computer Networks and Distributed Systems, 2015. p. 1.

8.
SEGUNDO, F. R. ; SILVEIRA E SILVA, E. ; FARINES, J. M. . Predicting Journeys for DTN Routing in a Public Transportation System. In: IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - WiMob 2014, 2014, Larnaca - Chipre. Proceedings of the 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - WiMob 2014. Lanarca - Chipre: IEEE, 2014. p. 1.

9.
PICININ, D. ; KOLIVER, Cristian ; SANTOS C. A. S. ; FARINES, J. M. . Verifying Hypermedia Applications by Using a MDE Approach. In: System Analysis and Modelling Conference - SAM 2014, 2014, Valencia - Espanha. Proceedings of the 8th System Analysis and Modelling Conference - SAM 2014. Valencia - Espanha, 2014. p. 1.

10.
PASSARINI, R. F. ; FARINES, J. M. ; BECKER L. B. . The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models. In: III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. Proeedings. of the III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013. p. 47-52.

11.
CARVALHO FILHO, J. G. N. ; FARINES, J. M. ; Cury J.E.R. . Modeling and synthesis of controllers for multi-robot systems using game structures. In: XVI International Conference on Advanced Robotics, ICAR 2013, 2013, Montevideo - Uruguay. Proceedings of the XVI International Conference on Advanced Robotics, 2013.

12.
SEGUNDO, F. R. ; FARINES, J. M. ; SILVEIRA E SILVA, E. . Quasi-opportunistic contact prediction in delay/disruption tolerant network. In: Global Information Infrastructure Symposium - GIIS 2013, 2013, Trento. Proceedings of Global Information Infrastructure Symposium - GIIS 2013, 2013. p. 1.

13.
RIBEIRO, V. B. ; FARINES, J. M. ; CURY, J. E. . Exploração de Ambientes Desconhecidos Estruturados com Sistemas Multi-Robôs Coordenados. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2013, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente - SBAI 2013. Fortaleza: SBA, 2013. p. 1.

14.
CARVALHO FILHO, J. G. N. ; FARINES, J. M. ; CURY, José Eduardo . Modelagem de Sistemas Multi-Robôs para Síntese de Controladores Utilizando Estrutura de Jogo. In: XiX Congresso Brasileiro de Automática - CBA 2012, 2012, Campina Grande (PB). Anais do CBA 2012. Campina Grande: SBA, 2012.

15.
CASTELLAIN, D. ; FARINES, J. M. ; KOLIVER, C. ; RAFFO, G. V. . Automatized Translation From A Functional Into An Architectural Model: An Application To The Quadrotor UAV. In: V Workshop in Applied Robotics and Automation - ROBOCONTROL 2012, 2012, Bauru (SP). Anais do ROBOCONTROL 2012. Bauru: SBA, 2012.

16.
PICININ, D. ; FARINES, J. M. ; KOLIVER, Cristian . An approach to verify live NCL applications. In: XVIII Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia 2012, 2012, São Paulo. Proceedings of the 18th Brazilian Symposium on Multimedia and the Web. New York, NY, USA: ACM, 2012. p. 223-232.

17.
PASSARINI, R. F. ; FARINES, J. M. ; BECKER L. B. . Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink. In: XXVI Símposio Brasileiro de Engenharia de Software (SBES 2012), 2012, Natal. Proceedings of 26th Brazilian Symposium on Software Engineering, 2012. p. 1-9.

18.
FARINES, J. M.; DE QUEIROZ M.H. ; ROCHA, V. G. ; CARPES A. M. M. ; VERNADAT, F. ; CRÉGUT X. . A model-driven engineering approach to formal verification of PLC programs. In: IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), 2011, Toulouse (France). Proc. of IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), 2011. p. 1-8.

19.
SILVA, E. S. ; FARINES, J. M. ; DIAZ, M. . A Path Selection Criterion for Advance Resource Reservation. In: 4th IEE/IFIP International Conference on New Technologies, Mobility and Security - NTMS, 2011, Paris. Proc. of 4th IEE/IFIP International Conference on New Technologies, Mobility and Security - NTMS. Paris: IEEE, 2011. p. 1-5.

20.
PICININ, D. ; FARINES, J. M. ; SANTOS C. A. S. . Uma abordagem MDE para Modelagem e Verificação de Documentos Multimídia Interativos. In: XVII Simpósio Brasileiro de Sistemas Multimídia e Web - WEBMIDIA, 2011, Florianópolis. Anais do XVII Simpósio Brasileiro de Sistemas Multimídia e Web. Porto Alegre: Sociedade Brasileira de Computação, 2011. v. 1. p. 91-98.

21.
OLIVEIRA, R. G. ; SANTOS G. ; FARINES, J. M. ; BECKER L. B. . Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC, 2011, Florianópolis. Proc. of the Brazilian Symposium on Computing System Engineering (SBESC 2011). Los Angeles: IEEE Computer Society, 2011. v. 1. p. 27-32.

22.
PAVEI, J. ; FARINES, J. M. ; CURY, J. E. R. . Coordenação de Sistemas Multi-Robôs utilizando Autômato-Jogo Temporizado. In: Simpósio Brasileiro de Automação Inteligente (SBAI 2011), 2011, São João del Rei. nais do Simpósio Brasileiro de Automação Inteligente (SBAI 2011), 2011. p. 1-6.

23.
MAGALHÃES, A. P. ; ANDRADE, A. ; MACIEL, R. S. ; FARINES, J. M. . An MDA Approach to Model Transformation Development. In: II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos, 2011, São Paulo. Anais do II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos. Porto Alegre: Sociedade Brasileira de Computação (SBC), 2011. p. 1-8.

24.
CORREA, T. ; BECKER L. B. ; FARINES, J. M. ; BODEVEIX, J. P. ; FILALI-AMINE, M. ; VERNADAT, François . Supporting the Design of Safety Critical Systems Using AADL. In: Fifth IEEE International Workshop UML and AADL, 2010, Oxford. Proceedings of the Fifth IEEE International Workshop UML and AADL, 2010.

25.
CAMBRUZZI, E. ; FARINES, J. M. ; MACEDO, R. ; KRAUS JR., W. . Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2010, 2010, Gramado (RS). Anais dos XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2010). Porto Alegre: SBC, 2010. v. 1. p. 1-14.

26.
BECKER L. B. ; FARINES, J. M. ; BODEVEIX, J. P. ; FILALI-AMINE, M. ; VERNADAT, François . Development Process for Critical Embedded Systems. In: 1o Workshop Brasileiro de Sistemas Embarcados, 2010, Gramado (RS). Anais do 1o Workshop Brasileiro de Sistemas Embarcados. Porto Alegre: SBC, 2010.

27.
DE SOUZA M.F. ; FARINES, J. M. ; DE QUEIROZ M.H. . Modelagem e verificação de programas em Diagrama Ladder para Controladores Lógicos Programáveis. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito (MS). Anais do XVIII Congresso Brasileiro de Automática - CBA 2010, 2010.

28.
CORREA, T. ; BECKER L. B. ; BODEVEIX, J. P. ; FARINES, J. M. ; FILALI-AMINE, M. ; VERNADAT, François . Verification Based Development Process for Embedded Systems. In: Embedded Real Time Software and Systems - ERTS2 2010, 2010, Toulouse (França). Proceedings of Embedded Real Time Software and Systems - ERTS2 2010, 2010.

29.
CAMBRUZZI, E. ; FARINES, J. M. ; MACEDO, R. ; KRAUS JR., W. . An Adaptive Failure Detection System for Vehicular Ad-hoc Networks. In: 2010 IEEE Intelligent Vehicles Symposium - IV 2010, 2010, San Diego (USA). Proceedings of the 2010 IEEE Intelligent Vehicles Symposium - IV 2010, 2010. v. 1. p. 1-10.

30.
SILVA, E. S. ; FARINES, J. M. ; DIAZ, M. . Path Prediction for Resource Reservation between Mobile Nodes. In: WCNC 2009, 2009, Budapest. Proceedings in WCNC 2009, 2009. v. 1. p. 1-6.

31.
KOLIVER, Cristian ; FARINES, J. M. . Evaluating Streaming Rate Controllers: a Support Tool. In: MMM 2009 - International Conference on Multimedia Modeling, 2009, Sophia, Antipolis, France. Proceedings in MMM 2009 - International Conference on Multimedia Modeling, 2009. v. 1. p. 1-6.

32.
SILVA, E. S. ; FARINES, J. M. ; DIAZ, M. . Reserva Antecipada de Recursos em Cenários de Mobilidade Simultânea de Terminais. In: 27o Simpósio Brasileiro de Redes de Computadores - SBRC 2009, 2009, Recife. Anais do 27o Simpósio Brasileiro de Redes de Computadores - SBRC 2009, 2009.

33.
CAMBRUZZI, E. ; FARINES, J. M. ; KRAUS JR., W. . Um Algoritmo Baseado em Peso para Formação e Manutenção de Agrupamentos em Redes Veiculares Ad hoc. In: 27o Simpósio Brasileiro de Redes de Computadores - SBRC 2009, 2009, Recife. Anais do 27o Simpósio Brasileiro de Redes de Computadores - SBRC 2009. Recife: SBC, 2009.

34.
MELO, R. ; NORMEY-RICO, J. E. ; FARINES, J. M. . TCP Modelling and Predictive Congestion Control. In: 8th IFAC Workshop on Time Delay Systems - TDS'09, 2009, Sinaia- Romania. Proceedings of 8th IFAC Workshop on Time Delay Systems - TDS'09, 2009.

35.
FRANÇA R. B. ; BECKER L. B. ; BODEVEIX, J. P. ; FARINES, J. M. ; FILALI-AMINE, M. . Towards Safe Design of Synchronous Bus Protocols in Event-B. In: 12º Simpósio Brasileiro de Métodos Formais - SBMF 2009, 2009, Gramado - Brasil. LNCS - Brazilian Symposium on Formal Methods (SBMF 2009), 2009.

36.
FARINES, J. M.; CURY, J. E. ; BITTENCOURT, G. ; CASTELAN NETO, E. B. ; DE PIERI, E. R. ; MORENO U.F. ; BECKER L. B. ; TROFINO, A. . Colaboração Científica na UFSC em Ciências e Tecnologias da Informação, da Comunicação e da Automática. In: COLIBRI 2009 - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves - Brasil. Anais do Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios (COLIBRI 2009), 2009. v. 1. p. 67-70.

37.
BENDER D. ; COMBEMALE B. ; CRÉGUT X. ; FARINES, J. M. ; BERTHOMIEU, Bernard ; VERNADAT, François . Ladder Metamodeling & PLC Program Validation through Time Petri Nets. In: Fourth European Conference on Model Driven Architecture Foundations and Applications - ECMDA 2008, 2008, Berlin (Alemanha). ECMDA 2008 Proceedings, 2008.

38.
SILVA, E. S. ; RACARU F. ; FARINES, J. M. ; DIAZ, M. . Inter-Domain QoS Signaling under Mobility. In: IEEE/IFIP Network Operations & Management Symposium - NOMS 2008, 2008, Salvador. NOMS 2008 Proceedings, 2008.

39.
MELO, R. ; NORMEY-RICO, J. E. ; FARINES, J. M. . Modelagem e controle de congestionamento em conexões TCP. In: CBA 2008, 2008, Juiz de Fora. Proceedings in Anais CBA 2008, 2008. v. 1. p. 39281.

40.
CARLSON A. C. ; FARINES, J. M. ; CAMPONOGARA, Eduardo . Roteamento com Perfis de Banda Variantes no Tempo: Uma Abordagem baseada em Caminhos. In: 25° Simposio Brasileiro de Redes de Computadores, 2007, Bélem. Anais do SBRC 2007, 2007.

41.
FRANÇA R. B. ; FARINES, J. M. ; BODEVEIX, Jean Paul ; BECKER L. B. ; FILALI, Mamoun . Modeling a Bus Protocol: An Incremental Approach. In: IX Workshop de Tempo Real, 2007, Bélem. Anais do WTR 2007, 2007.

42.
CARLSON A. C. ; FARINES, J. M. ; CAMPONOGARA, Eduardo . Melhorando a Utilização de Recursos em Redes MPLS para Demandas Variantes no Tempo. In: VI° Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2007, Rio de Janeiro. Anais do VI° WPerformance 2007, 2007.

43.
LINHARES, M. V. ; OLIVEIRA, R. S. ; FARINES, J. M. ; VERNADAT, François . Introducing the Modeling and Verification Process in SysML. In: 12th IEEE Conference on Emerging Technologies and Factory Automation - ETFA'2007, 2007, Patras - Greece. Proceedings of ETFA'2007, 2007.

44.
FRANÇA R. B. ; GOBBI, D. R. ; FARINES, J. M. ; BODEVEIX, Jean Paul ; BECKER L. B. ; FILALI, Mamoun . Design of Real-Time Automation Systems Using Architecture Description Languages. In: VIII° Simpósio Brasileiro de Automação Inteligente - SBAI, 2007, Florianópolis ? SC. Anais do VIII° Simpósio Brasileiro de Automação Inteligente. Florianópolis: SBA, 2007.

45.
VALLIM, Marcos Banhetti ; FARINES, J. M. ; CURY, J. E. . Uma Estrutura Curricular para um Curso de Engenharia de Controle e Automação. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática.. Campinas: SBA, 2006. v. 1. p. 625-630.

46.
CANTÚ, E. ; FARINES, J. M. . Applying New Education Models in ICT Teaching and Learning. In: World Computer Conference, Education for the 21st Century - Impact of ICT and Digital Resourses, 2006, Santiago (Chile). In: Deepak Kumar; Joe Turner. (Org.). Proceedings Education for the 21st Century: Impact of ICT and Digital Resources.. Boston: Springer, 2006. v. 210. p. 45-54.

47.
CANTÚ, E. ; FARINES, J. M. . Ambiente Web para Auxílio ao Ensino-Aprendizagem de Redes de Computadores. In: Simpósio Brasileiro de Redes de Computadores - SBRC 2006 - Salão de Ferramentas,, 2006, Curitiba. Anais do Simpósio Brasileiro de Redes de Computadores - SBRC 2006 - Salão de Ferramentas,. Curitiba: SBC, 2006.

48.
VALLIM, Marcos Banhetti ; FARINES, J. M. ; CURY, J. E. . A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. In: 45th IEEE Conference on Decision and Control - 45th CDC, 2006, San diego (USA). Proceedings of the 45th IEEE Conference on Decision and Control, 2006.

49.
MARTINS, Ricardo ; KOLIVER, Cristian ; FARINES, J. M. . Um Mecanismo de Controle Adaptativo com Requisitos de Justiça. In: XXIII Simposio Brasileiro de Redes de Computadores - SBRC 2005, 2005, Fortaleza (Ceara). Anais do SBRC 2005, 2005. v. 1. p. 252-268.

50.
DIAS, Roberto ; CAMPONOGARA, Eduardo ; FARINES, J. M. . Supporting Differentiated QoS in MPLS Networks. In: 13th International Workshop on Quality of Service - IWQoS 2005, 2005, Passau (Germany). LNCS: Proceedings of 13th International Workshop on Quality of Service, 2005. v. 1. p. 267-279.

51.
KOLIVER, Cristian ; FARINES, J. M. . Preliminary Results Towards Building a Highly granular QoS Controller. In: 13th International Workshop on Quality of Service - IWQoS 2005, 2005, Passau (Germany). LNCS: Proceedings of 13th International Workshop on Quality of Service, 2005. v. 1. p. 343-346.

52.
KOLIVER, Cristian ; FARINES, J. M. . A Framework to Assist Bit Rate Control for Distributed Multimedia Applications. In: XI Simposio Brasileiro de Sistemas Multimidia e Web - WebMedia 2005, 2005, Poços de Caldas (MG). Anais do XI Simposio Brasileiro de Sistemas Multimidia e Web. Poços de Caldas (MG): PUC-Minas e SBC, 2005. v. 1. p. 125-137.

53.
FARAIL, Patrick ; GAUFILLET, Pierre ; FARINES, J. M. ; LAMBERT, Jean Luc ; DISSAUX, Pierre ; HAFIDI, H. ; MICHEL, Pierre ; FILALI, Mamoun ; BODEVEIX, Jean Paul ; VERNADAT, François ; BERTHOMIEU, Bernard ; RIBET, Pierre Olivier . The COTRE Project: How to Model and Verify Real-Time Architectures?. In: 2nd European Congress Embedded Real-Time Software - ERTS, 2004, Toulouse. Proceedings of the 2nd European Congress ERTS, 2004. v. 1. p. 55-64.

54.
DIAZ, R. ; FARINES, J. M. ; CAMPONOGARA, Eduardo ; WILLRICH, R. ; CAMPESTRINI, A. . Engenharia de Trafego Dinâmica em Redes IP sobre Tecnologia MPLS: Otimização Baseada em Heuristicas. In: 22° Simposio Brasileiro de Redes de Computadores - SBRC 2004, 2004, Gramado (RS). Anais do SBRC 2004, 2004. v. 1. p. 154-170.

55.
FARINES, J. M.; BERTHOMIEU, Bernard ; RIBET, Pierre Olivier ; VERNADAT, François ; BODEVEIX, Jean Paul ; FILALI, Mamoun ; MICHEL, Pierre ; FARAIL, Patrick ; GAUFILLET, Pierre ; DISSAUX, Pierre ; LAMBERT, Jean Luc . Modelando e verificando arquiteturas de sistemas de tempo real: o projeto COTRE. In: Workshop de Tempo Real WTR 2004 (SBC), 2004, Gramado (RS). Anais do WTR 2004, 2004. v. 1. p. 1-12.

56.
CANTÚ, Evandro ; FARINES, J. M. ; ANGOTTI, José André . Uma Abordagem para Ensinar e Aprender Redes de Computadores baseada em Mapas Conceituais. In: Workshop de Educação em Informática WEI2004 associado ao Congresso da SBC2004, 2004, Salvador (Ba). Anais do WEI2004, 2004. v. 1. p. 152-161.

57.
BOUZON, Gustavo ; OLIVEIRA, Marcelo L de ; VALLIM, Marcos Banhetti ; LACOMBE, João P ; FREITAS, Gustavo ; CURY, José Eduardo ; FARINES, J. M. . CEBE: Uma plataforma para experimentação real aplicada ao ensino de sistemas a eventos discretos. In: Congresso Brasileiro de Automatica CBA 2004, 2004, Gramado (RS). Anais do CBA 2004, 2004. v. 2. p. 340-347.

58.
CANTÚ, Evandro ; FARINES, J. M. ; ANGOTTI, José André . Using Learning Theories for Education on the Web. In: Workshop on Technology Enhanced Learning TeL'04 co-located with the IFIP World Computer Conference (WCC2004), 2004, Toulouse (France). LNCS: Anais do TeL'04, 2004. v. 1. p. 55-67.

59.
CANTÚ, Evandro ; FARINES, J. M. ; ANGOTTI, José André . Using a Thematic Approach and Concepts Maps in Technological Courses. In: First International Conference on Concept Mapping CMC2004, 2004, Pamplona (Spain). Anais do CMC 2004, 2004. v. 1. p. 105-115.

60.
DIAZ, R. ; CAMPONOGARA, Eduardo ; FARINES, J. M. ; WILLRICH, R. ; CAMPESTRINI, A. . Using Lagrangean Relaxation to Improve Performance on IP Networks over MPLS. In: Colloque Francophone sur la Gestion des Réseaux et des Services GRES'2003, 2003, Fortaleza - Ce. Procceedings du GRES'2003, 2003. v. 1. p. 65-75.

61.
FARINES, J. M.; BERTHOMIEU, Bernard ; BODEVEIX, Jean Paul ; DISSAUX, Pierre ; FARAIL, Patrick ; FILALI, Mamoun ; GAUFILLET, Pierre ; HAFIDI, H. ; LAMBERT, Jean Luc ; MICHEL, Pierre ; VERNADAT, François . The Cotre Project: Rigorous Software Development dor Real Time Systems in Avionics. In: 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming - WRTP 2003, 2003, Lagów - Zielona Góra (Poland). Proceedings of WRTP 2003, 2003. v. 1. p. 51-56.

62.
DIAZ, R. ; CAMPONOGARA, Eduardo ; FARINES, J. M. ; WILLRICH, R. ; CAMPESTRINI, A. . Otimização Lagrangeana em Engenharia de Tráfego para Redes IP sobre MPLS. In: 21o Simpósio Brasileiro de Redes de Computadores - SBRC 2003, 2003, Natal (RN). Anais do SBRC 2003, 2003. v. 1. p. 430-445.

63.
DIAZ, R. ; CAMPONOGARA, Eduardo ; FARINES, J. M. ; WILLRICH, R. ; CAMPESTRINI, A. . Implementing Traffic Enginnering in MPLS-Based IP Networks with Lagrangean Relaxation. In: IEEE Symposium on Computers and Communications - ISCC 2003, 2003, Kemer - Antalya (Turkey). Proceedings of ISCC 2003, 2003. v. 1. p. 1032-1051.

64.
BERTHOMIEU, Bernard ; RIBET, Pierre Olivier ; VERNADAT, François ; BERNARTT, J. L. ; FARINES, J. M. ; BODEVEIX, Jean Paul ; FILALI, Mamoun ; PADIOU, G. ; MICHEL, Pierre ; FARAIL, Patrick ; GAUFILLET, Pierre ; DISSAUX, Pierre ; LAMBERT, Jean Luc . Towards the verification of real-time systems in avionics: the Cotre approach. In: 8th International Workshop on Formal Methods for Industrial Critical Systems - FMICS 03, 2003, Trondheim (Norway). Electronic Notes in Theorical Computer Science, 2003. v. 80. p. 201-216.

65.
MARTINS, Ricardo ; LEITE, C. A. B. ; FARINES, J. M. . Towards Quality Evaluation and Improvement of a MPEG Video Stream. In: 3rd IEEE Latin American Network Operations and Management Symposium - LANOMS 2003, 2003, Foz do Iguaçu. 3rd IEEE Latin American Network Operations and Management Symposium Proceedings, 2003. v. 1. p. 175-182.

66.
KOLIVER, Cristian ; FARINES, J. M. ; SANTIN, C. E. . Discussion and Preliminary Results of a Decentralized Scheme for Congestion Control. In: IX Simposio de Sistemas Multimidia e WEB - WEBMIDIA 2003, 2003, Salvador (Ba). Anais do WEBMIDIA 2003, 2003. v. 1. p. 50-65.

67.
BERTHOMIEU, Bernard ; BODEVEIX, Jean Paul ; FARINES, J. M. ; FILALI, Mamoun ; MICHEL, Pierre ; RIBET, Pierre Olivier ; VERNADAT, François . Projet COTRE: Développement Rigoureux de Logiciels dans les Systèmes Temps-Réel pour l'Avionique. In: XI Journées Formalisation des Activités Concurrentes - FAC 2003, 2003, Toulouse (France). Actes de FAC 2003, 2003. v. 1. p. 1-19.

68.
SEIBEL, C. W. ; FARINES, J. M. . A Formal Approach for Mission Planning and Control Unmanned Aircraft. In: 15th IFAC World Congress, 2002, Barcelona. Proceedings of the 15th IFAC World Congress. Barcelona (Spain): IFAC, 2002. v. CD.

69.
KOLIVER, Cristian ; FARINES, J. M. ; SANTIN, C. E. . Uma Abordagem Decentralizada para Controle de Qualidade de Serviço. In: VIII SBMIDIA, 2002, Fortaleza. Anais do VIII SBMIDIA, 2002. p. 235-243.

70.
ARAUJO, A. P. M. ; KRAUS JUNIOR, W. ; FARINES, J. M. . Sistema de Informação em Transportes baseado na National ITS Architecture. In: XVI Congresso Nacional de Pesquisa e Ensino em Transportes, 2002, Natal - RN. Anais do XVI ANPET. Rio de Janeiro: ANPET, 2002.

71.
CANTÚ, E. ; FARINES, J. M. . Ensino-Aprendizagem de Redes de Computadores: em Busca de uma Abordagem Metodológica Adaptada à Era da Internet. In: Workshop de Ensino da Informática WEI 2002, 2002, Florianopolis. Anais do WEI 2002. Florianopolis: Sociedade Brasileira de Computação, 2002.

72.
GAUFILLET, Pierre ; FARAIL, Patrick ; VERNADAT, François ; FARINES, J. M. ; DISSAUX, Pierre ; MICHEL, Pierre ; FILALI, Mamoun ; BODEVEIX, Jean Paul . COTRE - COmposants Temps REel. In: Journées du Réseau National des Technologies Logicielles RNTL, 2002, Toulouse (France). Actes des Journées RNTL 2002, 2002. p. 20-38.

73.
OLIVEIRA, R. S. ; FRAGA, J. S. ; FARINES, J. M. . Scheduling Imprecise Tasks in Real-Time Distributed Systems. In: 4th IEEE International Symposium on Object-oriented Real-time Distributed Computing - ISORC, 2001, Magdeburg. 4th IEEE International Symposium on Object-oriented Real-time Distributed Computing, 2001.

74.
KOLIVER, C. ; FARINES, J. M. . Um Controlador Nebuloso para Adaptação de QoS. In: 19 Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais 2001 - 19 Simpósio Brasileiro de Redes de Computadores. Florianópolis: Universidade Federal de Santa Catarina, 2001. v. I. p. 33-49.

75.
MORAES, A. ; FARINES, J. M. . Transmissão de vídeo sobre o serviço ABR/ATM para Aplicações de Vídeoconferência em Canais de Baixa Taxa de Bits. In: 19 Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais 2001 - 19 Simpósio Brasileiro de Redes de Computadores. Florianópolis: Universidade Federal de Santa Catarina, 2001. v. I. p. 402-416.

76.
LUNG, L. C. ; FRAGA, J. ; FARINES, J. M. ; OLIVIERA, J. S. . Experiências com comunicação de grupo nas especificações Fault Tolerant CORBA. In: 18o Simpósio Brasileiro de Redes de Computadores (SBRC, 2000, Belo Horizonte. 18o Simpósio Brasileiro de Redes de Computadores, 2000.

77.
KOLIVER, C. ; FARINES, J. M. ; FRAGA, J. S. ; REIS, H. L. . Um modelo para adaptação de QoS orientada ao usuário final. In: 18o Simpósio Brasileiro de Redes de Computadores (SBRC), 2000, Belo Horizonte. 18o Simpósio Brasileiro de Redes de Computadores (SBRC), 2000.

78.
BACHMANN, F. ; MARTINS, I. L. ; FARINES, J. M. . Endereçamento Multicast e Aplicações Multimídias Distribuídas na RMAV-FLN. In: II Workshop RNP2, 2000, Belo Horizonte. II Workshop RNP2, 2000.

79.
KOLIVER, C. ; FARINES, J. M. ; FRAGA, J. S. . Controle Dinâmico de Qos Baseado no Uso Do Protocolo RTCP e de Lógica Difusa. In: Simpósio Brasileiro de Sistemas Hipermídia e Multimídia - SBMIDIA, 2000, Natal. Simpósio Brasileiro De Sistemas Hipermídia E Multimídia, 2000.

80.
VALLIM, M. ; FARINES, J. M. ; CURY, J. E. . Developing Abstract Concepts and Professional Skills by Hands-On Approach in na Engineering Context. In: Proceedings International Conference On Engeneering And Computer Education ICECE 2000, 2000, São Paulo. Proceedings International Conference On Engeniering And Computer Education ICECE 2000, 2000.

81.
VALLIM, M. ; FARINES, J. M. ; Cury J.E.R. . 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. In: Congresso Brasileiro De Automática CBA 2000, 2000, Florianópolis. Congresso Brasileiro De Automática CBA 2000, 2000.

82.
FARINES, J. M.; MONTEZ, C. ; FRAGA, J. S. ; OLIVEIRA, R. S. . An Adaptative Scheduling Approach in Real-Time CORBA. In: ISORC?99, IEEE International Symposium on Object-oriented Real-time distributed Computing, 1999, Saint-Malo. Proceedings ISORC'99, 1999.

83.
MONTEZ, C. ; FRAGA, J. S. ; OLIVEIRA, R. S. ; FARINES, J. M. . Escalonamento Adaptativo usando Real-Time CORBA. In: 17° Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do 17° Simpósio Brasileiro de Redes de Computadores, 1999.

84.
LUNG, L. C. ; FRAGA, J. S. ; FARINES, J. M. . CosNamingFT ? Um Serviço de Nomes Tolerante a Falhas em Conformidade com o Padrão OMG. In: 17° Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do 17° SBRC, 1999.

85.
KOLIVER, C. ; FARINES, J. M. ; FRAGA, J. S. ; SANDRI, S. . Uma Abordagem para Adaptação de QoS em Aplicações Multimídias Distribuídas. In: SBMidia'99, 1999, Goiânia. Anais do SBMidia'99, 1999.

86.
MORAES, A. ; FARINES, J. M. . Uma Arquitetura para Sistemas de Teleconferência, Aplicados ao Ensino à Distância, para Ambientes Residenciais e SOHO. In: XXVº Conferencia Latinoamericana de Informática (CLEI'99), 1999, Assunção. Anais do CLEI'99, 1999.

87.
LUNG, L. C. ; FRAGA, J. S. ; FARINES, J. M. . CosNamingFT - A Fault-Tolerant CORBA Naming Service. In: 18th IEEE International Symposium on Reliable Distributed Systems - SRDS'99, 1999, Lausanne. Proceedings of 18th IEEE International Symposium on Reliable Distributed Systems - SRDS'99, 1999.

88.
FARINES, J. M.; FRITZKE JR, U. ; BACHMANN, F. ; FRAGA, J. S. . Projeto e Implementação de uma Aplicação Groupware com Editor Cooperativo de Objetos Gráficos e Talk Multi-usuário em Ambientes Distribuídos Heterogêneos. In: 16° Simpósio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro. Anais do 16° SBRC, 1998.

89.
FARINES, J. M.; FRAGA, J. S. ; MONTEZ, C. . Um Serviço de Tempo Global para Sistemas Distribuídos de Larga Escala. In: 16° Simpósio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro. Anais do 16° SBRC, 1998.

90.
FARINES, J. M.; MONTEZ, C. ; FRAGA, J. S. ; OLIVEIRA, R. S. . Extensões dos Padrões CORBA para Aplicações de Tempo Real. In: I Workshop Em Sistemas de Tempo Real, 1998, Rio de Janeiro. Anais do I Workshop Em Sistemas de Tempo Real, 1998.

91.
FARINES, J. M.; FURTADO, O. ; OLIVEIRA, R. S. . Suporte para Computação Imprecisa no Modelo Reflexivo Tempo Real- RTR. In: I Workshop Em Sistemas de Tempo Real, 1998, Rio de Janeiro. Anais I Workshop Em Sistemas de Tempo Real, 1998.

92.
FARINES, J. M.; BERTINI, L. ; WILLRICH, R. . Suporte para Aplicações Multimídia e Hipermídia MHEG-5 em um Ambiente Distribuído. In: II Workshop em Sistemas Distribuídos, 1998, Curitiba. Anais do II Workshop em Sistemas Distribuídos, 1998.

93.
FARINES, J. M.; Cury J.E.R. . Actividades de Investigación sobre Sistemas Híbridos en la Universidad Federal de Santa Catarina. In: WAIT?98 Workshop Argentino en Informática Teórica do IX Congresso Latino-Iberoamericano de Investigacion Operativa, 1998, Buenos Aires. Proceedings do WAIT'98, 1998.

94.
FARINES, J. M.; CAMARGO, M. S. ; MARTINS, R. F. ; SCHEFFEL, R. M. . Specification, Verification and Validation of Time-Dependent Systems using a Timed Process Algebra Approach. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais I Workshop Brasileiro de Métodos Formais, 1998.

95.
FARINES, J. M.; FURTADO, O. ; OLIVEIRA, R. S. ; FRAGA, J. S. . Implementação de Tarefas Imprecisas no Modelo Reflexivo Tempo Real RTR. In: XXIVo Conferencia Latinoamericana de Informática (CLEI'98), 1998, Quito. Anais do CLEI'98, 1998.

96.
FARINES, J. M.; SOUZA, W. L. ; ALMEIDA, M. J. B. ; CAMARGO, M. S. ; WILLRICH, R. ; SAMPAIO, P. N. M. ; SCHEFFEL, R. ; GASPARY, L. P. ; GRANVILLE, L. Z. ; DOMINGOS, M. . Design of Distributed Multimedia Applications (DAMD). In: IWCTAFM 98 International Workshop on Current Trends About Formal Methods, 1998, Boppard. Proceedings of IWCTAFM 98, 1998.

97.
FARINES, J. M.; FRAGA, J. ; FURTADO, O. . RTR Model: An Approach for Dealing with Real-Time Programming in Open Distributed Systems. In: WORDS?97, 1997. WORDS?97 Proceedings, 1997.

98.
FARINES, J. M.; FRAGA, J. ; SIQUEIRA, F. . A Reflective Framework for Distributed Applications in Open Systems. In: 2o Workshop CaberNet, 1997, Rennes, 1997.

99.
FARINES, J. M.; MEDINA, N. O. . Um Suporte para Aplicações Cooperativas Multimidias sobre Internet. In: WOMH?97, 1997, São Carlos. Anais do WOMH?97, 1997. p. 57-66.

100.
FARINES, J. M.; SEIBEL, C. W. . Formal Verification and Dimensioning of Flight Plans for Rotary-Wing Unmanned Aerial Vehicles. In: AUVSI?97, 1997, Baltimore, 1997.

101.
FARINES, J. M.; FRITZKE, U. . Modelagem e Implementação de Aplicações de Computação Cooperativa em Ambientes Distribuídos Heterogêneos. In: SEMISH'97, 1997, Brasília. Anais do SEMISH 97, 1997.

102.
FARINES, J. M.; SEIBEL, C. W. . O Uso de Autômatos Híbridos para Modelagem e Verificação Formal de Planos de Vôo de Aeronaves Não-Tripuladas. In: SBAI?97, 1997, Vitória. Anais do SBAI?97, 1997.

103.
FARINES, J. M.; SEIBEL, C. W. . Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. In: 5º Workshop on Hybrid Systems, 1997, Notre Dame, 1997.

104.
FARINES, J. M.; SOUZA, W. L. ; ALMEIDA, M. J. B. ; PIRES, L. F. ; CAMARGO, M. S. ; WILLRICH, R. ; COSTA, R. J. C. . Design de Aplicações Multimídia Distribuídas (DAMD). In: 2o Seminário Franco-Brasileiro em Sistemas Distribuídos, 1997, Fortaleza. Anais do 2º Seminário Franco-Brasileiro em Sistemas Distribuídos, 1997.

105.
FARINES, J. M.; FURTADO, O. ; FRAGA, J. . Explorando a Potencialidade e a Expressividade do Modelo Reflexivo Tempo Real RTR na Programação de Aplicações Tempo Real. In: Conferencia Latino-Americana de Informática CLEI?97, 1997, Valparaiso. Anais do Conferencia Latino-Americana de Informática CLEI?97, 1997.

106.
FARINES, J. M.; NISHIDA, D. ; FURTADO, O. ; FRAGA, J. . Um Prototipo do Modelo Reflexivo Tempo Real RTR sobre a Linguagem Java. In: Conferencia Latino-Americana de Informática CLEI?97, 1997, Valparaiso. Anais do Conferencia Latino-Americana de Informática CLEI?97, 1997.

107.
FARINES, J. M.; EYZELL, J. M. . Using Esterel for Building Synchronization Mechanisms in Multimedia Systems. In: PROMS-MmNet 97, 1997, Santiago, 1997.

108.
FARINES, J. M.; SIQUEIRA, F. ; FURTADO, O. ; FRAGA, J. . Implementação Distribuída de um Modelo Reflexivo Tempo-Real. In: I Workshop de Sistemas Distribuídos, 1996, Salvador. Anais do I Workshop de Sistemas Distribuídos, 1996.

109.
FARINES, J. M.; FONSECA, K. V. O. ; FRAGA, J. . Um Estudo Comparativo de Técnicas de Análise de Escalonabilidade em um Sistema de Comunicação Tempo-Real. In: XIV Simpósio Brasileiro de Redes de Computadores, 1996, Fortaleza. Anais do XIV Simpósio Brasileiro de Redes de Computadores, 1996.

110.
FARINES, J. M.; FRAGA, J. ; FURTADO, O. ; SIQUEIRA, F. . Programação de Aplicações Distribuídas Tempo-Real em Sistemas Abertos. In: XVI Congresso da SBC, 1996, Recife. Anais do XVI Congresso da SBC, 1996.

111.
FARINES, J. M.; FURTADO, O. . JAVA/RTR - Uma Linguagem Reflexiva para Programação de Aplicações Tempo-Real. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do I Simpósio Brasileiro de Linguagens de Programação, 1996.

112.
FARINES, J. M.; MARTINS, R. F. ; CAMARGO, M. S. . Uma Ferramenta para Auxílio no Processo de Verificação de Especificações em RT-LOTOS. In: X Simpósio Brasileiro de Engenharia de Software, 1996, São Carlos. Anais do X Simpósio Brasileiro de Engenharia de Software, 1996.

113.
FARINES, J. M.; FURTADO, O. ; SIQUEIRA, F. ; FRAGA, J. . A Reflective Model for Real-Time Applications in Open Distributed Systems. In: 21st IFAC/IFIP Workshop on Real-Time Programming, 1996, Gramado, 1996.

114.
FARINES, J. M.; KAESTNER, C. A. A. . From the Synchronous Approach to Hybrid Systems. In: 21st IFAC/IFIP Workshop on Real-Time Programming, 1996, Gramado, 1996.

115.
FARINES, J. M.; FRITZKE, U. . Um Suporte para Aplicações de Trabalho Cooperativo do Tipo Editor Distribuído. In: 13º Simpósio Brasileiro de Redes de Computadores, 1995, Belo Horizonte. Anais do 13º Simpósio Brasileiro de Redes de Computadores, 1995.

116.
FARINES, J. M.; KAESTNER, C. A. A. . A Real-Time Knowledge-Based System Using the Synchronous Approach. In: 7th Euromicro Workshop on Real-Time Systems, 1995, Odense, 1995.

117.
FARINES, J. M.; FRAGA, J. S. ; FURTADO, O. V. ; SIQUEIRA, F. . A Programming Model for Real-Time Applications in Open Distributed Systems. In: 5th Workshop in Future trends of Distributed Computing Systems, 1995, Cheju Island, 1995.

118.
FARINES, J. M.; FRITZKE, U. . A Support Platform for Distributed Editing. In: Cyted-Ritos International Workshop on Groupware CRIWG'95, 1995, Lisboa, 1995.

119.
FARINES, J. M.; CAMARGO, M. S. . Uma Abordagem Para Especificação e Verificação de Sistemas Dependentes do Tempo. In: IX Símpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do IX Símpósio Brasileiro de Engenharia de Software SBES'95, 1995.

120.
FARINES, J. M.; CAMARGO, M. S. . Tornando Lotos Apta para Especificar Sistemas de Tempo Real. In: 12º Simpósio Brasileiro de Redes de Computadores, 1994, Curitiba. Anais do 12º Simpósio Brasileiro de Redes de Computadores, 1994.

121.
FARINES, J. M.; FRAGA, J. S. ; FERRARI, A. . Um Núcleo de Tempo Real Síncrono Configuravel. In: 10º Congresso Brasileiro de Automática, 1994, Rio de Janeiro. Anais do 10º Congresso Brasileiro de Automática, 1994.

122.
FARINES, J. M.; FONSECA, K. V. O. . Uma Análise das Diversas Propostas de Atendimento dos Requisitos de Comunicação para Sistemas Tempo-Real. In: 11º Simpósio Brasileiro de Redes de Computadores, 1993, Campinas. Anais do 11º Simpósio Brasileiro de Redes de Computadores, 1993. p. 650-663.

123.
FARINES, J. M.; CAMARGO, M. S. . Uma Variante do Modelo LOTOS Básico com Tempo Estocástico para Especificação e Avaliação de Desempenho em Sistemas Distribuídos Dependentes do Tempo. In: 10º Simpósio Brasileiro de Redes de Computadores, 1992, Recife. Anais do 10º Simpósio Brasileiro de Redes de Computadores, 1992. p. 192-207.

124.
FARINES, J. M.; LEITE, M. M. . Uma Ferramenta para Integração ASN.1/Estelle. In: 10º Simpósio Brasileiro de Redes de Computadores, 1992, Recife. Anais do 10º Simpósio Brasileiro de Redes de Computadores. p. 35-49.

125.
FARINES, J. M.; JUANOLE, G. ; ATAMNA, Y. ; BERGÉ, N. . Modeling Time Critical Communication Networks With Stochastic Timed Petri Nets. In: International Workshop - Real Time Programming WRTP'92, 1992, Bruges, 1992. p. 143-148.

126.
FARINES, J. M.; Cury J.E.R. ; CARDOSO, J. . An FMS Coordination System: An Approach Based on High-Level Petri Net. In: International Symposium on Robotics, Mechatronics and Manufacturing Systems - RM2S'92, 1992, Kobe, 1992.

127.
FARINES, J. M.; SILVA, E. S. . Previsibilidade em um Mundo Não Determinista: Aplicações de Linguagens Síncronas na Programação de Sistemas de Tempo Real. In: 9º Congresso Brasileiro de Automática, 1992, Vitória. Anais do 9º Congresso Brasileiro de Automática, 1992. p. 477-482.

128.
FARINES, J. M.; Cury J.E.R. ; CARDOSO, J. . Um Sistema de Coordenação para Ambientes Fabris Baseado no Modelo Rede de Petri. In: 9º Congresso Brasileiro de Automática, 1992, Vitória. Anais do 9º Congresso Brasileiro de Automática, 1992. p. 1066-1071.

129.
FARINES, J. M.; CARDOSO, J. ; Cury J.E.R. . Specification and Implementation of an FMS Coordination System Based on High-Level Petri Net. In: International Workshop on Intelligent Manufacturing System - IMS'92, 1992, Michigan, 1992.

130.
FARINES, J. M.; PIMENTA, M. S. . Experiências Comentadas de Educação em Engenharia de Software. In: II Congresso Ibero-Americano de Educação Superior em Informática, 1992, Rio de Janeiro. Anais do II Congresso Ibero-Americano de Educação Superior em Informática, 1992. p. 79-88.

131.
FARINES, J. M.; MOECKE, M. . Árvore de Alcançabilidade para Redes Predicado/Transição: Um Método de Redução que preserva as Propriedades de Análise. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Anais do VI Simpósio Brasileiro de Engenharia de Software, 1992. p. 157-170.

132.
FARINES, J. M.; AGUIAR, M. W. C. . Methodology for Data Link Layer Performance Analysis of Fieldbus. In: FAIM'91 (Factory Automation and Information Management), 1991, Dublin, 1991. p. 561-570.

133.
FARINES, J. M.; WILLRICH, R. ; FRAGA, J. S. . Uma Proposta de um Modelo de Implementação do Padrão MMS numa Arquitetura Mini-MAP. In: 9º Simpósio Brasileiro de Redes de Computadores, 1991, Florianópolis. Anais do 9º Simpósio Brasileiro de Redes de Computadores, 1991. p. 358-371.

134.
FARINES, J. M.; KRAUS JR, W. ; BRUCIAPAGLIA, A. H. ; RICO, E. N. ; Cury J.E.R. . An Experiment in the Use of a Virtual Laboratory in Control Theory Teaching. In: Advances in Control Education Conference, 1991, Boston, 1991. p. 50-55.

135.
FARINES, J. M.; SILVA, R. P. E. . Uma Proposta para a Implementação de Modelos Baseados em Rede de Petri a Objetos. In: V Simpósio Brasileiro de Engenharia de Software, 1991, Ouro Preto. Anais do V Simpósio Brasileiro de Engenharia de Software, 1991. p. 193-206.

136.
FARINES, J. M.; GARNOUSSET, H. E. ; CANTÚ, E. ; KAESTNER, C. A. A. . A Manufacturing System Simulator Based on the Petri Net with Objects Model. In: 1990 European Simulation Multiconference, 1990, Erlangen-Nuremberg, 1990. p. 327-332.

137.
FARINES, J. M.; GARNOUSSET, H. E. ; CURY, J. E. ; CANTÚ, E. ; KAESTNER, C. A. A. . Simulation and Implementation Tools for Manufacturing Systems Modelled by Petri Net with Objects. In: International Conference CIM'90: Productique & Integrations CIM: Integration Aspects, 1990, Bordeaux. International Conference CIM'90: Productique & Integrations CIM: Integration Aspects (proceedings), 1990. p. 605-613.

138.
FARINES, J. M.; CANTÚ, E. ; GARNOUSSET, H. E. . Implementação de Especificações de Sistemas Descritos por Rede de Petri a Objetos. In: 8º Congresso Brasileiro de Automática, 1990, Belém. Anais do 8º Congresso Brasileiro de Automática, 1990. p. 599-604.

139.
FARINES, J. M.; SILVEIRA, J. L. ; WILLRICH, R. ; FRAGA, J. S. . Um Estudo da Utilização e Implementação do Padrão MMS. In: 1º Seminário sobre Redes de Comunicação Industrial, 1990, São Paulo. Anais do 1º Seminário sobre Redes de Comunicação Industrial, 1990.

140.
FARINES, J. M.; KRAUS JR, W. ; Cury J.E.R. ; RICO, J. E. N. ; BRUCIAPAGLIA, A. H. . Uma Experiência no Uso de um Laboratório Virtual para Ensino da Teoria de Controle. In: 1º Simpósio Brasileiro de Informática na Educação, 1990, Rio de Janeiro. Anais do 1º Simpósio Brasileiro de Informática na Educação, 1990. p. 188-202.

141.
FARINES, J. M.; AGUIAR, M. W. C. . Field-Bus: Análise Comparativa de Desempenho das Principais Propostas Candidatas à Padronização Internacional. In: 9º Seminário de Comando Numérico e Automatização Industrial & 5ª Jornada Internacional de Automatização Industrial, 1989, São Paulo. Anais do 9º Seminário de Comando Numérico e Automatização Industrial & 5ª Jornada Internacional de Automatização Industrial, 1989. p. 22.01-22.21.

142.
FARINES, J. M.; CANTÚ, E. ; GARNOUSSET, H. E. ; MAZIERO, C. A. . ARP: Uma Ferramenta para o Desenvolvimento de Software em Aplicações Distribuídas. In: 1o Seminário Franco-Brasileiro em Sistemas Distribuídos, 1989, Florianópolis. Anais do 1o Seminário Franco-Brasileiro em Sistemas Distribuídos, 1989. p. 73-79.

143.
FARINES, J. M.; FRAGA, J. S. ; SILVA, E. S. ; NACAMURA JR, L. ; ABREU, W. M. B. ; SOUZA, L. E. . ADES: Ambiente de Desenvolvimento e Execução de Software Distribuído. In: 1o Seminário Franco-Brasileiro em Sistemas Distribuídos, 1989, Florianópolis. Anais do 1o Seminário Franco-Brasileiro em Sistemas Distribuídos, 1989. p. 151-158.

144.
FARINES, J. M.; GARNOUSSET, H. E. ; CANTÚ, E. . Efficient Tools for Analysis and Implementation of Manufacturing Systems Modelled by Petri Net with Objects: A Production Rules Compilation-based Approach. In: IECON'89 15th Annual Conference of the IEEE Industrial Electronics Society, 1989, Philadelphia. IECON'89, 1989. p. 543-549.

145.
FARINES, J. M.; WILLRICH, R. ; LEMOS, R. S. N. . Análise de Dois Métodos para a Medição de Velocidade Angular de Motores. In: 7º Congresso Brasileiro de Automática, 1988, São José dos Campos. Anais do 7º Congresso Brasileiro de Automá-tica, 1988. p. 377-382.

146.
FARINES, J. M.; SAVI, V. M. ; CASTELAN NETO, E. B. ; BRUCIAPAGLIA, A. H. . Uma Visão sobre o Desenvolvimento de Pacotes de Projeto Assistido por Computador para Sistemas de Controle. In: 7º Congresso Brasileiro de Automática, 1988, São José dos Campos. Anais do 7º Congresso Brasileiro de Automática, 1988. p. 173-178.

147.
FARINES, J. M.; CUNHA, A. A. ; PERIN, A. J. ; BARBI, I. . Comando de um Inversor Trifásico com Modulação PWM Otimizada Utilizando-se Microprocessador. In: 7º Congresso Brasileiro de Automática, 1988, São José dos Campos. Anais do 7º Congresso Brasileiro de Automática, 1988. p. 435-440.

148.
FARINES, J. M.; SOUZA, L. E. ; SILVA, E. S. ; FRAGA, J. S. ; NACAMURA JR, L. . Um Sistema de Programação Distribuída para Aplicações em Tempo Real. In: 7º Congresso Brasileiro de Automática, 1988, São José dos Campos. Anais do 7º Congresso Brasileiro de Automática, 1988. p. 340-346.

149.
FARINES, J. M.; SAVI, V. M. ; CASTELAN NETO, E. B. ; BRUCIAPAGLIA, A. H. . Aspectos de Projeto e Implementação de um Software Interativo para Sistemas de Controle. In: IIIº Congresso Latino Americano de Automática, 1988, Santiago. Anais do IIIº Congresso Latino Americano de Automática, 1988. p. 273-278.

150.
FARINES, J. M.; MAZIERO, C. A. . Ambiente de Concepção de Software para Sistemas Distribuídos, baseado em Rede de Petri. In: IIº Simpósio de Engenharia de Software (SBES), 1988, Canela. Anais do IIº Simpósio de Engenharia de Software, 1988. p. 150-157.

151.
FARINES, J. M.; FRAGA, J. S. ; NACAMURA JÚNIOR, L. ; MAZZOLA, V. B. . Um Núcleo de Sistema Operacional Distribuído para Aplicações em Tempo Real. In: 5º Simpósio Brasileiro de Redes de Computadores, 1987, São Paulo. Anais do 5º Simpósio Brasileiro de Redes de Computadores, 1987. p. 426-437.

152.
FARINES, J. M.; LACERDA, P. N. ; KOMOSINSKI, L. J. . MINOS: Um Sistema Especialista para Auxílio à Operação de Subestações de Alta Tensão. In: 4º Simpósio Brasileiro de Inteligência Artificial, 1987, Uberlândia. Anais do 4º Simpósio Brasileiro de Inteligência Artificial, 1987. p. 39-49.

153.
FARINES, J. M.; PERIN, A. J. ; MAZZOLA, V. B. ; LEMOS, R. S. N. . Um Sistema Digital de Controle e Supervisão de um Variador de Velocidade com Motor de Indução Alimentado por um Inversor. In: 6º Congresso Brasileiro de Automática, 1986, Belo Horizonte. Anais do 6º Congresso Brasileiro de Automática, 1986. v. 1. p. 430-435.

154.
FARINES, J. M.; SAVI, V. M. ; BRUCIAPAGLIA, A. H. . Projeto Assistido por Computador para Sistemas de Controle: Um Pacote Interativo. In: 6º Congresso Brasileiro de Automática, 1986, Belo Horizonte. Anais do 6º Congresso Brasileiro de Automática, 1986. v. 1. p. 550-554.

155.
FARINES, J. M.; LACERDA, P. N. . Um Sistema Perito para Apoio à Operação de Subestações de Alta Tensão. In: 3º Simpósio Brasileiro de Inteligência Artificial, 1986, Rio de Janeiro. Anais do 3º Simpósio Brasileiro de Inteligência Artificial, 1986. p. 43-46.

156.
FARINES, J. M.; LEMOS, R. S. N. ; ANDRADE, L. F. B. . Metodologia para o Desenvolvimento de um Sistema de Aquisição de Dados e de Supervisão. In: XIº Conferência Latino-Americana de Informática, 1985, Porto Alegre. Anais do Vº Congresso da Sociedade Brasileira de Computação e XIº Conferência Latino-Americana de Informática, 1985. v. 1. p. 301-311.

157.
FARINES, J. M.; LEMOS, R. S. N. ; PINHO, A. N. ; CARNEIRO, A. M. ; OHARA, A. T. . Um Sistema de Aquisição de Dados e Supervisão para um Gaseificador de Madeira. In: 6º Seminário de Instrumentação do IBP, 1985, Rio de Janeiro. Anais do 6º Seminário de Instrumentação do IBP, 1985. p. 94-107.

158.
FARINES, J. M.; MAZZOLA, V. B. ; LEMOS, R. S. N. . Um Sistema Variador de Velocidade com Motor de Indução, Controlado por Microprocessadores. In: VI Congreso Chileno de Ingenieria Electrica, 1985. Anais do VI Congreso Chileno de Ingenieria Electrica, 1985. p. 247-252.

159.
FARINES, J. M.; STEMMER, M. R. . Desenvolvimento de um Monitor Multitarefas em Tempo Real para Microcomputadores com Sistema Operacional Standard Tipo CP/M. In: VI Congreso Chileno de Ingenieria Electrica, 1985. Anais do VI Congreso Chileno de Ingenieria Electrica, 1985. p. 463-468.

160.
FARINES, J. M.; STEMMER, M. R. . Projeto, Implementação e Exemplo de Aplicação de um Monitor Multitarefas em Tempo Real. In: 2º Congresso Nacional de Automação Industrial - CONAI, 1985, São Paulo. Anais do 2º Congresso Nacional de Automação Industrial, 1985. p. 476-482.

161.
FARINES, J. M.; MAZZOLA, V. B. . Estimação e Controle Numérico de Fluxo e Torque de um Motor de Indução Alimentado em Tensão. In: LATINCON'84, 1984. LATINCON'84.

162.
FARINES, J. M.; CARDOSO FILHO, M. ; VIEIRA, M. . Sistema de Comando por Microprocessador de um Inversor Trifásico PWM. In: 1º Congresso Latino-Americano de Automática, 1984, Campina Grande. Anais do 5º Congresso Brasileiro de Automática, 1984. p. 704-709.

163.
FARINES, J. M.; ZENI JR, N. ; FERNANDES, N. C. ; STEMMER, M. R. ; CASTELAN NETO, E. B. ; HAPPEL, F. P. ; BARBOSA, J. . Ensino Assistido por Computador: Análise e Projeto de Sistemas de Controle por Microcomputador. In: 1º Congresso Latino-Americano de Automática, 1984, Campina Grande. Anais do 5º Congresso Brasileiro de Automática, 1984. p. 395-401.

164.
FARINES, J. M.; CARDOSO FILHO, M. ; VIEIRA, M. . Commande et Surveillance par Microprocesseur d'un Onduleur Triphasé à Modulation de Largeur d'Impulsion. In: Colloque International sur la Commande et la Regulation Numeriques des Machines Elec-triques, 1983, Toulouse. CONUMEL'83, 1983. v. II. p. 9-15.

165.
FARINES, J. M.; CARDOSO FILHO, M. ; FERREIRA FILHO, A. ; CUNHA, J. A. B. ; PHILIPPI, P. C. . A Microprocessador-Based System for Monitoring Building Thermal Behavior. In: International Symposium - Energy and Enrivonmental Systems, 1983, Atenas. Proceedings of the International IASTED Symposium EES'83 - Energy and Enrivonmental Systems, 1983. p. 102-105.

166.
FARINES, J. M.; CARDOSO FILHO, M. . Variable Speed PWM Inverter - Fed Induction Motor Drive Using Microcomputer. In: International Symposium: Mini and Microcomputers and their applications, 1983, San Antonio. Proceedings of the 23rd ISMM International Symposium: Mini and Microcomputers and their applications, 1983. p. 81-85.

167.
FARINES, J. M.; BRUCIAPAGLIA, ·. A. H. . Um Método Sistemático de Projeto de Reguladores em Cascata para Variadores de Velocidade. In: Congresso Brasileiro de Automática, 1982, Campinas. Anais do 4º Congresso Brasileiro de Automática, 1982. p. 394-399.

168.
FARINES, J. M.; CARDOSO Fº, M. ; ANDRADE, L. F. B. . Un Ejemplo Aplicado a la Ingienieria de Ensenza Assitida por Microcomputadora. In: VIIIº Simposio Nacional de Control Automatico AADECA, 1982, Buenos Aires, 1982.

169.
FARINES, J. M.; CARDOSO Fo, M ; AZEVEDO, F. M. ; CUNHA, S. . Projecto y Realización de un Sistema de Adquisición de Datos com Microprocessadora para Control de Processos. In: VIIIº Simposio Nacional de Control Automatico AADECA, 1982, Buenos Aires, 1982.

170.
FARINES, J. M.; FORNELL, ·. B. ; HAPIOT, J. C. . Numerical Estimation of the Speed of an Asynchronous Machine Suppled by a Static Converter. In: Annual Meeting IEEE-IAS, 1979, Cleveland, 1979.

Resumos expandidos publicados em anais de congressos
1.
FARINES, J. M.; DE QUEIROZ M.H. ; DE SOUZA M.F. ; CARPES A. M. M. ; VERNADAT, F. . Modeling and Verification of PLC Programs by using FIACRE Tool Chain. In: Topcased Days 2011, 2011, Toulouse (France). First Topcased Days, 2011. p. 1-2.

Apresentações de Trabalho
1.
FARINES, J. M.. Sistemas Tempo Real: Aspectos da sua Concepção. 1995. (Apresentação de Trabalho/Seminário).

2.
FARINES, J. M.. Questões de Tempo Real nos Sistemas Informáticos e Aspectos de sua Modelização. 1993. (Apresentação de Trabalho/Outra).


Produção técnica
Trabalhos técnicos
1.
FARINES, J. M.. Projeto Protem-RNP Rede Metropolitana de Alta Velocidade de Florianópolis. 1998.

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

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

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

5.
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.

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

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

8.
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.

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


Demais tipos de produção técnica
1.
FARINES, J. M.; CURY, J. E. . Coordenação de Sistemas Multi-robôs. 2011. (Minicurso).

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



Eventos



Organização de eventos, congressos, exposições e feiras
1.
FARINES, J. M.; BECKER L. B. ; CARRO, L. ; Olivero A. . 4th ARTIST2 South-American School for Embedded Systems 2010. 2010. (Outro).

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

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

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



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Felipe da Silva Lázaro. 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.

2.
Luiz Paulo Enádio dos Reis. 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.

3.
Hallan William Veiga. 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.

4.
Ângelo dos Santos Melo. 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.

5.
Luis Gustavo Perpetuo Costa Marques. 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.

6.
Ezequiel Conte. 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.

7.
Victor Boeing Ribeiro. 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.

8.
Thiago Javaroni Prati. 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.

9.
Israel Simas. 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.

10.
José Gilmar Nunes de Carvalho Filho. 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.

11.
Jonatas Pavei. 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.

12.
Rafael Garlet de Oliveira. 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.

13.
Mateus Feijó de Souza. 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.

14.
Rodrigo Tacla Saad. 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.

15.
Ricardo Bedin França. 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.

16.
Augusto Castelan Carlson. 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.

17.
Adriano Correa Naspolini. 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.

18.
Samuel Bernardi. 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.

19.
Ana Paula Martins de Araujo. 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.

20.
Fabiano Bachmann. 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.

21.
Renato Donizete Vilela de Oliveira. 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.

22.
Marcos Banhetti Rabello Vallim. 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.

23.
Hallthmann Lima dos Reis. 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.

24.
L. 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.

25.
Adilson Guelfi. 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.

26.
N. 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.

27.
Damian Rodriguez Sanchez. 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.

28.
José Miguel Eyzell Gonzáles. 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.

29.
R.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.

30.
Iberê Locks Lima. 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.

31.
D. 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.

32.
U. 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.

33.
A. 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.

34.
M.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.

35.
R. 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.

36.
M. 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.

37.
J.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.

38.
W. 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.

39.
E. 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.

40.
C.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.

41.
R. 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.

42.
M.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.

43.
E.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.

44.
A.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.

45.
Alexandre D'Avila da Cunha. 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.

46.
L.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.

47.
V.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.

48.
P.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.

49.
V.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.

50.
M.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.

Tese de doutorado
1.
Giovani Pieri. 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.

2.
José Gilmar Nunes de Carvalho Filho. 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.

3.
Delcino Picinin Junior. 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.

4.
Fabio Rafael Segundo. 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.

5.
Rosane Fátima Passarini. 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.

6.
Eduardo Cambruzzi. 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.

7.
Rafael Cabral Melo. 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.

8.
Eraldo Silveira e Silva. 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.

9.
Marcos Banheti Rabello Vallim. 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.

10.
Carlos Alberto Brandão Leite. 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.

11.
Evandro Cantú. 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.

12.
Roberto Dias. 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.

13.
Cristian Koliver. 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.

14.
Conrado Werner Seibel. 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.

15.
K.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.

16.
O.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.

17.
M.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.

18.
C.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.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 3:13:20