Miguel Menasche

Possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro(1971), mestrado em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro(1974) e doutorado em Automatique pela Université Toulouse III Paul Sabatier(1982). Atualmente é Adjunto 2 do Instituto Nacional de Telecomunicações. Tem experiência na área de Engenharia Elétrica, com ênfase em Telecomunicações. Atuando principalmente nos seguintes temas:Processamento paralelo, Redes de Petri, Redes de Petri com Temporizações, Protocolos de Comunicação, Modelagem de Sistemas Concorrentes e Verificação de Sistemas Concorrentes.

Informações coletadas do Lattes em 23/11/2023

Acadêmico

Formação acadêmica

Doutorado em Automatique

1977 - 1982

Université Toulouse III Paul Sabatier
Título: Analyse des Réseaux de Petri Temporisés et Application aux Systèmes Distribués".
Orientador: Pierre Azema
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Processamento paralelo; Redes de Petri; Redes de Petri com Temporizações; Protocolos de Comunicação; Modelagem de Sistemas Concorrentes; Verificação de Sistemas Concorrentes. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática.

Mestrado em Engenharia Elétrica

1972 - 1974

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Orientador: Michel Brunet
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Tolerância à Falhas; Sistema de Testes; Assinatura de Falhas.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. Setores de atividade: Informática.

Graduação em Engenharia Elétrica

1967 - 1971

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

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

Francês

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

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Protocolos e Redes de Telecomunicações.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

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

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

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

Participação em bancas

Aluno: Valter Schastai

MENASCHE, M.; KUNZLE, L. A.; LUDERS, R.. Métodos de Análise para Redes de Petri Temporais. 2003. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Wiliam Hiroshi Hisatugu

MENASCHE, M.; GARCIA, A. S.; BONATI, I. S.. Proposta de Especificação Funcional para Construção de um Gateway SIP/Ipv6 para Obter Suporte à Modalidade em Redes IP.. 2002. Dissertação (Mestrado em Pós Graduação - Mestrado) - Instituto Nacional de Telecomunicações.

Aluno: Enrique Vinicio Carrera E

MENASCHE, M.; LEITE, J. C. B.; LOQUES FILHO, O.. Implementação de uma Metodologia para a Construção de Sistemas Distribuídos Configuráveis sobre PVM. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo Maranhão Estellita

MENASCHE, M.. Estudo de Critérios de Escalonamento em Ambiente Multiprogramado sob Restrições de Repartições de Recursos. 1994. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Luiz André Barroso

MENASCHE, M.. Uma Metodologia para Análise de Desempenho de Aplicações Científicas em Multiprocessadores. 1989. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Helano de Souza Castro

MENASCHE, M.. Um Microcomputador Tolerante a Falhas para Controle em Tempo-Real. 1985. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Leonardo Coutinho Massarani

MENASCHE, M.. Integração de Serviços de Voz de uma Rede Local de Computadores. 1985. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo Lima Barreto

MENASCHE, M.. Interface Microprogramada para uma Rede Local em Barra Comum. 1984. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Fernando Elyas Nobrega Nasser

MENASCHE, M.. Uma Nova Arquitetura para Monitores de Hardware. 1983. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Luiz Maltar Castello Branco

MENASCHE, M.. Verificação de Corretude de Programas CRIS Utilizando Lógica Temporal. 1981. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Luciano Sergio Brito Nicolau da Costa

MENASCHE, M.. Teste Funcional do Micro-02. 1976. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Alexandre Plastino de Carvalho

MENASCHE, M.; RIBEIRO, C. C.; RODRIGUEZ, N. L. R.; LUCENA, C. J. P.; OCHI, L. S.; DANTAS, M. A. R.; CARVALHO, O. S. F.. "Balanceamento de Carga em Aplicações Paralelas SPMD. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Orientou

Marcos Gilton Miranda Martins

