Adnan Sherif
Possui graduação em Departamanto de Ciência da Computação pela EL-FATAH UNIVERSITY - TRIPOLI LIBIA(1991), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco(2000) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco(2006). Atualmente é professor titular da Faculdade Integrada do Recife. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Formal Specification, Real-time, Verification, Validation, Circus e Unifying Theories of Programming.
Informações coletadas do Lattes em 03/11/2022
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2001 - 2006
Universidade Federal de Pernambuco
Título: Formal Specification and Validation of Real-Time Systems Using Circus Actions
Orientador: Augusto Sampaio
Palavras-chave: Formal Specification; Real-time; Verification; Validation; Circus; Unifying Theories of Programming. Grande área: Ciências Exatas e da TerraSetores de atividade: Outras Atividades de Prestação de Serviços em Informática.
Mestrado em Ciências da Computação
1997 - 2000
Universidade Federal de Pernambuco
Título: Formal Specification and Validation of Real-Time Systems, Ano de Obtenção: 2000
Orientador: Augusto Cesar Alves Sampaio
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Tempo Real; Metodos Formais; CSP-Z.Grande área: Ciências Exatas e da TerraGrande Á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. Setores de atividade: Outro.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Árabe
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuaçã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: Linguagens de Programação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Produções bibliográficas
-
JIFENG, He ; SHENGCHAO, Qin ; SHERIF, A. . Constructing Property-Oriented Model for Verification. In: First International Symposium on Unifying Theories of Programming, 2006, Walworth Castle, County Durham. LNCS, 2006. v. 4010.
-
SHERIF, A. ; JIFENG, He ; CAVALCANTE, Ana ; SAMPAIO, Augusto . A Framework for Specification and Validation of Real-Time Systems using Circus Actions. In: Theoretical Aspects of Computing - ICTAC 2004, 2004, Guiyang. ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, 2004. v. 3407. p. 478-493.
-
SHERIF, A. ; CAVALCANTI, Sergo ; SAMPAIO, Augusto . Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Net. In: 24th International Conference, ICATPN 2003, Applications and Theory of Petri Nets 2003, 2003, Eindhoven, The Netherlands. LNCS, 2003. v. 2679. p. 161-180.
-
SHERIF, A. ; CAVALCANTE, Ana ; MOURA, H. . An Action Semantics for Timed CSPm. In: SBLP 2002, 2002, Rio de Janeiro. SBLP 2002, 2002.
-
SHERIF, A. ; CAVALCANTE, Ana ; MOURA, H. . Using ABACO to Animate a Real-Time Specification Language. In: AS 2002, 2002, Copenhagen. Proceedings of the Fourth International Workshop on Action Semantics. Denmark: BRICS Notes Series, 2002. v. NS-02. p. 9-22.
-
SHERIF, A. ; JIFENG, He . Toward a Time Model for Circus. In: International Conference Formal Engineering Methods, 2002, Shanghai. Formal Methods and Software Engineering, 2002. v. 2495. p. 613-624.
-
SHERIF, A. ; JIFENG, He ; SHENGCHAO, Qin . Constructing Property-Oriented Model for Verification. In: First International Symposium on Unifying Theories of Programming, 2001, County Durham. Lecture Notes in Computer Science, 2001. v. 4010.
-
SHERIF, A. ; SAMPAIO, Augusto ; CAVALCANTI, Sergo . An Integrated Approach to Specification and Validation of Real-Time Systems. In: Formal Methods Europe 2001, 2001, Berlin. Formal Methods for Increasing Software Productivity, 2001. v. 2021. p. 278-299.
-
SHERIF, A. ; SAMPAIO, Augusto ; CAVALCANTI, Sergo . Formal Specification and Validation of Real-Time Systems. In: CTD-SBC, 2000, Fortaleza, 2000.
Histórico profissional
Endereço profissional
-
Faculdade Integrada do Recife, Sistema de Informação, Engenharia de Software. , Av. Eng. Abdias de Carvalho, n.º 1678, Madalena, 50720635 - Recife, PE - Brasil, Telefone: (81) 21018300, Fax: (81) 21018300
Experiência profissional
2003 - Atual
Faculdade Integrada do RecifeVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 25
Atividades
-
08/2003
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos, Introdução a Compiladores, Automatas e Implementação de Linguagens, Analise e Projeto Orinetada a Objetos
2001 - 2002
Universidade Federal de PernambucoVínculo: Celetista, Enquadramento Funcional: Outro, Carga horária: 8
Outras informações:
Professor substituto
Atividades
-
03/2001 - 03/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação Eletronica I, Computação Eletronica II
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Adnan Sherif e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?