ICECCS

Publications

2023

Étienne André, Engel Lefaucheux, Dylan Marinho
Expiring opacity problems in parametric timed automata. ICECCS (2023)
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023 ICECCS (2023)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul
Formal alignment of requirements models with high-level architecture models. ICECCS (2023)
Hao Bu, Meng Sun
Certifying Semantic Robustness of Deep Neural Networks. ICECCS (2023)
Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS (2023)
Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu
Concolic execution for RPA testing. ICECCS (2023)
Joao Marques-Silva
Disproving XAI Myths with Formal Methods - Initial Results. ICECCS (2023)
Norbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak
How to select samples for active learning? Document clustering with active learning methodology. ICECCS (2023)
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS (2023)
Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong
Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS (2023)
Max Scheerer, Ralf H. Reussner
Reliability Analysis of Architectural Safeguards for AI-enabled Systems. ICECCS (2023)
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS (2023)
Yuya Noguchi, Tatsuhiro Tsuchiya
Model Checking of Intersection Traffic Control Protocols. ICECCS (2023)
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
Specification and Verification of Communication Paradigms for CBSE in Event B. ICECCS (2023)
Pingyan Wang, Shaoying Liu
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. ICECCS (2023)
Pierfrancesco Bellini, Daniele Bologna, Marco Fanfani, Luciano Alessandro Ipsaro Palesi, Paolo Nesi, Gianni Pantaleo
Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of Entities. ICECCS (2023)
J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Validating communication of a dynamic traffic management system. ICECCS (2023)
Shu Peng, Naipeng Dong, Guangdong Bai
Quantitative Explainable AI For Face Recognition. ICECCS (2023)
Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. ICECCS (2023)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah
. ICECCS (2023)
Ana Cavalcanti, Robert M. Hierons
Challenges in testing of cyclic systems. ICECCS (2023)
Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. ICECCS (2023)
Simon Foster, Burkhart Wolff
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS (2023)
Amir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzaïd
A Mathematical Model for Analyzing Honeynets and Their Cyber Deception Techniques. ICECCS (2023)
Philémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoît Combemale
Polyglot AST: Towards Enabling Polyglot Code Analysis. ICECCS (2023)
Fang Yan, Simon Foster, Ibrahim Habli
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ICECCS (2023)

2022