Aline Maria Santos Andrade

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 42

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Débora Abdalla SANTOS		Ciências Exatas e da Terra	Ciência da Computação
Ecivaldo De Souza MATOS		Ciências Humanas	Educação
Herman Augusto LEPIKSON		Engenharias	Engenharia de Produção
Leila RIBEIRO		Ciências Exatas e da Terra	Ciência da Computação
Rita Suzana Pitangueira MACIEL		Ciências Exatas e da Terra	Ciência da Computação

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 3

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2002	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2018	2019	2020	2023	2024
1706 · Computer Science Applications	1	0	0	1	0	0	0	0	2	1	0	0	0	0	0	1	1	0	1
1701 · Computer Science (miscellaneous)	1	3	1	0	0	0	0	1	0	0	1	0	0	0	0	0	0	0	0
1712 · Software	0	1	0	0	1	0	0	1	1	0	0	0	2	1	0	0	0	0	0
2614 · Theoretical Computer Science	0	0	0	0	0	1	1	0	0	0	1	0	1	1	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	2	2	0	0	0	0	0	0	0	0	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	1	0
3304 · Education	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	1	0	0	0
1702 · Artificial Intelligence	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	1	0	0
1710 · Information Systems	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
2207 · Control and Systems Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
2209 · Industrial and Manufacturing Engineering	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2009	Trabalho em evento	Integrating UML and UPPAAL for Designing; Specifying and Verifying Component-Based Real-Time Systems Muniz André L N; Aline Maria Santos ANDRADE; George Marconi De A LIMA Second IEEE International workshop UML and Formal Methods	PS Computational Theory and Mathematics
2009	Artigo em periódico	A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Regnier PAUL; George LIMA; Aline Maria Santos ANDRADE Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2009.05.054 ISSN 1571-0661	PS Theoretical Computer Science
2008	Livro	Brazilian Symposium on Formal Methods Patrícia MACHADO; Aline Maria Santos ANDRADE; Adolfo Almeida DURAN — ISBN 8576691930	PS Theoretical Computer Science
2008	Trabalho em evento	A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Paul REGNIER; George LIMA; Aline Maria Santos ANDRADE Brazilian Symposium on Formal Methods ISBN 8576691930	PS Computational Theory and Mathematics
2008	Trabalho em evento	Automatic Translation Approach for Component-Based Real-Time Systems Verification André Luis Nunes MUNIZ; Aline Maria Santos ANDRADE; George LIMA Simpósio Brasileiro de Métodos Formais ISBN 9788576691921	PS Computational Theory and Mathematics
2008	Artigo em periódico	Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems Barboza F; Aline Maria Santos ANDRADE; Silva F; Lima G Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2007.08.024 ISSN 1571-0661	PS Computer Networks and Communications
2007	Trabalho em evento	A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering Ana Patrícia MAGALHÃES; Aline Maria Santos ANDRADE; Leila SILVA; Herman LEPKSON 12 th IEEE International Conference on Emerging Technologies and Factory Automation ISBN 1424408261	PS Software
2006	Trabalho em evento	Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysys of its Applicability to Real-Time Systems Frederico BARBOZA; Aline Maria Santos ANDRADE; Flávio Assis SILVA; George LIMA Brazilian Symposium on Formal Methods ISBN 8576690772	PS Computer Networks and Communications
2006	Trabalho em evento	Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos Ana Patrícia MAGALHÃES; Aline Maria Santos ANDRADE; Leila SILVA; Herman LEPKSON XXVI Encontro Nacional de Engenharia de Produção	PS Industrial and Manufacturing Engineering
2006	Trabalho em evento	Mapeamento de Diagramas da UML 2.0 em UPPAAL Aline Maria Santos ANDRADE; André Luís Nunes MUNIZ Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG	PS Computer Science Applications
2005	Livro	Dependable Computing Second Latin-American Symposium; LADC 2005 Proceedings Carlos Alberto MAZIERO; João Gabriel SILVA; Aline Maria Santos ANDRADE; Flávio Assis SILVA — ISBN 03029743	PS Computer Science (miscellaneous)
2004	Capítulo de livro	Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação; Linguagens; Middleware e Mecanismos Básicos Raimundo José De Araújo MACÊDO; George Marconi De A LIMA; Luciano Porto BARRETO; Aline Maria Santos ANDRADE; Alírio SÁ et al Livro Texto dos Minicusros do SBRC2004 ISBN 8588422825	PS Computer Science (miscellaneous)
2004	Trabalho em evento	Extensão de Promela para Especificação de Falhas em Sistemas Baseados em Agentes Móveis Daniel Aguiar Da SILVA; Aline Maria Santos ANDRADE; Flávio Morais Assis SILVA IV Escola Regional de Computação Bahia Segipe	PS Computer Science (miscellaneous)
2004	Trabalho em evento	Geração de Protótipos Confiáveis em Java a partir de Promela Felipe MENEZES; Aline Maria Santos ANDRADE; Flávio Morais De Assis SILVA IV Escola Regional de Computação Bahia Segipe	PS Software
2004	Trabalho em evento	Uma abordagem para especificação e verificação automática de aplicações móveis Aline Maria Santos ANDRADE; Flávio Morais De Assis SILVA; Frederico Jorge Ribeiro BARBOZA; Rafael A R OLIVEIRA Simpósio Brasileiro de Redes de Computadores ISBN 8588442817	PS Computer Science (miscellaneous)
2002	Trabalho em evento	A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars Fernando L DOTTI; Lucio M DUARTE; Flávio M De Assis SILVA; Aline Maria Santos ANDRADE Sixth World Conference on Integrated Design & Process Tecnology	PS Computer Science Applications
2002	Trabalho em evento	Extensão da Linguagem Promela para Espcificação de Sistemas baseados em Agentes Móveis Aline Maria Santos ANDRADE; Flávio M Assis SILVA; Frederico J R BARBOZA IV workshop de Comunicação sem Fio e Computação Móvel	PS Computer Science (miscellaneous)

