Jorge Lopes de Souza Leão

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

Centro de Tecnologia

Unidade:

Coordenação dos Programas de Pós-Graduação de Engenharia

Departamento:

Programa de Engenharia Elétrica/COPPE

ORCID:

não disponível no Lattes


Formação:

  • Université Toulouse III Paul Sabatier

    Automatique | Doutorado | 1980 - 1983

  • Universidade Federal do Rio de Janeiro

    UFRJ COPPE-PEE Programa de Engenharia Elétrica | Mestrado | 1973 - 1978

  • Universidade Federal do Rio de Janeiro

    Engenheiros Eletrônicos | Graduação | 1968 - 1972
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:

(0.00% eventos com DOI)

Titulo DOI Ano
Utilização da Lógica Difusa na Detecção da Intrusão 2004
An integrated toolset for the design of protocols with QoS requirementes (ProtCAD/RT) 2000
Uma Técnica com Lógica Nebulosa para Verificação de um Protocolo de Gerência Hierárquica de Redes 1998
Uma Técnica com Lógica Nebulosa para Verificação de sistemas distriuídos 1998
Integrating CCS and Z languages for specifying distributed systems 1997
A Formal Technique For Specification And Verification Of Distributed Systems And Its Application In Manufacturing Automation 1994
Especificando Software de Telecomunicações Em Z Com Agentes 1994
Especificando Protocolos Em Z Com Agentes 1994
A Partial Reachability Graph Generation Technique for the Verification of ESTELLE* Specifications 1993
Formal Methods for the Specification and Verification of Distributed Systems 1992
Definição de uma Lógica Temporal para Verificação de programas CRIS 1992
O verificador de um sistema de auxílio ao projeto de protocolos 1992
Especificação e verificação formal de uma célula flexível de montagem 1992
Csp*: Um Dialeto Csp e Sua Aplicacao A Especificacao de Protocolos. 1991
Uma Ferramenta Para Verificacao Automatica de Programas Concorrentes Com Aplicacao Em Automacao Industrial 1990
A State Based Language For Discrete Control And The Verification Of Its Programs 1989
Uma Ferramenta Para Verificacao Automatica de Programas Concorrentes 1989
A Analise de Programas Cris Atraves Redes de Petri 1989
Linguagens Para Especificao de Sistemas Distribuidos Em Automacao Industrial 1987
Simulation Numerique Pe La Commande D'Un Profil Thermique Spatio-Temporel Dans Un Reacteur D'Epitaxie. 1983
Automatic Sequencer For The Control Of A Liquid Phase Epitaxy Furnace 1982
Analise de Capacitores Mos 1979
Estudo de Um Sistema de Classificacao Para Instrumentos de Medidas 1979
Controle Digital do Perfil de Temperatura de Um Forno de Difusao 1977
Publicações:
Minha Rede: