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