Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oliveira, Lucas Cordeiro de
66  Ergebnisse:
Buchkapitel (Online) X
englisch 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

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

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

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

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

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

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://doi.org/10.1145/..
 
?
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

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

Summary of Model Checking C++ Programs:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Monteiro, Felipe R. ; Gadelha, Mikhail R. ; Cordeiro, Lucas C. - p. 461-461 , 2022
Link: https://doi.org/10.1109/..
 
?
13

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

SMT-Based Refutation of Spurious Bug Reports in the Clang S..:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
R. Gadelha, Mikhail ; Steffinlongo, Enrico ; C. Cordeiro, Lucas.. - p. 11-14 , 2019
Link: https://doi.org/10.1109/..
 
?
15

SMT-based refutation of spurious bug reports in the clang s..:

, In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings,
Gadelha, Mikhail R. ; Steffinlongo, Enrico ; Cordeiro, Lucas C... - p. 11-14 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15