1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2023
Default Cover Image

2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)

June 14 2023 to June 16 2023

Toulouse, France

ISBN: 979-8-3503-4004-4

Table of Contents

Title Page iFreely available from IEEE.pp. 1-1
Title Page iiiFreely available from IEEE.pp. 3-3
Copyright PageFreely available from IEEE.pp. 4-4
Table of ContentsFreely available from IEEE.pp. 5-8
PrefaceFreely available from IEEE.pp. 9-9
Organizing CommitteeFreely available from IEEE.pp. 10-10
Program CommitteeFreely available from IEEE.pp. 11-12
Steering CommitteeFreely available from IEEE.pp. 13-13
ReviewersFreely available from IEEE.pp. 14-14
Challenges in testing of cyclic systemsFull-text access may be available. Sign in or learn about subscription options.pp. 1-6
by Ana Cavalcanti, Robert M. Hierons
Sports Analytics Using Probabilistic Model Checking and Deep LearningFull-text access may be available. Sign in or learn about subscription options.pp. 7-11
by Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
Disproving XAI Myths with Formal Methods – Initial ResultsFull-text access may be available. Sign in or learn about subscription options.pp. 12-21
by Joao Marques-Silva
Supervised Robustness-preserving Data-free Neural Network PruningFull-text access may be available. Sign in or learn about subscription options.pp. 22-31
by Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong
Quantitative Explainable AI For Face RecognitionFull-text access may be available. Sign in or learn about subscription options.pp. 32-41
by Shu Peng, Naipeng Dong, Guangdong Bai
How to select samples for active learning? Document clustering with active learning methodologyFull-text access may be available. Sign in or learn about subscription options.pp. 42-50
by Norbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak
Certifying Semantic Robustness of Deep Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Hao Bu, Meng Sun
Reliability Analysis of Architectural Safeguards for AI-enabled SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 61-70
by Max Scheerer, Ralf Reussner
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language ContractsFull-text access may be available. Sign in or learn about subscription options.pp. 71-80
by Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu
A Mathematical Model for Analyzing Honeynets and Their Cyber Deception TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 81-88
by Amir Javadpour, Forough Ja’Fari, Tarik Taleb, Chafika Benzaïd
Expiring opacity problems in parametric timed automataFull-text access may be available. Sign in or learn about subscription options.pp. 89-98
by Étienne André, Engel Lefaucheux, Dylan Marinho
Model Checking of Intersection Traffic Control ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 99-107
by Yuya Noguchi, Tatsuhiro Tsuchiya
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair InspectionFull-text access may be available. Sign in or learn about subscription options.pp. 108-115
by Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
Polyglot AST: Towards Enabling Polyglot Code AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 116-125
by Philémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoit Combemale
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 126-135
by Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOLFull-text access may be available. Sign in or learn about subscription options.pp. 136-141
by Simon Foster, Burkhart Wolff
Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of EntitiesFull-text access may be available. Sign in or learn about subscription options.pp. 142-151
by P. Bellini, D. Bologna, M. Fanfani, L. A. Ipsaro Palesi, P. Nesi, G. Pantaleo
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 152-156
by Pingyan Wang, Shaoying Liu
Specification and Verification of Communication Paradigms for CBSE in Event BFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
Automated Compositional Verification for Robotic State Machines using Isabelle/HOLFull-text access may be available. Sign in or learn about subscription options.pp. 167-176
by Fang Yan, Simon Foster, Ibrahim Habli
Stability-aware Exploration of Design Space of Autonomous Robots for Goods DeliveryFull-text access may be available. Sign in or learn about subscription options.pp. 177-186
by Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Concolic execution for RPA testingFull-text access may be available. Sign in or learn about subscription options.pp. 187-196
by Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu
An Experience Report on the Optimization of the Product Configuration System of Renault *Full-text access may be available. Sign in or learn about subscription options.pp. 197-206
by Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom Messan Hillah
Validating communication of a dynamic traffic management systemFull-text access may be available. Sign in or learn about subscription options.pp. 207-215
by Jeroen Verbakel, Wan Fokkink, Joanna Van De Mortel-Fronczak, Jacobus Rooda
Formal alignment of requirements models with high-level architecture modelsFull-text access may be available. Sign in or learn about subscription options.pp. 216-225
by Racem Bougacha, Régine Laleau, Simon Collart-Dutilleul
Author IndexFreely available from IEEE.pp. 227-228
Showing 35 out of 35