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
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
Title Page iii
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online)
(14.06.2023)
Get full text
Conference Proceeding
Preface
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online)
(14.06.2023)
Get full text
Conference Proceeding
Title Page i
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
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
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
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
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
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
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
Reliability Analysis of Architectural Safeguards for AI-enabled Systems
Scheerer, Max, Reussner, Ralf
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
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