Loading…
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
Loading…
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
Loading…
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
Loading…
Title Page iii
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online)
(14.06.2023)
Get full text
Conference Proceeding
Loading…
Preface
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online)
(14.06.2023)
Get full text
Conference Proceeding
Loading…
Title Page i
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online)
(14.06.2023)
Get full text
Conference Proceeding
Loading…
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
Loading…
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
Loading…
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
Loading…
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
Loading…
Loading…
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
Loading…
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
Yan, Fang, Foster, Simon, Habli, Ibrahim
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
Loading…
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
Loading…
Loading…
Loading…
Loading…
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts
Ge, Ning, Yang, Jinwen, Yu, Tianyu, Liu, Wei
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
Loading…
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
Loading…
Concolic execution for RPA testing
Paduraru, Ciprian, Cernat, Marina, Staicu, Adelina-Nicoleta
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