I agree that this site is using cookies. You can find further informations here.
X
Cordeiro, Victor Menezes
24  results:
Bookchapter (Online) X
Search for persons X
?
1

Data Protection Litigation System Under the GDPR:

, In: The Legal Challenges of the Fourth Industrial Revolution; Law, Governance and Technology Series,
Menezes Cordeiro, António Barreto - p. 235-248 , 2023
Link: https://doi.org/10.1007/..
 
?
2

A model based on the finite element method for estimating t..:

, In: 2024 IEEE Electrical Insulation Conference (EIC),
de Oliveira, Ana Beatriz Farias ; Dos Santos Araujo, Elaine ; Xavier, George Victor Rocha... - p. 55-58 , 2024
Link: https://doi.org/10.1109/..
 
?
3

ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Menezes, Rafael Sá ; Aldughaim, Mohannad ; Farias, Bruno... - p. 376-380 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Methods for mapping salt pollution deposition in insulation:

, In: 2024 IEEE Electrical Insulation Conference (EIC),
Dos Santos Araujo, Elaine ; Farias de Oliveira, Ana Beatriz ; Silveira Araujo, Bruno Vinicius... - p. 59-62 , 2024
Link: https://doi.org/10.1109/..
 
?
5

Towards Integrity and Reliability in Embedded Systems: The ..:

, In: 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC),
Silvestrim, Rafael G. ; Trigo, Felipe V. ; Rocha, Williame... - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
6

EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Aljaafari, Fatimah ; Shmarov, Fedor ; Manino, Edoardo.. - p. 541-546 , 2023
Link: https://doi.org/10.1007/..
 
?
7

ESBMC v7.3: Model Checking C++ Programs Using Clang AST:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Song, Kunjian ; Gadelha, Mikhail R. ; Brauße, Franz.. - p. 141-152 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Digital Image Processing Applied to the Reduction of Subjec..:

, In: 2023 IEEE Electrical Insulation Conference (EIC),
Rodrigues, Gustavo Aragao ; Cordeiro, Charles Antony ; Araujo, Bruno Vinicius Silveira... - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
9

ESBMC-Jimple: verifying Kotlin programs via jimple intermed..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Menezes, Rafael ; Moura, Daniel ; Cavalcante, Helena.. - p. 777-780 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

ESBMC-CHERI: towards verification of C programs for CHERI p..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Brauße, Franz ; Shmarov, Fedor ; Menezes, Rafael... - p. 773-776 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

Analysis of the Elasto-Plastic Behavior of SAE 1045 Steel S..:

, In: Characterization of Minerals, Metals, and Materials 2021; The Minerals, Metals & Materials Series,
Cordeiro, Matheus Henriques ; Souza, Victor Barbosa ; Lima, Amanda Camerini. - p. 57-67 , 2021
Link: https://doi.org/10.1007/..
 
?
12

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabil..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Alshmrany, Kaled M. ; Menezes, Rafael S. ; Gadelha, Mikhail R.. - p. 363-367 , 2021
Link: https://doi.org/10.1007/..
 
?
13

ESBMC: Scalable and Precise Test Generation based on the Fl..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Gadelha, Mikhail R. ; Menezes, Rafael ; Monteiro, Felipe R... - p. 525-529 , 2020
Link: https://doi.org/10.1007/..
 
?
14

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/..
 
?
15

A Novel Recommendation System for Next Feature in Software:

, In: Intelligent Data Engineering and Automated Learning – IDEAL 2019; Lecture Notes in Computer Science,
Prata, Victor R. ; Moreira, Ronaldo S. ; Cordeiro, Luan S.... - p. 494-501 , 2019
Link: https://doi.org/10.1007/..
 
1-15