Modelagem e Análise Formais de Protocolos SCTP, através de redes de Petri Coloridas; Início: 2003; Dissertação (Mestrado em Pós Graduação - Mestrado) - Instituto Nacional de Telecomunicações; (Orientador);

Florence de C

Campos; Modelagem e estudo de protocolos ATM por redes de Petri; Início: 2003; Dissertação (Mestrado em Pós Graduação - Mestrado) - Instituto Nacional de Telecomunicações; (Orientador);

Guilherme Augusto Barucke Marcondes

Estudo de Simetrias em Redes de Petri; Início: 2003; Dissertação (Mestrado em Pós Graduação - Mestrado) - Instituto Nacional de Telecomunicações; (Orientador);

Leandro Spínola Rodrigues

Estudo Sobre o Emprego de Redes de Petri Aplicadas à Modelagem de Protocolos de Comunicação e o Desenvolvimento de um Programa para Edição, Simulação e Análise de Redes de Petri,; Início: 2003; Iniciação científica (Graduando em Engenharia de Telecomunicações) - Instituto Nacional de Telecomunicações, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; (Orientador);

Luiz Alberto da Silva Cardoso

Análise de Modelos Plásticos de Redes Neurais para o Processamento de Sinais; 1992; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Miguel Menasche;

Giovanni Cordeiro Barroso

Um Estudo Sobre Redes de Petri Coloridas e um Programa de Análise de Redes de Petri Coloridas - ANARCO; 1987; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Miguel Menasche;

Mário Mauricio Fiallos Aguiar

Um Estudo e uma Proposta de um Sistema Multiprocessador com Organização de Memória Multiportas Simulada Através de Memórias Rápidas; 1985; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Miguel Menasche;

Bruno de Carvalho Tapajós Gomes

Depuração do programa ANARCO; 1999; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Otávio Rezende da Silva

Simulador para o processador Data Flow upD 7281 da NEC - dfSim; 1998; Iniciação Científica - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Rafael Donnici de Azevedo

Desenvolvimento do módulo de análise léxica para a linguagem PENELOPE no programa ANARCO; 1997; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Pedro Paulo de M

Oliveira Junior; Obtenção de Invariande de lugares em Redes de Petri Coloridas - Projeto ANARCO; 1997; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Eliane Correia da Silva

Estudo de redes de Petri estocásticas para implementação de algorítmos no projeto AESOP; 1997; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Bianca Zadrozny

Desnvolvimento do módulo de visualização da Árvorede Alcançabilidade do projeto ANARCO; 1997; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Eduardo André Vaena

Desenvolvimento de uma página na WEB ,explicativa sobre parâmetros temporais em redes de Petri; 1997; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Fabiano Marinho Carneiro da Cunha

Projeto de um analisador, editor e simulador de redes de Petri - Projeato AESOP - em ambientes SUN e Windows 3; 1; 1996; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Denis Maciel Maia

Continuação do Projeto DataFlow; 1995; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Rodrigo Cardoso Ventura

Visualização sob forma gráfica da Árvore de alcançabilidade em PAREDE; 1995; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Rodolfo Araújo de Azevedo Lima

Continuação do projeto PAREDE; 1994; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Maurício Cabus Müller

Realização de uma interface gráfica para os programas ANARCO e PAREDE e módulo de Impressão Gráfica; (Projeto GraPETRI); ; 1993; Iniciação Científica - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Artur Alves Pessoa

Continuação do projeto ANARCO; ; 1993; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Edgard de Alcântara

Complementação do editor gráfico para redes e Petri em ambiente DOS - graPetri; 1993; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Cláudia de Andrade Tocantins

Implementação da visualização da árvore de alcançabilidade no projeto ANARCO; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Claudio Monken

Complementação do programa PAREDE; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Débora Christina Muchaluat

Continuação e Implementação do projeto GraPETRI; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Hélio Marcos de Faria Guimarães

