André Luís Ribeiro Didier

Possui graduação em Ciência da Computação pela Universidade Federal de Pernambuco(2006), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco(2012), doutorado em Doutorado em Ciência da Computação pela Universidade Federal de Pernambuco(2017) e curso-tecnico-profissionalizantepelo Centro Federal de Educação Tecnológica de Pernambuco(1998). Atualmente é Professor substituto da Universidade Federal de Pernambuco. 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:Fault tree analysis, Temporal Fault Trees, Dynamic Fault Trees.

Informações coletadas do Lattes em 30/07/2025

Acadêmico

Formação acadêmica

Doutorado em Doutorado em Ciência da Computação

2012 - 2017

Universidade Federal de Pernambuco
Título: An Algebra of Temporal Faults
Orientador: em Newcastle University ( Alexander Romanovsky)
com Alexandre Cabral Mota. Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. Palavras-chave: Fault tree analysis; Temporal Fault Trees; Dynamic Fault Trees.

Mestrado em Ciências da Computação

2010 - 2012

Universidade Federal de Pernambuco
Título: Estratégia sistemática para identificar falhas em componentes usando comportamento nominal,Ano de Obtenção: 2012
Alexandre Cabral Mota.Palavras-chave: CSP; FDR; Failure Injection; FMEA; Trace refinement.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Transporte aéreo.

Graduação em Ciência da Computação

1999 - 2006

Universidade Federal de Pernambuco
Título: Automatic Z Data Refinement
Orientador: Alexandre Cabral Mota

Curso técnico/profissionalizante

1995 - 1998

Centro Federal de Educação Tecnológica de Pernambuco

Idiomas

Inglês

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

Francês

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

Á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 / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

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

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

Participação em eventos

Systems Conference (SysCon), 2013 IEEE International. Model-based development of fault tolerant systems of systems. 2013. (Congresso).

SBMF - XVI Simpósio Brasileiro de Métodos Formais.Identifying Hardware Failures Systematically. 2012. (Simpósio).

Simpósio Brasileiro de Métodos Formais.Checking Z Data Refinements Using Traces Refinement. 2008. (Simpósio).

Produções bibliográficas

Didier, André ; Mota, Alexandre . An algebra of temporal faults. Information Systems Frontiers (Dordrecht. Online) , v. 18, p. 1-14, 2016.
Didier, André ; Farias, Adalberto ; Mota, Alexandre . Checking Z Data Refinements Using Traces Refinement. Electronic Notes in Theoretical Computer Science , v. 240, p. 129-148, 2009.
Mota, Alexandre ; Farias, Adalberto ; Didier, André ; Woodcock, Jim . Rapid Prototyping of a Semantically Well Founded Circus Model Checker. Lecture Notes in Computer Science. 22ed.: Springer International Publishing, 2014, v. , p. 235-249.
Lima, Lucas ; Didier, André ; Cornélio, Márcio . A Formal Semantics for SysML Activity Diagrams. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. 8195, p. 179-194.
Didier, André ; Mota, Alexandre . Identifying Hardware Failures Systematically. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 7498, p. 115-130.
DIDIER, ANDRE LUIS RIBEIRO ; Mota, Alexandre . A Lattice-Based Representation of Temporal Failures. In: 2015 IEEE International Conference on Information Reuse and Integration (IRI), 2015, San Francisco. 2015 IEEE International Conference on Information Reuse and Integration, 2015. p. 295.
ANDREWS, ZOE ; PAYNE, RICHARD ; ROMANOVSKY, ALEXANDER ; DIDIER, ANDRE ; Mota, Alexandre . Model-based development of fault tolerant systems of systems. In: 2013 7th Annual IEEE Systems Conference (SysCon), 2013, Orlando. 2013 IEEE International Systems Conference (SysCon). p. 356-363.
COLEMAN, JOEY W. ; MALMOS, ANDERS KAELS ; LARSEN, PETER GORM ; PELESKAY, JAN ; HAINSZ, RALPH ; ANDREWSX, ZOE ; PAYNEX, RICHARD ; FOSTER, SIMON ; MIYAZAWA, ALVARO ; BERTOLINIK, CRISTIANO ; Didierk, Andre . COMPASS tool vision for a system of systems Collaborative Development Environment. In: 2012 7th International Conference on System of Systems Engineering (SoSE), 2012, Genova. 2012 7th International Conference on System of Systems Engineering (SoSE), 2012. p. 451.
DIDIER, A ; FARIAS, A. ; MOTA, A. . Checking Z data refinements using traces refinement. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. SBMF 2008 - Brazilian Symposium on Formal Methods. Salvador: Editora Gráfica da UFBA, 2008. p. 67-82.
ANDREWS, Z. ; PAYNE, R. J. ; ROMANOVSKY, A. ; DIDIER, André Luís Ribeiro ; Mota, Alexandre . Model-based development of fault tolerant systems of systems. 2013. (Apresentação de Trabalho/Conferência ou palestra).
Didier, André ; MOTA, A. . Identifying Hardware Failures Systematically. 2012. (Apresentação de Trabalho/Simpósio).

Outras produções

ANDREWS, Z. ; Didier, André ; PAYNE, R. ; INGRAM, C. ; HOLT, J. ; PERRY, S. ; OLIVEIRA, M. ; WOODCOCK, J. ; MOTA, A. ; ROMANOVSKY, A. . Report on Timed Fault Tree Analysis - Fault modelling. 2013.

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (81) 21268430

Experiência profissional

2011 - 2011

Pitang

Vínculo: , Enquadramento Funcional: Arquiteto de Software, Carga horária: 40

Outras informações:
Projeto ATG/Passarela (empresa de calçados) Montagem da arquitetura do sistema na plataforma ATG (Art Technology Group, E-Commerce): código de infraestrutura e configuração da plataforma. Consultor interno para as linguagens e frameworks utilizados: JSP, JSTL e JQuery. Manutenção da aplicação no servidor JBoss. Ferramentas de apoio ao desenvolvimento: Eclipse e SVN. Banco de dados: Oracle.

2008 - 2011

Pitang

Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Software, Carga horária: 40

Outras informações:
Projetos: SGO (Nordeste Segurança), CAPEF (Previdência Social do Banco do Nordeste), BM&FBOVESPA (Bolsa de Valores de São Paulo) Montagem da arquitetura do sistema (SGO, MVC): código de infraestrutura, controle transacional, tratamento de exceção, logging e componentes da camada de apresentação. Consultor interno para as linguagens e frameworks utilizados: ASP.NET, C#, NHibernate, Ajax Control Toolkit, Enterprise Library, HTML e Javascript. Execução de atividades para otimização da performance do software, tanto no código-fonte quanto no banco de dados. Manutenção da aplicação no servidor (CAPEF e SGO, IIS/Windows Server 2003 e 2008). Ferramentas de apoio ao desenvolvimento: Visual Studio 2008, Eclipse (CVS), PL/SQL, ERWin, NUnit, NAnt, CruiseControl.NET Bancos de dados: Oracle e SQL Server.

2006 - 2008

Pitang

Vínculo: Celetista formal, Enquadramento Funcional: Arquiteto de Software, Carga horária: 40

Outras informações:
Projeto: SAGe/FAPESP Desenvolvimento de modelos e ferramentas para suporte à equipe de desenvolvimento. Consultor interno para as linguagens e frameworks utilizados: Spring, Struts, Hibernate, UML, BIRT, HTML e Javascript. Execução de atividades para otimização da performance do software, tanto no código-fonte quanto no banco de dados. Manutenção da aplicação no servidor (Sun/Solaris). Tecnologias utilizadas (além das já citadas): JEE (JSP e Servlet), JFreeChart, Cognos. Ferramentas de apoio ao desenvolvimento: Eclipse, WinCVS, PL/SQL, Tomcat, Ant, ERWin. Bancos de dados: Oracle, Hsqldb.

2005 - 2006

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Software, Carga horária: 40

2004 - 2005

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Sistemas, Carga horária: 40

Outras informações:
Projeto: FAPESP (agência de fomento do estado de São Paulo) Implementação do sistema em código Java com as seguintes tecnologias: - J2EE: JSP; - IDE: Eclipse; - SGBD: Oracle; - Container Web (Servidor): Tomcat

2002 - 2004

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: , Enquadramento Funcional: Engenheiro de Software, Carga horária: 40

Outras informações:
Projeto: EMPREL (Agência de software do governo municipal --- Recife) Implementação do sistema em código Java com as seguintes tecnologias: - J2EE: EJB, JSP, Servlet, WebServices; - IDE: JBuilder (WSAD nos últimos 5 meses do projeto); - SGBD: Oracle; - Servidor de Aplicação: BES - Borland Enterprise Server, BAS - Borland Application Server e WSAS - WebSphere Application Server.

Atividades

12/2002 - 11/2006
Serviços técnicos especializados , Centro de Estudos e Sistemas Avançados do Recife, .,Serviço realizado, Desenvolvimento de Sistemas para Web.

2000 - 2002

Telemar S A

Vínculo: Celetista, Enquadramento Funcional: Técnico em Telecomunicações Júnior, Carga horária: 36

Outras informações:
Supervisão da planta de centrais telefônicas de várias tecnologias (NEAX, Trópico, Batik e EWSD), através de conhecimentos de comutação telefônica, meios de transmissão (rádio, fibra óptica) e tráfego telefônico. No período de trabalho, foi desenvolvido um software para cálculo de perdas em tráfego telefônico das centrais de tecnologia Trópico RA.

1999 - 2000

Telemar S A

Vínculo: Estágio, Enquadramento Funcional: Técnico em Eletrônica, Carga horária: 20

Atividades

02/2000 - 02/2002
Serviços técnicos especializados , Telemar S A, .,Serviço realizado, Gerência de Falhas em Centrais Telefônicas.
02/1999 - 02/2000
Estágios , Telemar S A, .,Estágio realizado, Manutenção de Telefones Público e na Administração de Tráfego Telefônico.

2015 - Atual

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor substituto, Carga horária: 40