2009 Trabalho em evento

PS Computational Theory and Mathematics

Integrating UML and UPPAAL for Designing; Specifying and Verifying Component-Based Real-Time Systems

Second IEEE International workshop UML and Formal Methods

Muniz André L N; Aline Maria Santos ANDRADE; George Marconi De A LIMA

2009 Artigo em periódico

PS Theoretical Computer Science

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

Electronic Notes in Theoretical Computer Science

Regnier PAUL; George LIMA; Aline Maria Santos ANDRADE

DOI ISSN 1571-0661

2008 Livro

PS Theoretical Computer Science

Brazilian Symposium on Formal Methods

—

Patrícia MACHADO; Aline Maria Santos ANDRADE; Adolfo Almeida DURAN

ISBN 8576691930

2008 Trabalho em evento

PS Computational Theory and Mathematics

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

Brazilian Symposium on Formal Methods

Paul REGNIER; George LIMA; Aline Maria Santos ANDRADE

ISBN 8576691930

2008 Trabalho em evento

PS Computational Theory and Mathematics

Automatic Translation Approach for Component-Based Real-Time Systems Verification

Simpósio Brasileiro de Métodos Formais

André Luis Nunes MUNIZ; Aline Maria Santos ANDRADE; George LIMA

ISBN 9788576691921

2008 Artigo em periódico

PS Computer Networks and Communications

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems

Electronic Notes in Theoretical Computer Science

Barboza F; Aline Maria Santos ANDRADE; Silva F; Lima G

DOI ISSN 1571-0661

2007 Trabalho em evento

PS Software

A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering

12 th IEEE International Conference on Emerging Technologies and Factory Automation

Ana Patrícia MAGALHÃES; Aline Maria Santos ANDRADE; Leila SILVA; Herman LEPKSON

ISBN 1424408261

2006 Trabalho em evento

PS Computer Networks and Communications

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysys of its Applicability to Real-Time Systems

Brazilian Symposium on Formal Methods

Frederico BARBOZA; Aline Maria Santos ANDRADE; Flávio Assis SILVA; George LIMA

ISBN 8576690772

2006 Trabalho em evento

PS Industrial and Manufacturing Engineering

Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos

XXVI Encontro Nacional de Engenharia de Produção

Ana Patrícia MAGALHÃES; Aline Maria Santos ANDRADE; Leila SILVA; Herman LEPKSON

2006 Trabalho em evento

PS Computer Science Applications

Mapeamento de Diagramas da UML 2.0 em UPPAAL

Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG

Aline Maria Santos ANDRADE; André Luís Nunes MUNIZ

2005 Livro

PS Computer Science (miscellaneous)

Dependable Computing Second Latin-American Symposium; LADC 2005 Proceedings

—

Carlos Alberto MAZIERO; João Gabriel SILVA; Aline Maria Santos ANDRADE; Flávio Assis SILVA

ISBN 03029743

2004 Capítulo de livro

PS Computer Science (miscellaneous)

Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação; Linguagens; Middleware e Mecanismos Básicos

Livro Texto dos Minicusros do SBRC2004

Raimundo José De Araújo MACÊDO; George Marconi De A LIMA; Luciano Porto BARRETO; Aline Maria Santos ANDRADE; Alírio SÁ et al

ISBN 8588422825

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Extensão de Promela para Especificação de Falhas em Sistemas Baseados em Agentes Móveis

IV Escola Regional de Computação Bahia Segipe

Daniel Aguiar Da SILVA; Aline Maria Santos ANDRADE; Flávio Morais Assis SILVA

2004 Trabalho em evento

PS Software

Geração de Protótipos Confiáveis em Java a partir de Promela

IV Escola Regional de Computação Bahia Segipe

Felipe MENEZES; Aline Maria Santos ANDRADE; Flávio Morais De Assis SILVA

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Uma abordagem para especificação e verificação automática de aplicações móveis

Simpósio Brasileiro de Redes de Computadores

Aline Maria Santos ANDRADE; Flávio Morais De Assis SILVA; Frederico Jorge Ribeiro BARBOZA; Rafael A R OLIVEIRA

ISBN 8588442817

2002 Trabalho em evento

PS Computer Science Applications

A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars

Sixth World Conference on Integrated Design & Process Tecnology

Fernando L DOTTI; Lucio M DUARTE; Flávio M De Assis SILVA; Aline Maria Santos ANDRADE

2002 Trabalho em evento

PS Computer Science (miscellaneous)

Extensão da Linguagem Promela para Espcificação de Sistemas baseados em Agentes Móveis

IV workshop de Comunicação sem Fio e Computação Móvel

Aline Maria Santos ANDRADE; Flávio M Assis SILVA; Frederico J R BARBOZA