Raimundo Da Silva Barreto

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

Á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
Anna Beatriz Dos Santos MARQUES		Ciências Exatas e da Terra	Ciência da Computação
Anselmo Cardoso De PAIVA		Ciências Exatas e da Terra	Ciência da Computação
Davi Viana Dos SANTOS		Ciências Exatas e da Terra	Ciência da Computação
Elaine HARADA		Ciências Exatas e da Terra	Ciência da Computação
Gabriel Alves De Albuquerque JÚNIOR		Ciências Exatas e da Terra	Ciência da Computação
Ivana Marcia Oliveira MAIA		Ciências Sociais Aplicadas	Desenho Industrial
José Francisco De Magalhães NETTO		Ciências Exatas e da Terra	Ciência da Computação
Juan Gabriel COLONNA		Ciências Exatas e da Terra	Ciência da Computação
Luis Jorge Enrique Rivero CABREJOS		Ciências Exatas e da Terra	Ciência da Computação
Marcos André Fernandes SPÓSITO		Ciências Agrárias	Agronomia
Rafael Ferreira Leite De MELLO		Ciências Exatas e da Terra	Ciência da Computação
Rosiane De Freitas RODRIGUES		Ciências Exatas e da Terra	Ciência da Computação
Tiago Thompsen PRIMO		Ciências Exatas e da Terra	Ciência da Computação
Vitor Bremgartner Da FROTA		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 → 7

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1998	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025	2026
1701 · Computer Science (miscellaneous)	0	2	5	6	1	3	7	1	2	4	3	6	3	3	5	5	1	2	4	4	3	1	0	0	1
1706 · Computer Science Applications	1	0	2	0	1	0	4	2	2	0	1	0	0	1	1	0	3	2	2	2	0	0	3	2	3
3304 · Education	0	0	0	0	0	1	0	0	0	1	1	0	0	5	0	1	1	1	4	1	1	0	1	0	1
1702 · Artificial Intelligence	0	0	1	1	1	0	0	1	1	0	0	0	0	2	3	0	1	0	1	1	0	0	1	2	0
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	4	2	0	0
1705 · Computer Networks and Communications	0	0	1	0	1	0	1	0	0	0	0	1	0	1	1	0	0	0	0	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	1	0	0	0	0	0	0	0	3	0	0	0	0	0	0	0	1	0	0	0
2701 · Medicine (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	4	0	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	1	0	0	1	0	0
1707 · Computer Vision and Pattern Recognition	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	1	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	1	1
2102 · Energy Engineering and Power Technology	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1314 · Physiology	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
1401 · Business; Management and Accounting (miscellaneous)	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
1710 · Information Systems	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
1712 · Software	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
2207 · Control and Systems Engineering	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2613 · Statistics and Probability	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
2736 · Pharmacology (medical)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	1	0	0	0	0	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
2016	Livro	International Journal of Embedded Systems - Special Issue on Critical and Real-Time Embedded Systems Alisson BRITO; Raimundo Da Silva BARRETO; Rômulo Silva De OLIVEIRA; Ivan Saraiva SILVA — ISBN 17411068	PS Computer Science (miscellaneous)
2016	Trabalho em evento	Business-IT Alignment Research Field - A Systematic Literature Review Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO International Conference on Enterprise Information Systems ISBN 9789897581878	SH Business; Management and Accounting (miscellaneous)
2016	Trabalho em evento	Agregação de Dados com Desvio de Buracos para Redes de Sensores Sem Fio com Sinks de Alto Alcance Moysés Mendes De LIMA; Horácio Antonio Braga Fernandes OLIVEIRA; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Daniel Ludovico GUIDONI XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos	PS Computer Science (miscellaneous)
2016	Trabalho em evento	Real-time Tasks and Voltage/Frequency Controller Collaboration on Low Power Energy Operational Systems Rawlinson Da Silva GONÇALVES; Diego Quintana PINHEIRO; Valentin EDUARDO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO International Conference on Embedded Computer Systems: Architectures; Modeling; and Simulation	PS Computer Networks and Communications
2016	Trabalho em evento	JFORTES: Java Formal Unit TESt Generation Bentes LARISSA; Rocha HERBERT; Valentin EDUARDO; Raimundo Da Silva BARRETO 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC) DOI 10.1109/sbesc.2016.012 ISBN 9781509026531	PS Artificial Intelligence
2016	Trabalho em evento	Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem Valentin EDUARDO; Freitas Rosiane DE; Raimundo Da Silva BARRETO 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC) DOI 10.1109/sbesc.2016.027 ISBN 9781509026531	PS Computer Science (miscellaneous)
2016	Trabalho em evento	Emotion Recognition based on Physiological Sensors and Machine Learning Techniques Anderson De Araújo CRUZ; Gabriel LEITÃO; Raimundo Da Silva BARRETO; Tiagothompsen PRIMO; Fernando KOCH International Symposium on Perception; Action; and Cognitive Systems	PS Artificial Intelligence
2016	Trabalho em evento	On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure Ribeiro ERICK; Bentes LARISSA; Cruz ANDERSON; Leitao GABRIEL; Raimundo Da Silva BARRETO et al 2016 IEEE 18th International Conference on eHealth Networking; Applications and Services (Healthcom) DOI 10.1109/healthcom.2016.7749420 ISBN 9781509033706	HS Medicine (miscellaneous)
2016	Trabalho em evento	UbMed: A ubiquitous system for monitoring medication adherence Silva Vandermi J; Rodrigues Marlos A S; Raimundo Da Silva BARRETO; Ferreira De Lucena VICENTE 2016 IEEE 18th International Conference on eHealth Networking; Applications and Services (Healthcom) DOI 10.1109/healthcom.2016.7749419 ISBN 9781509033706	HS Medicine (miscellaneous)
2016	Trabalho em evento	Um processo baseado em modelagem de interação para o projeto de jogos educacionais a partir de livros: um estudo de caso no contexto de um jogo para dispositivos móveis Ayres Larissa MAIA; Marques Anna BEATRIZ; Raimundo Da Silva BARRETO; Conte TAYANA XV Simpósio Brasileiro de Qualidade de Software DOI 10.5753/sbqs.2016.15138	PS Computer Science Applications
2016	Artigo em periódico	Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem Valentin Eduardo BEZERRA; De Freitas ROSIANE; Raimundo Da Silva BARRETO Procedia Computer Science DOI 10.1016/j.procs.2016.05.425 ISSN 1877-0509	PS Artificial Intelligence
2016	Artigo em periódico	Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015 Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO iSys: Revista Brasileira de Sistemas de Informação ISSN 1984-2902	HS Medicine (miscellaneous)
2016	Artigo em periódico	ProAut: Um Processo para Apoio de Projetos de Interface de Produtos de Software para Crianças Autista Áurea Hileia MELO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE Cadernos de Informática (UFRGS) ISSN 1519-132X	PS Computer Science (miscellaneous)
2016	Artigo em periódico	Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015 Spósito Marcos André FERNANDES; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO iSys: Revista Brasileira de Sistemas de Informação ISSN 1984-2902	HS Medicine (miscellaneous)
2015	Trabalho em evento	Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks Balico Leandro N; Oliveira Horacio A B F; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Loureiro Antonio A F 2015 International Conference on Distributed Computing in Sensor Systems (DCOSS) DOI 10.1109/dcoss.2015.38 ISBN 9781479988563	PS Computer Science Applications
2015	Trabalho em evento	A Prediction-based Routing Algorithm for Vehicular Ad Hoc Networks Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Antonio Alfredo Ferreira LOUREIRO; Richard W PAZZI 2015 IEEE Symposium on Computers and Communications	PS Computer Science (miscellaneous)
2015	Trabalho em evento	Memory Management Test-Case Generation of C Programs using Bounded Model Checking Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO 13th International Conference on Software Engineering and Formal Methods ISBN 9783319229683	PS Artificial Intelligence
2015	Trabalho em evento	Avaliando a Cobertura do MR-MPS-SV para o Alinhamento Estratégico de TI e Negócios das Organizações Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO Workshop Anual do MPS ISBN 9788599334829	PS Computer Science (miscellaneous)
2015	Trabalho em evento	Model Checking Embedded C Software Using k-Induction and Invariants Rocha HERBERT; Ismail HUSSAMA; Cordeiro LUCAS; Raimundo Da Silva BARRETO 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) DOI 10.1109/sbesc.2015.24 ISBN 9781509001828	PS Computer Science (miscellaneous)
2015	Trabalho em evento	Integração de Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO V Brazilian Symposium on Computing Systems Engineering	LS Neuroscience (miscellaneous)
2015	Trabalho em evento	Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context Gabriel LEITÃO; Juan COLONNA; Erick RIBEIRO; Raimundo Da Silva BARRETO; Andrew KOSTER et al Workshop on Social Computing in Digital Education	SH Education
2015	Trabalho em evento	Avaliação Experimental de Técnicas de Aprendizagem de Máquina para o Reconhecimento de Atividades Humanas no Contexto da Educação Tecnológica Erick RIBEIRO; Gabriel LEITÃO; Juan COLONNA; Raimundo Da Silva BARRETO; Andrew KOSTER et al IV Encontro Regional de Computação e Sistemas de Informação ISBN 2238-5096	SH Education
2015	Trabalho em evento	Um Relato de Experiência da Aplicação de Técnicas Iterativas para o Ensino da Computação na Educação Básica Juliana NASCIMENTO; Daniel XAVIER; Odette Mestrinho PASSOS; Raimundo Da Silva BARRETO IV Encontro Regional de Computação e Sistemas de Informação ISBN 2238-5096	SH Education
2015	Trabalho em evento	Epilepsy Detector: Um aplicativo de detecção de crises epiléticas para dispositivos móveis José Alberto Pacífico Da Silva FILHO; Erick RIBEIRO; Larissa Maia AYRES; Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO IV Encontro Regional de Computação e Sistemas de Informação ISBN 2238-5096	LS Neuroscience (miscellaneous)
2015	Trabalho em evento	Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution) Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 5th Competition on Software Verification	PS Artificial Intelligence

