Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning
Gong, Xi, Xing, Zhenchang, Li, Xiaohong, Feng, Zhiyong, Han, Zhuobing
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Get full text
Conference Proceeding
Disproving XAI Myths with Formal Methods - Initial Results
Marques-Silva, Joao
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform
Feng, Ruitao, Chen, Sen, Xie, Xiaofei, Ma, Lei, Meng, Guozhu, Liu, Yang, Lin, Shang-Wei
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Get full text
Conference Proceeding
Sports Analytics Using Probabilistic Model Checking and Deep Learning
Dong, Jin Song, Jiang, Kan, Liu, Zhaoyu, Dong, Chen, Hou, Zhe, Hundal, Rajdeep Singh, Guo, Jingyu, Lin, Yun
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks
Dong, Yizhen, Zhang, Peixin, Wang, Jingyi, Liu, Shuang, Sun, Jun, Hao, Jianye, Wang, Xinyu, Wang, Li, Dong, Jinsong, Dai, Ting
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Get full text
Conference Proceeding
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks
Hou, Zhe, Li, Qinyi, Foo, Ernest, Dong, Jin Song, de Souza, Paulo
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Get full text
Conference Proceeding
Expiring opacity problems in parametric timed automata
Andre, Etienne, Lefaucheux, Engel, Marinho, Dylan
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of Entities
Bellini, P., Bologna, D., Fanfani, M., Ipsaro Palesi, L. A., Nesi, P., Pantaleo, G.
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding
Cheng, Xiao, Wang, Haoyu, Hua, Jiayi, Zhang, Miao, Xu, Guoai, Yi, Li, Sui, Yulei
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Get full text
Conference Proceeding
Supervised Robustness-preserving Data-free Neural Network Pruning
Meng, Mark Huasong, Bai, Guangdong, Teo, Sin G., Dong, Jin Song
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Certifying Semantic Robustness of Deep Neural Networks
Bu, Hao, Sun, Meng
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Quantitative Explainable AI For Face Recognition
Peng, Shu, Dong, Naipeng, Bai, Guangdong
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Polyglot AST: Towards Enabling Polyglot Code Analysis
Houdaille, Philemon, Khelladi, Djamel Eddine, Briend, Romain, Jongeling, Robbert, Combemale, Benoit
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Challenges in testing of cyclic systems
Cavalcanti, Ana, Hierons, Robert M.
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
How to select samples for active learning? Document clustering with active learning methodology
Ropiak, Norbert, Gniewkowski, Mateusz, Swedrowski, Michal, Pogoda, Michal, Gawron, Karol, Bojanowski, Bartlomiej, Walkowiak, Tomasz
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding