?
2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) ,
1
Evaluation of Ginga's CC-Web-Service Module:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:
, In:
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
4
Rapid Taint Assisted Concolic Execution (TACE):
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
5
FuSeBMC_IA: Interval Analysis and Methods for Test Case Gen..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
6
QNNRepair: Quantized Neural Network Repair:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
7
EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:
, In:
?
Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering ,
8
The FormAI Dataset: Generative AI in Software Security thro..:
, In:
?
2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC) ,
9
Towards Integrity and Reliability in Embedded Systems: The ..:
, In:
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
10
ESBMC v7.3: Model Checking C++ Programs Using Clang AST:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
11
AIREPAIR: A Repair Platform for Neural Networks:
, In:
?
2023 IEEE International Conference on Communications Workshops (ICC Workshops) ,
12
Poisoning Attacks in Federated Edge Learning for Digital Tw..:
, In:
?
2023 International Conference on Smart Energy Systems and Technologies (SEST) ,
13
A Privacy-Preserving and Accountable Billing Protocol for P..:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
14
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
15