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

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

List of contributors:

, In: Applications of Nanocomposite Materials in Drug Delivery,
Ahmad, Mudasir ; Ahmad, Syed A. ; Akbar, Noreen Sher... - p. xv-xxii , 2018
Link: https://doi.org/10.1016/..
 
?
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

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

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

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

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

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

A Privacy-Preserving and Accountable Billing Protocol for P..:

, In: 2023 International Conference on Smart Energy Systems and Technologies (SEST),
Erdayandi, Kamil ; Cordeiro, Lucas C. ; Mustafa, Mustafa A. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
11

AIREPAIR: A Repair Platform for Neural Networks:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 98-101 , 2023
Link: https://doi.org/10.1109/..
 
?
12

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

CEG4N: Counter-Example Guided Neural Network Quantization R..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Wit4Java: A Violation-Witness Validator for Java Verifiers ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Tong ; Schrammel, Peter ; Cordeiro, Lucas C. - p. 484-489 , 2022
Link: https://doi.org/10.1007/..
 
?
15

ESBMC-solidity : an SMT-based model checker for solidity..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://dl.acm.org/doi/1..
 
1-15