Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oliveira, Lucas Cordeiro de
91  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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

Contributors:

, In: Interventional Psychiatry,
Batistuzzo, Marcelo Camargo ; Baune, Bernhard T. ; Bergfeld, Isidoor... - p. xvii-xxv , 2024
Link: https://doi.org/10.1016/..
 
?
3

Use of Red Mud in Soil Stabilization for Pavement Through A..:

, In: The Minerals, Metals & Materials Series; Characterization of Minerals, Metals, and Materials 2024,
Silva, Sarah Souza ; Mendes, Beatryz Cardoso ; da Silva, Taciano Oliveira... - p. 693-700 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Groundwater and Pesticides: Effects on Health, the Environm..:

, In: Advances in Business Strategy and Competitive Advantage; Green Economy and Renewable Energy Transitions for Sustainable Development,
de Souza-Fernandes, Luciana Cordeiro de Cordeiro ; Lima, Roberta Oliveira ; de Farias Seabra, Giovanni. - p. 224-236 , 2024
Link: https://doi.org/10.4018/..
 
?
5

Evaluation Methodology of Current Control Techniques for To..:

, In: 2023 IEEE 8th Southern Power Electronics Conference and 17th Brazilian Power Electronics Conference (SPEC/COBEP),
Rocha, Lucas Rossato ; Silva, Eduardo Cattani ; Alves Silva, Paulo Henrique... - p. 1-7 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A ..:

, In: Proceedings of the XXXVII Brazilian Symposium on Software Engineering,
Martins, ViníCius ; T. Ramalho, Camila ; Cordeiro Marques, Lucas... - p. 246-256 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

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

Towards explainable prediction of essay cohesion in Portugu..:

, In: LAK23: 13th International Learning Analytics and Knowledge Conference,
Oliveira, Hilário ; Ferreira Mello, Rafael ; Barreiros Rosa, Bruno Alexandre... - p. 509-519 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

QNNRepair: Quantized Neural Network Repair:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 320-339 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Evaluation of Ginga's CC-Web-Service Module:

, In: 2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan),
Oliveira, Sergillam Barroso ; da Silva Conceicao, Andre Ricardo ; de Lima Filho, Eddie Batista. - p. 697-698 , 2023
Link: https://doi.org/10.1109/..
 
?
11

FuSeBMC_IA: Interval Analysis and Methods for Test Case Gen..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Aldughaim, Mohannad ; Alshmrany, Kaled M. ; Gadelha, Mikhail R... - p. 324-329 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Poisoning Attacks in Federated Edge Learning for Digital Tw..:

, In: 2023 IEEE International Conference on Communications Workshops (ICC Workshops),
Ferrag, Mohamed Amine ; Kantarci, Burak ; Cordeiro, Lucas C... - p. 1253-1258 , 2023
Link: https://doi.org/10.1109/..
 
?
13

The FormAI Dataset: Generative AI in Software Security thro..:

, In: Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering,
Tihanyi, Norbert ; Bisztray, Tamas ; Jain, Ridhi... - p. 33-43 , 2023
Link: https://dl.acm.org/doi/1..
 
?
14

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

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