2016 Livro

PS Computer Science (miscellaneous)

International Journal of Embedded Systems - Special Issue on Critical and Real-Time Embedded Systems

—

Alisson BRITO; Raimundo Da Silva BARRETO; Rômulo Silva De OLIVEIRA; Ivan Saraiva SILVA

ISBN 17411068

2016 Trabalho em evento

SH Business; Management and Accounting (miscellaneous)

Business-IT Alignment Research Field - A Systematic Literature Review

International Conference on Enterprise Information Systems

Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO

ISBN 9789897581878

2016 Trabalho em evento

PS Computer Science (miscellaneous)

Agregação de Dados com Desvio de Buracos para Redes de Sensores Sem Fio com Sinks de Alto Alcance

XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos

Moysés Mendes De LIMA; Horácio Antonio Braga Fernandes OLIVEIRA; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Daniel Ludovico GUIDONI

2016 Trabalho em evento

PS Computer Networks and Communications

Real-time Tasks and Voltage/Frequency Controller Collaboration on Low Power Energy Operational Systems

International Conference on Embedded Computer Systems: Architectures; Modeling; and Simulation

Rawlinson Da Silva GONÇALVES; Diego Quintana PINHEIRO; Valentin EDUARDO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO

2016 Trabalho em evento

PS Artificial Intelligence

