E-LIB Suche - Ergebnisse für: Rocha, Herbert

1

Verification and refutation of C programs based on k-induct..:

Alhawi, Omar M. ; Rocha, Herbert ; Gadelha, Mikhail R...
International Journal on Software Tools for Technology Transfer. 23 (2020) 2 - p. 115-135 , 2020

Link: https://doi.org/10.1007/..

2

Map2Check: Using Symbolic Execution and Fuzzing: (Competiti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Rocha, Herbert ; Menezes, Rafael ; Cordeiro, Lucas C.. - p. 403-407 , 2020

Link: https://doi.org/10.1007/..

3

An interactive simulation-based game of a manufacturing pro..:

Serpa, Ygor R. ; Nogueira, Matheus B. ; Rocha, Herbert..
Entertainment Computing. 34 (2020) - p. 100343 , 2020

Link: https://doi.org/10.1016/..

4

Map2Check Using LLVM and KLEE: (Competition Contribution):

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Menezes, Rafael ; Rocha, Herbert ; Cordeiro, Lucas. - p. 437-441 , 2018

Link: https://doi.org/10.1007/..

5

Verification and refutation of C programs based on k -induc..:

Alhawi, Omar M ; Rocha, Herbert ; Gadelha, Mikhail R..
https://chesterrep.openrepository.com/bitstream/handle/10034/624972/10009_2020_Article_564.pdf?sequence=2. , 2021

Link: http://hdl.handle.net/10..

6

Verifying Security Vulnerabilities in Large Software System..:

Silva, Thales ; Porto, Carmina ; Alves, Erickson..
http://arxiv.org/abs/2102.02368. , 2021

Link: http://arxiv.org/abs/210..

7

Map2Check: Using Symbolic Execution and Fuzzing: (Competiti..:

Rocha, Herbert ; Menezes, Rafael ; Cordeiro, Lucas C.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480707/. , 2020

Link: http://www.ncbi.nlm.nih...

8

Verification and Refutation of C Programs based on k-Induct..:

Alhawi, Omar ; Rocha, Herbert ; Gadelha, Mikhail R..
Alhawi , O , Rocha , H , Gadelha , M R , Cordeiro , L & Batista , E 2020 , ' Verification and Refutation of C Programs based on k-Induction and Invariant Inference ' , International Journal on Software Tools for Technology Transfer , vol. 23 , pp. 115-135 . https://doi.org/10.1007/s10009-020-00564-1. , 2020

Link: https://research.manches..

9

Map2Check using LLVM and KLEE:(Competition contribution):

Menezes, Rafael ; Rocha, Herbert ; Cordeiro, Lucas.
Menezes , R , Rocha , H , Cordeiro , L & Barreto , R 2018 , Map2Check using LLVM and KLEE : (Competition contribution) . in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II . vol. 10806 , Lecture Notes in Computer Science , pp. 437-441 . https://doi.org/10.1007/978-3-319-89963-3_28 , https://doi.org/10.1007/978-3-319-89963-3_28. , 2018

Link: https://research.manches..

10

DepthK: A k-Induction Verifier Based on Invariant Inference..:

Rocha, Williame ; Rocha, Herbert ; Ismail, Hussama..
Rocha , W , Rocha , H , Ismail , H , Cordeiro , L & Fischer , B 2017 , DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs . in Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II . vol. 10206 , Lecture Notes in Computer Science , pp. 360-364 . https://doi.org/10.1007/978-3-662-54580-5_23 , https://doi.org/10.1007/978-3-662-54580-5_23. , 2017

Link: https://research.manches..

11

Memory Management Test-Case Generation of C Programs Using ..:

Rocha, Herbert ; Barreto, Raimundo ; Cordeiro, Lucas
Rocha , H , Barreto , R & Cordeiro , L 2015 , Memory Management Test-Case Generation of C Programs Using Bounded Model Checking . in SOFTWARE ENGINEERING AND FORMAL METHODS . vol. 9276 , Lecture Notes in Computer Science , pp. 251-267 . https://doi.org/10.1007/978-3-319-22969-0_18. , 2015

Link: https://research.manches..

12

Model Checking C Programs with Loops via k-Induction and In..:

Rocha, Herbert ; Ismail, Hussama ; Cordeiro, Lucas.
http://arxiv.org/abs/1502.02327. , 2015

Link: http://arxiv.org/abs/150..

13

Model Checking Embedded C Software using k-Induction and In..:

Rocha, Herbert ; Ismail, Hussama ; Cordeiro, Lucas.
http://arxiv.org/abs/1509.02471. , 2015

Link: http://arxiv.org/abs/150..

14

TOPONÍMIAS URBANAS DE SOBRAL NA METADE DO SÉCULO XIX:

Rocha, Herbert de Vasconcelos ; Frota Junior, Maximiano Barreto ; Juca Neto, Clovis Ramiro
http://www.periodicos.ufc.br/eu/article/view/14847/13822. , 2017

Link: http://www.periodicos.uf..

15

Veri???ca????o de sistemas de software baseada em transform..:

Rocha, Herbert Oliveira ; http://lattes.cnpq.br/2284500318304899
ROCHA, Herbert Oliveira. Veri???ca????o de sistemas de software baseada em transforma????es de c??digo usando Bounded Model Checking. 2015. 158 f. Tese (Doutorado em Inform??tica) - Universidade Federal do Amazonas, Manaus, 2015.. , 2015

Link: http://tede.ufam.edu.br/..