Simone André Da Costa Cavalheiro

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: 262

Á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
Ana Marilza Pernas FLEISCHMANN		Ciências Exatas e da Terra	Ciência da Computação
André Rauber Du BOIS		Ciências Exatas e da Terra	Ciência da Computação
Antonio Carlos Da Rocha COSTA		Ciências Exatas e da Terra	Ciência da Computação
Christiano Martino Otero AVILA		Ciências Exatas e da Terra	Ciência da Computação
Claudia Lage Rebello Da MOTTA		Ciências Exatas e da Terra	Ciência da Computação
Leila RIBEIRO		Ciências Exatas e da Terra	Ciência da Computação
Luciana FOSS		Ciências Exatas e da Terra	Ciência da Computação
Marcia Rodrigues Notare MENEGHETTI		Ciências Exatas e da Terra	Matemática
Marilton Sanchotene De AGUIAR		Ciências Exatas e da Terra	Ciência da Computação
Renata Hax Sander REISER		Ciências Exatas e da Terra	Ciência da Computação
Rosária Ilgenfritz SPEROTTO		Ciências Humanas	Educaçã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 → 11

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1996	1997	1998	1999	2000	2001	2002	2003	2004	2006	2007	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
3304 · Education	0	0	0	1	0	0	0	0	0	0	0	0	0	1	0	7	6	7	8	11	3	7	4	5	8	2	5	8
1701 · Computer Science (miscellaneous)	0	0	0	0	0	0	0	1	1	1	1	0	0	2	2	6	1	4	1	3	2	3	2	7	1	0	0	1
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	2	2	1	4	2	2	2	1	3	2	1	4	9
1702 · Artificial Intelligence	0	0	0	0	0	1	1	0	0	0	0	0	0	5	1	4	2	2	0	1	0	0	0	1	1	0	1	1
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	2	2	0	1	0	0	0	0	2	1	3	0	1	1	6	1	0
2614 · Theoretical Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	1	1	0	1	0	0	0	0	1	2
1203 · Language and Linguistics	0	0	0	0	0	0	1	0	0	0	0	0	0	1	0	2	0	1	0	0	0	0	0	0	1	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	1	0	0	0	0	0	0	0	0	1	2	0	0	0	1	0	0	0	0	0	0	1	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	1	0	0	0	0	0	0	2	0	1	0	0	1	1	0	0	0	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	0	0	0	0	0	2	0
1000 · Multidisciplinary	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	1	0	1	0	0	0	0	0	0
1712 · Software	0	0	0	0	0	0	0	0	1	0	0	1	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0
1402 · Accounting	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	1	0	0
2604 · Applied Mathematics	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0
2607 · Discrete Mathematics and Combinatorics	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	1	0	0	0	0	0	0	0	0
1709 · Human-Computer Interaction	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0
2601 · Mathematics (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1211 · Philosophy	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
2102 · Energy Engineering and Power Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2200 · General Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2201 · Engineering (miscellaneous)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2404 · Microbiology	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
2700 · General Medicine	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	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
2012	Artigo em periódico	Verification of graph grammars using a logical approach Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO Science of Computer Programming (Print) DOI 10.1016/j.scico.2010.02.006 ISSN 0167-6423	PS General Computer Science
2011	Livro	Post-Proceedings of the Workshop-School in Theoretical Computer Science Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO — ISBN 9780769546285	PS Theoretical Computer Science
2011	Livro	Anais do WEIT 2011 Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antônio Carlos Da Rocha COSTA — ISBN 22369163	SH Education
2011	Livro	XII Workshop de Software Livre Simone André Da Costa CAVALHEIRO; Rivalino Matias JR — ISBN 9788571927	PS Software
2011	Trabalho em evento	Utilizando Gramática de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML. Nicolas BISI; Vinícius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA Workshop-Escola de Informática Teórica. ISBN 22369163	PS Computer Science (miscellaneous)
2011	Trabalho em evento	Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded. Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO Workshop-Escola de Informática Teórica. ISBN 22369163	PS Computer Science (miscellaneous)
2011	Trabalho em evento	From UML to SIMULINK: a Graph Grammar Specification. Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER Simpósio Brasileiro de Métodos Formais	SH Language and Linguistics
2011	Trabalho em evento	A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Foss LUCIANA; Simone André Da Costa CAVALHEIRO 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.25	PS Artificial Intelligence
2011	Trabalho em evento	Graph Grammars: A Comparison between Verification Methods Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.17	SH Linguistics and Language
2011	Trabalho em evento	Using Graph Grammars to Develop Embedded Systems Based on UML Models Bisi Nicolas N; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane B DE et al 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.16	PS Artificial Intelligence
2011	Trabalho em evento	Tradução Formal de Diagramas UML para Modelos SIMULINK Vinícius Steffens PAZZINI; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Lisane Brisolara De BRISOLARA XX Congresso de Iniciação Científica (XX CIC - UFPEL)	PS Artificial Intelligence
2011	Trabalho em evento	Gramática de Grafos: Um comparativo de métodos de verificação Luiz Carlos Lemos JUNIOR; André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO Encontro de Pós-Graduação UFPEL (ENPOS 2011)	PS Discrete Mathematics and Combinatorics
2011	Trabalho em evento	Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO II Seminário de Pesquisa em Computação da UFPel (SPC2011)	SH Linguistics and Language
2011	Trabalho em evento	Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS II Seminário de Pesquisa em Computação da UFPel (SPC2011)	SH Psychology (miscellaneous)
2011	Trabalho em evento	Tradução Formal de Sistemas UML para Simulink Pazzini VINICIUS; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS II Seminário de Pesquisa em Computação da UFPel (SPC2011)	PS Artificial Intelligence
2011	Trabalho em evento	Towards Developmental Turing Machines Simone André Da Costa CAVALHEIRO; Costa Antonio Carlos Da ROCHA; Dimuro Gracaliz PEREIRA 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.18 ISBN 9781467302	PS Artificial Intelligence
2010	Trabalho em evento	Towards Theorem Proving Graph Grammars Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG International Colloquium on Graph and Model Transformation (GraMoT) 2010	PS General Computer Science
2010	Artigo em periódico	Towards Theorem Proving Graph Grammars using Event-B Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG Electronic Communications of the EASST ISSN 1863-2122	PS General Computer Science
2009	Capítulo de livro	Especificação de Sistemas Baseados em Objetos com Gramática de Grafos Luciana FOSS; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Aline Brum LORETO; Leila RIBEIRO Desafios e Avanços em Computação: o estado da arte ISBN 9788571925	PS Software
2009	Trabalho em evento	Using Attributed Graph Grammars to Verify Properties of a Mobile Internet Protocol Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO; Fernando DOTTI; Antônio Carlos Da Rocha COSTA CLEI 2009	PS General Computer Science
2009	Trabalho em evento	Formal Verification of Graph Grammars using Mathematical Induction Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO Brazilian Symposium on Formal Methods ISBN 15710661	PS General Computer Science
2007	Artigo em periódico	Formal Specification and Verificaiton of Real-Time Systems using Graph Grammars Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO Journal of the Brazilian Computer Society (Impresso) ISSN 0104-6500	PS Computer Science (miscellaneous)
2006	Trabalho em evento	Specification of Real-Time Systems with Graph Grammars Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO Simpósio Brasileiro de Engenharia de Software ISBN 8576690799	PS Computer Science (miscellaneous)
2004	Capítulo de livro	Programação de Sistemas e Aplicações Gerson Geraldo Homrich CAVALHEIRO; Simone André Da Costa CAVALHEIRO Desenvolvimento em Software Livre ISBN 8574311936	PS Computer Science (miscellaneous)
2004	Livro	Desenvolvimento em Software Livre Simone André Da Costa CAVALHEIRO — ISBN 8574311936	PS Software

2012 Artigo em periódico

PS General Computer Science

Verification of graph grammars using a logical approach

Science of Computer Programming (Print)

Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO

DOI ISSN 0167-6423

2011 Livro

PS Theoretical Computer Science

Post-Proceedings of the Workshop-School in Theoretical Computer Science

—

Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

ISBN 9780769546285

2011 Livro

SH Education

Anais do WEIT 2011

—

Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antônio Carlos Da Rocha COSTA

ISBN 22369163

2011 Livro

PS Software

XII Workshop de Software Livre

—

Simone André Da Costa CAVALHEIRO; Rivalino Matias JR

ISBN 9788571927

2011 Trabalho em evento

PS Computer Science (miscellaneous)

Utilizando Gramática de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML.

Workshop-Escola de Informática Teórica.

Nicolas BISI; Vinícius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA

ISBN 22369163

2011 Trabalho em evento

PS Computer Science (miscellaneous)

Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded.

Workshop-Escola de Informática Teórica.

Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

ISBN 22369163

2011 Trabalho em evento

SH Language and Linguistics

From UML to SIMULINK: a Graph Grammar Specification.

Simpósio Brasileiro de Métodos Formais

Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER

2011 Trabalho em evento

PS Artificial Intelligence

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Foss LUCIANA; Simone André Da Costa CAVALHEIRO

DOI

2011 Trabalho em evento

SH Linguistics and Language

Graph Grammars: A Comparison between Verification Methods

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO

DOI

2011 Trabalho em evento

PS Artificial Intelligence

Using Graph Grammars to Develop Embedded Systems Based on UML Models

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Bisi Nicolas N; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane B DE et al

DOI

2011 Trabalho em evento

PS Artificial Intelligence

Tradução Formal de Diagramas UML para Modelos SIMULINK

XX Congresso de Iniciação Científica (XX CIC - UFPEL)

Vinícius Steffens PAZZINI; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Lisane Brisolara De BRISOLARA

2011 Trabalho em evento

PS Discrete Mathematics and Combinatorics

Gramática de Grafos: Um comparativo de métodos de verificação

Encontro de Pós-Graduação UFPEL (ENPOS 2011)

Luiz Carlos Lemos JUNIOR; André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

2011 Trabalho em evento

SH Linguistics and Language

Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos

II Seminário de Pesquisa em Computação da UFPel (SPC2011)

André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

2011 Trabalho em evento

SH Psychology (miscellaneous)

Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas

II Seminário de Pesquisa em Computação da UFPel (SPC2011)

Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2011 Trabalho em evento

PS Artificial Intelligence

Tradução Formal de Sistemas UML para Simulink

II Seminário de Pesquisa em Computação da UFPel (SPC2011)

Pazzini VINICIUS; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2011 Trabalho em evento

PS Artificial Intelligence

Towards Developmental Turing Machines

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Simone André Da Costa CAVALHEIRO; Costa Antonio Carlos Da ROCHA; Dimuro Gracaliz PEREIRA

DOI ISBN 9781467302

2010 Trabalho em evento

PS General Computer Science

Towards Theorem Proving Graph Grammars

International Colloquium on Graph and Model Transformation (GraMoT) 2010

Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG

2010 Artigo em periódico

PS General Computer Science

Towards Theorem Proving Graph Grammars using Event-B

Electronic Communications of the EASST

Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG

ISSN 1863-2122

2009 Capítulo de livro

PS Software

Especificação de Sistemas Baseados em Objetos com Gramática de Grafos

Desafios e Avanços em Computação: o estado da arte

Luciana FOSS; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Aline Brum LORETO; Leila RIBEIRO

ISBN 9788571925

2009 Trabalho em evento

PS General Computer Science

Using Attributed Graph Grammars to Verify Properties of a Mobile Internet Protocol

CLEI 2009

Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO; Fernando DOTTI; Antônio Carlos Da Rocha COSTA

2009 Trabalho em evento

PS General Computer Science

Formal Verification of Graph Grammars using Mathematical Induction

Brazilian Symposium on Formal Methods

Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO

ISBN 15710661

2007 Artigo em periódico

PS Computer Science (miscellaneous)

Formal Specification and Verificaiton of Real-Time Systems using Graph Grammars

Journal of the Brazilian Computer Society (Impresso)

Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO

ISSN 0104-6500

2006 Trabalho em evento

PS Computer Science (miscellaneous)

Specification of Real-Time Systems with Graph Grammars

Simpósio Brasileiro de Engenharia de Software

Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO

ISBN 8576690799

2004 Capítulo de livro

PS Computer Science (miscellaneous)

Programação de Sistemas e Aplicações

Desenvolvimento em Software Livre

Gerson Geraldo Homrich CAVALHEIRO; Simone André Da Costa CAVALHEIRO

ISBN 8574311936

2004 Livro

PS Software

Desenvolvimento em Software Livre

—

Simone André Da Costa CAVALHEIRO

ISBN 8574311936