JFORTES: Java Formal Unit TESt Generation

2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)

Bentes LARISSA; Rocha HERBERT; Valentin EDUARDO; Raimundo Da Silva BARRETO

DOI ISBN 9781509026531

2016 Trabalho em evento

PS Computer Science (miscellaneous)

Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem

2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)

Valentin EDUARDO; Freitas Rosiane DE; Raimundo Da Silva BARRETO

DOI ISBN 9781509026531

2016 Trabalho em evento

PS Artificial Intelligence

Emotion Recognition based on Physiological Sensors and Machine Learning Techniques

International Symposium on Perception; Action; and Cognitive Systems

Anderson De Araújo CRUZ; Gabriel LEITÃO; Raimundo Da Silva BARRETO; Tiagothompsen PRIMO; Fernando KOCH

2016 Trabalho em evento

HS Medicine (miscellaneous)

On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure

2016 IEEE 18th International Conference on eHealth Networking; Applications and Services (Healthcom)

Ribeiro ERICK; Bentes LARISSA; Cruz ANDERSON; Leitao GABRIEL; Raimundo Da Silva BARRETO et al

DOI ISBN 9781509033706

2016 Trabalho em evento

HS Medicine (miscellaneous)

UbMed: A ubiquitous system for monitoring medication adherence

2016 IEEE 18th International Conference on eHealth Networking; Applications and Services (Healthcom)

Silva Vandermi J; Rodrigues Marlos A S; Raimundo Da Silva BARRETO; Ferreira De Lucena VICENTE

DOI ISBN 9781509033706

2016 Trabalho em evento