Continuação do projeto ANARCO (Módulos de análise por Invariantes e por Redução; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Alexandre Nigri

Desenvolvimento de um montador assembler para o microprocessador uPD 7281; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Miguel Menasche;

Marcus Vinicius Itala Ferreira

Projeto e desenvolvimento de um montador assembler para o processador data flow uPD 7281; 1992; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Gilson Alexandre Ostwald Pedro da Costa

Primeira Interface amigável ao usuário para o programa ANARCO de Análise de Redes de Petri Coloridas; 1991; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Marcelo Vilaça Marques da Silva

Primeira Interface amigável ao usuário para o programa ANARCO de análise de redes de Petri Coloridas; ; 1991; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Miguel Menasche;

Átila Leão Flores Xavier

Construção de uma placa processadora "data flow"; ; 1991; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Ana Lúcia Araújo de Faria

Interface DOS Amigável para o Programa PAREDE de Análise de Redes de Petri com Temporizações; 1988; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Miguel Menasche;

Arnaldo Treiger

Realização de um programa de Interface entre os programas OGIVE e PAREDE; ; 1986; Iniciação Científica; (Graduando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro; Orientador: Miguel Menasche;

Produções bibliográficas

MENASCHE, M. ; CARDOSO, L. A. S. . Aplicação de Modelos Plásticos de Redes Neurais ao Processamento de Sinais e ao Reconhecimento de Padrões. Pesquisa Naval Suplemento da Revista Marítima Brasileira, Rio de Janeiro, v. 6, p. 129-144, 1993.
MENASCHE, M. . Understanding Sliding-Window Flow Control Protocols Through The Use Of Colored Petri Nets. In: Brazilian Petri Net Meeting, 2002, Natal. Brazilian Petri Net Meeting, 2002.
MENASCHE, M. ; MAIA, D. M. . A Friendly Data Flow Programming Environment. In: Segunda Conferência Internacional em Software for Multiprocessors and Supercomputers, Theory, Practice, Experience, 1994, Moscou. Proceedings of the Second International Conference on Software for Multiprocessors and Supercomputers, Theory, Practice, Experience.. Moscou: Institute for System Programming of the Russian Academy of Sciences, 1994. p. 270-279.
MENASCHE, M. ; MAIA, D. M. . Um Ambiente de Programação Data Flow. In: V Simpósio Brasileiro de Arquiteturas de Computadores - Processadores de Alto Desempenho, 1993, Florianópolis. Anais do V Simpósio Brasileiro de Arquiteturas de Computadores - Processadores de Alto Desempenho. Florianópolis: Imprensa Universitária - Universidade Federal de Santa Catarina, 1993. v. I. p. 275-289.
MENASCHE, M. ; CARDOSO, L. A. S. . Aplicação de Modelos Plásticos de Redes Neurais ao Processamento de Sinais e ao Reconhecimento de Padrões. In: IX Simpósio Brasileiro de Inteligência Artificial, 1992, Rio de Janeiro. Anais do IX Simpósio Brasileiro de Inteligência Artificial, 1992. p. 325-338.
MENASCHE, M. . PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. In: International Workshop on Timed Petri Nets, 1985, Turim. International Workshop on Timed Petri Nets. Los Angeles: IEEE Computer Society, 1985. p. 162-169.
MENASCHE, M. . Introdução à Especificação e Verificação Formais de Protocolos de Comunicação Dependentes do Tempo por Redes de Petri com Temporização.. In: IV Congresso da SBC, XI SEMISH, 1984, Viçosa. Anais do IV Congresso da SBC, XI SEMISH Vol. I. Viçosa: Imprensa Universitária, 1984. v. 1. p. 31-44.
BERTHOMIEU, B. ; MENASCHE, M. . An Enumerative Approach for Analyzing Time Petri Nets. In: Information Processing 83, IFIP - Ninth World Congress, 1983, Paris. Proceedings of the IFIP 9th World Computer Congress. Amsterdam: Elsevier Science Publishers B.V North Holland, 1983. v. 9. p. 41-46.
MENASCHE, M. ; BERTHOMIEU, B. . Time Petri Nets for Analysing and Verifying Time Dependent Protocols. In: Third International Workshop on Protocol Specification, Testing and Verification, 1983, Zurich. Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification. Amsterdam: Elsevier Science Publishers B.V. North-Holland, 1983. p. 161-172.
BERTHOMIEU, B. ; MENASCHE, M. . A State Enumeration Approach For Analysing Time Petri Nets. In: Third European Workshop on Applications and Theory of Petri Nets, 1982, Varena. Third European Workshop on Applications and Theory of Petri Nets, 1982.
VALETTE, R. ; MENASCHE, M. ; LATAPIE, G. . Monitors, Petri Nets and Error Confinements. In: Tenth International Symposium on Fault Tolerant Computing, 1980, Kyoto. Tenth International Symposium on Fault Tolerant Computing, 1980.
MENASCHE, M. ; PESSOA, A. A. . Uma Ferramenta para Geração e Descrição de Redes de Petri Coloridas, com Temporização e Estocásticas. In: VII Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. Caderno de Ferramentas do VII Simpósio Brasileiro de Engenharia de Software, 1993. p. 5-7.
MENASCHE, M. ; CUNHA, F. M. C. . AESOP - Analisador, Editor Simulador de Redes de Petri. In: VII Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. Caderno de Ferramentas do VII Simpósio Brasileiro de Engenharia de Software, 1993. p. 9-10.
MENASCHE, M. ; MAIA, D. M. . dfSim - Simulador/Depurador Data Flow. In: VII Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. Caderno de Ferramentas do VII Simpósio Brasileiro de Engenharia de Software, 1993. p. 11-13.
MENASCHE, M. ; CARDOSO, L. A. S. . ANANAS - Uma Ferramenta para Processamento de Sinais com Redes Neurais Plásticas. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Caderno de Ferramentas do VI Simpósio Brasileiro de Engenharia de Software, 1992. p. 3-4.
NIGRI, A. ; FERREIRA, M. V. Í. ; MENASCHE, M. . MAD, Montador Assembly Data Flow. In: X Congresso de Iniciação Científica, 1991, São Carlos. Anais do X Congresso de Iniciação Científica, 1991.
MÜLLER, M. C. ; MUCHALUAT, D. C. ; MENASCHE, M. . GraPETRI - Editor Gráfico de Redes de Petri.. In: X Congresso de Iniciação Científica e Tecnológica em Engenharia., 1991, São Carlos. Anais do X Congresso de Iniciação Científica e Tecnológica em Engenharia., 1991.
MONKEN, C. ; SOARES, D. E. ; FARIA, A. L. A. ; MENASCHE, M. . PAREDE, Analisador de Redes de Petri com Temporizações - (V.2.06). In: X Congresso de Iniciação Científica e Tecnológica em Engenharia., 1991, São Carlos. Anais do X Congresso de Iniciação Científica e Tecnológica em Engenharia., 1991.
COSTA, G. A. O. P. ; SILVA, M. V. M. ; GUIMARÃES, H. M. F. ; MENASCHE, M. . ANARCO V2.00 - Analisador de Redes de Petri Coloridas. In: X Congresso de Iniciação Científica e Tecnológica em Engenharia, 1991, Sào Carlos. Anais do X Congresso de Iniciação Científica e Tecnológica em Engenharia, 1991.
MENASCHE, M. . Time Petri Nets and the Design of Real Time Systems. In: EURO-X, 10th European Conference on Operational Research, 1989, Belgrado. EURO-X, 10th European Conference on Operational Research, 1989.
GOMES, S. O. ; MENASCHE, M. . Simulador de Memória Associativa e Suas Aplicações. In: III Congresso de Iniciação Científica e Tecnológica em Engenharia., 1984, São Carlos. Anais do III Congresso de Iniciação Científica e Tecnológica em Engenharia., 1984.
SILVA, O. R. ; MENASCHE, M. . Projeto de um Simulador/Depurador como instrumento de estudo aplicado a uma arquitetura dataflow. 1998 (Nota Interna).
MENASCHE, M. . Parâmetros Temporais em Redes de Petri. 1997 (Nota Interna).
LIMA, R. A. A. ; MENASCHE, M. . Reinicialização e Vivacidade em Redes de Petri com Simetria Circular 1994 (Nota Interna).
DEVY, M. ; SHAPIRO, M. ; MENASCHE, M. ; DIAZ, M. . A Fault Tolerant Virtual Ring Algorithm for Bus Allocation 1980 (Nota Interna).

Outras produções

MENASCHE, M. ; SILVA, O. R. . dfSim. 1998.

MENASCHE, M. ; COSTA, G. A. O. P. ; SILVA, M. V. M. ; TOCANTINS, C. A. ; GUIMARÃES, H. M. F. ; PESSOA, A. A. ; AZEVEDO, R. D. ; OLIVEIRA JUNIOR, P. P. M. ; ZADROZNY, B. ; BARROSO, G. C. . ANARCO - Analisador de redes de Petri Coloridas. 1997.

MENASCHE, M. ; CUNHA, F. M. C. . AESOP - Analisador, Editor e Simulador de Redes de Petri. 1996.

MENASCHE, M. ; FARIA, A. L. A. ; MONKEN, C. ; VALLE, C. R. ; LIMA, R. A. A. ; VENTURA, R. C. . PAREDE - Programa de Análise de Redes de Petri com Temporizações. 1995.

MENASCHE, M. ; MÜLLER, M. C. ; MUCHALUAT, D. C. ; ALCÂNTARA, E. . GraPetri - Interface Gráfica para os programas PAREDE e ANARCO. 1994.

MENASCHE, M. ; GARCIA, A. E. ; OLIVEIRA NETO, F. P. . TecDig . 1991.

MENASCHE, M. ; MONTEIRO FILHO, E. ; XAVIER, Á. L. F. . Placa Processadora Data Flow. 1991.

MENASCHE, M. . Técnicas Recentes para o Aumento de Desempenho em Microprocessadores. 2000. (Desenvolvimento de material didático ou instrucional - Notas de Aulas).

MENASCHE, M. . Técnicas Digitais. 1999. (Desenvolvimento de material didático ou instrucional - Notas de Aulas).

MENASCHE, M. . Computadores Digitais. 1996. (Desenvolvimento de material didático ou instrucional - Notas de Aulas).

MENASCHE, M. . Arquiteturas não Convencionais. 1995. (Desenvolvimento de material didático ou instrucional - Notas de Aulas).

MENASCHE, M. . Redes de Petri. 1995. (Desenvolvimento de material didático ou instrucional - Notas de Aulas).

Prêmios

1992

Primeiro lugar no Concurso de Teses e Dissertações pela orientação da Tese de Mestrado do aluno Luiz Alberto Lisboa da Silva Cardoso, intitulada Análise de Modelos Plásticos de Redes Neurais para o Processamento de Sinais., Sociedade Brasileira de Computação.

1992

Professor homenajeado, formandos de Engenharia Elétrica e de Computação da PUC-Rio, turma de agosto de 1992.

Histórico profissional

Endereço profissional

Instituto Nacional de Telecomunicações, Departamento de Telecomunicações - DTE. , Avenida João de Camargo, 510, INATEL, 37540-000 - Santa Rita do Sapucai, MG - Brasil - Caixa-postal: 05, Telefone: (35) 34719245, Ramal: 245, Fax: (35) 34719314, URL da Homepage:

Experiência profissional

2001 - Atual

Instituto Nacional de Telecomunicações

Vínculo: Professor, Enquadramento Funcional: Adjunto 2, Carga horária: 40

Atividades

02/2002
Outras atividades técnico-científicas , Departamento de Telecomunicações - DTE, .,Atividade realizada, Estudo Dirigido para o Aluno Leandro Spínola Rodrigues.
02/2001
Pesquisa e desenvolvimento , Departamento de Telecomunicações - DTE, .,Linhas de pesquisa
02/2003 - 07/2003
Ensino, Pós Graduação - Mestrado, Nível: Pós-Graduação,Disciplinas ministradas, TP-505 Redes de Petri, TP-508 Introdução às Redes de Telecomunicações
08/2002 - 12/2002
Ensino, Pós Graduação - Mestrado, Nível: Pós-Graduação,Disciplinas ministradas, TP-508 Introdução às Redes de Telecomunicações
02/2002 - 07/2002
Ensino, Engenharia de Telecomunicações, Nível: Graduação,Disciplinas ministradas, E-504B Eletrônica Digital I
02/2002 - 07/2002
Ensino, Pós Graduação - Mestrado, Nível: Pós-Graduação,Disciplinas ministradas, TP-508 Introdução às Redes de Telecomunicações, TP-505 Redes de Petri
02/2002 - 07/2002
Outras atividades técnico-científicas , Departamento de Telecomunicações - DTE, .,Atividade realizada, Florence de Castro Campos.
08/2001 - 12/2001
Ensino, Engenharia de Telecomunicações, Nível: Graduação,Disciplinas ministradas, M-125A Computação I
08/2001 - 12/2001
Ensino, Pós Graduação - Mestrado, Nível: Pós-Graduação,Disciplinas ministradas, TP-508 Introdução às Redes de Telecomunicações, TP-505 Redes de Petri
08/2001 - 12/2001
Outras atividades técnico-científicas , Departamento de Telecomunicações - DTE, .,Atividade realizada, Estudo Dirigido do Aluno Marcus Gilton.
02/2001 - 07/2001
Ensino, Engenharia de Telecomunicações, Nível: Graduação,Disciplinas ministradas, M-125A Computação I
02/2001 - 07/2001
Ensino, Pós Graduação - Mestrado, Nível: Pós-Graduação,Disciplinas ministradas, TP-505 Redes de Petri

1999 - 2001

Universidade do Estado do Rio de Janeiro

Vínculo: Professor Visitante, Enquadramento Funcional: ProfessorAdjunto, Carga horária: 40

Atividades

09/2000 - 01/2001
Ensino,,Disciplinas ministradas, Computadores Digitais I
09/2000 - 01/2001
Ensino,,Disciplinas ministradas, Técnicas Digitais II
03/2000 - 01/2001
Pesquisa e desenvolvimento , Centro de Tecnologia e Ciências, Departamento de Engenharia Eletrônica e Telecomunicações - DETEL.,Linhas de pesquisa
10/1999 - 01/2001
Outras atividades técnico-científicas , Centro de Tecnologia e Ciências, Departamento de Engenharia Eletrônica e Telecomunicações - DETEL.,Atividade realizada, Desenvolvimento do "site" WEB do Departamento.
03/2000 - 08/2000
Ensino,,Disciplinas ministradas, Computadores Digitais I
03/2000 - 08/2000
Ensino,,Disciplinas ministradas, Técnicas Digitais II

1972 - 1973

Universidade Gama Filho

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Horista, Carga horária: 12

Atividades

08/1972 - 12/1972
Ensino,,Disciplinas ministradas, Laboratório de Eletrônica IV

1971 - 1971

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

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

Atividades

03/1999 - 07/1999
Ensino,,Disciplinas ministradas, Técnicas Digitais
12/1982 - 07/1999
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Linhas de pesquisa
08/1998 - 12/1998
Ensino,,Disciplinas ministradas
03/1998 - 07/1998
Ensino,,Disciplinas ministradas, Técnicas Digitais
08/1997 - 12/1997
Ensino,,Disciplinas ministradas, Técnicas Digitais
08/1996 - 12/1996
Ensino,,Disciplinas ministradas, Técnicas Digitais
03/1996 - 12/1996
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1996 - 07/1996
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Petri
08/1995 - 12/1995
Ensino,,Disciplinas ministradas, Técnicas Digitais
08/1995 - 12/1995
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Arquiteturas não Convencionais
03/1995 - 07/1995
Ensino,,Disciplinas ministradas, Técnicas Digitais
03/1995 - 07/1995
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Petri
08/1994 - 12/1994
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
08/1994 - 12/1994
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem de Sistemas de Computadores II
03/1994 - 07/1994
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Arquiteturas nâo Convencionais
08/1993 - 12/1993
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
08/1993 - 12/1993
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem de Sistemas de Computadores II
03/1993 - 07/1993
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Arquiteturas não Convencionais
08/1992 - 12/1992
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1992 - 07/1992
Ensino,,Disciplinas ministradas, Redes de Petri
03/1992 - 07/1992
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Petri
08/1991 - 12/1991
Ensino,,Disciplinas ministradas, Técnicas Digitais, Arquiteturas de Computadores Digitais
08/1991 - 12/1991
Treinamentos ministrados , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Treinamentos ministrados, Professor de Arquiteturas de Computadores para Engenheiros da Light
03/1991 - 07/1991
Ensino,,Disciplinas ministradas, Redes de Petri
03/1991 - 07/1991
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Petri
08/1990 - 12/1990
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1990 - 07/1990
Ensino,,Disciplinas ministradas, Redes de Petri
03/1990 - 07/1990
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Petri
08/1989 - 12/1989
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
08/1989 - 12/1989
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Arquiteturas não Convencionais
03/1989 - 08/1989
Ensino,,Disciplinas ministradas, Técnicas Digitais
08/1988 - 12/1988
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1988 - 12/1988
Ensino,,Disciplinas ministradas, Redes de Petri
03/1988 - 07/1988
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Arquiteturas não Convencionais, Redes de Petri
08/1987 - 12/1987
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
08/1987 - 12/1987
Treinamentos ministrados , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Treinamentos ministrados, Professor de Técnicas Digitais para Engenheiros da Eletrobrás
03/1987 - 07/1987
Ensino,,Disciplinas ministradas, Redes de Petri
03/1987 - 07/1987
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Eletrônica Digital III, Tópicos Especiais em Eletrônica Digital II
08/1986 - 12/1986
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1986 - 12/1986
Ensino,,Disciplinas ministradas, Redes de Petri
03/1986 - 07/1986
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Eletrônica Digital II
07/1985 - 12/1985
Ensino,,Disciplinas ministradas, Arquiteturas de Computadores Digitais
03/1985 - 07/1985
Ensino,,Disciplinas ministradas, Redes de Petri
03/1985 - 07/1985
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Eletrônica Digital II
07/1984 - 12/1984
Ensino,,Disciplinas ministradas, Técnicas Digitais
03/1984 - 07/1984
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Eletrônica Digital II
08/1983 - 12/1983
Ensino,,Disciplinas ministradas, Computadores Digitais
08/1983 - 12/1983
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Projeto de Computadores Digitais II
03/1983 - 07/1983
Ensino,,Disciplinas ministradas, Computadores Digitais
08/1974 - 08/1977
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Linhas de pesquisa
03/1977 - 07/1977
Ensino,,Disciplinas ministradas, Técnicas Digitais, Computadores Digitais
08/1976 - 12/1976
Ensino,,Disciplinas ministradas, Computadores Digitais
03/1976 - 07/1976
Ensino,,Disciplinas ministradas, Computadores Digitais
08/1975 - 12/1975
Ensino,,Disciplinas ministradas, Técnicas Digitais II
03/1975 - 07/1975
Ensino,,Disciplinas ministradas, Técnicas Digitais II
04/1972 - 02/1973
Estágios , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Estágio realizado, Auxiliar de Ensino e Pesquisa.
03/1971 - 12/1971
Estágios , Centro Técnico-Científico, Departamento de Engenharia Elétrica.,Estágio realizado, Monitor de Eletrônica II.