PS Computer Science Applications

Um processo baseado em modelagem de interação para o projeto de jogos educacionais a partir de livros: um estudo de caso no contexto de um jogo para dispositivos móveis

XV Simpósio Brasileiro de Qualidade de Software

Ayres Larissa MAIA; Marques Anna BEATRIZ; Raimundo Da Silva BARRETO; Conte TAYANA

DOI

2016 Artigo em periódico

PS Artificial Intelligence

Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem

Procedia Computer Science

Valentin Eduardo BEZERRA; De Freitas ROSIANE; Raimundo Da Silva BARRETO

DOI ISSN 1877-0509

2016 Artigo em periódico

HS Medicine (miscellaneous)

Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015

iSys: Revista Brasileira de Sistemas de Informação

Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO

ISSN 1984-2902

2016 Artigo em periódico

PS Computer Science (miscellaneous)

ProAut: Um Processo para Apoio de Projetos de Interface de Produtos de Software para Crianças Autista

Cadernos de Informática (UFRGS)

Áurea Hileia MELO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE

ISSN 1519-132X

2016 Artigo em periódico

HS Medicine (miscellaneous)

Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015

iSys: Revista Brasileira de Sistemas de Informação

Spósito Marcos André FERNANDES; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO

ISSN 1984-2902

2015 Trabalho em evento

PS Computer Science Applications

Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks

2015 International Conference on Distributed Computing in Sensor Systems (DCOSS)

Balico Leandro N; Oliveira Horacio A B F; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Loureiro Antonio A F

DOI ISBN 9781479988563

2015 Trabalho em evento

PS Computer Science (miscellaneous)

A Prediction-based Routing Algorithm for Vehicular Ad Hoc Networks

2015 IEEE Symposium on Computers and Communications

Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Antonio Alfredo Ferreira LOUREIRO; Richard W PAZZI

2015 Trabalho em evento

PS Artificial Intelligence

Memory Management Test-Case Generation of C Programs using Bounded Model Checking

13th International Conference on Software Engineering and Formal Methods

Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO

ISBN 9783319229683

2015 Trabalho em evento

PS Computer Science (miscellaneous)

Avaliando a Cobertura do MR-MPS-SV para o Alinhamento Estratégico de TI e Negócios das Organizações

Workshop Anual do MPS

Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO

ISBN 9788599334829

2015 Trabalho em evento

PS Computer Science (miscellaneous)

Model Checking Embedded C Software Using k-Induction and Invariants

2015 Brazilian Symposium on Computing Systems Engineering (SBESC)

Rocha HERBERT; Ismail HUSSAMA; Cordeiro LUCAS; Raimundo Da Silva BARRETO

DOI ISBN 9781509001828

2015 Trabalho em evento

LS Neuroscience (miscellaneous)

Integração de Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa

V Brazilian Symposium on Computing Systems Engineering

Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO

2015 Trabalho em evento

SH Education

Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context

Workshop on Social Computing in Digital Education

Gabriel LEITÃO; Juan COLONNA; Erick RIBEIRO; Raimundo Da Silva BARRETO; Andrew KOSTER et al

2015 Trabalho em evento

SH Education

Avaliação Experimental de Técnicas de Aprendizagem de Máquina para o Reconhecimento de Atividades Humanas no Contexto da Educação Tecnológica

IV Encontro Regional de Computação e Sistemas de Informação

Erick RIBEIRO; Gabriel LEITÃO; Juan COLONNA; Raimundo Da Silva BARRETO; Andrew KOSTER et al

ISBN 2238-5096

2015 Trabalho em evento

SH Education

Um Relato de Experiência da Aplicação de Técnicas Iterativas para o Ensino da Computação na Educação Básica

IV Encontro Regional de Computação e Sistemas de Informação

Juliana NASCIMENTO; Daniel XAVIER; Odette Mestrinho PASSOS; Raimundo Da Silva BARRETO

ISBN 2238-5096

2015 Trabalho em evento

LS Neuroscience (miscellaneous)

Epilepsy Detector: Um aplicativo de detecção de crises epiléticas para dispositivos móveis

IV Encontro Regional de Computação e Sistemas de Informação

José Alberto Pacífico Da Silva FILHO; Erick RIBEIRO; Larissa Maia AYRES; Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO

ISBN 2238-5096

2015 Trabalho em evento

PS Artificial Intelligence

Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution)

22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 5th Competition on Software Verification

Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO