![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
27th ICECCS 2023: Toulouse, France
- Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry:
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023. IEEE 2023, ISBN 979-8-3503-4004-4 - Ana Cavalcanti, Robert M. Hierons:
Challenges in testing of cyclic systems. 1-6 - 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. 7-11 - João Marques-Silva:
Disproving XAI Myths with Formal Methods - Initial Results. 12-21 - Mark Huasong Meng, Guangdong Bai
, Sin G. Teo, Jin Song Dong:
Supervised Robustness-preserving Data-free Neural Network Pruning. 22-31 - Shu Peng, Naipeng Dong, Guangdong Bai:
Quantitative Explainable AI For Face Recognition. 32-41 - 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. 42-50 - Hao Bu, Meng Sun:
Certifying Semantic Robustness of Deep Neural Networks. 51-60 - Max Scheerer, Ralf H. Reussner:
Reliability Analysis of Architectural Safeguards for AI-enabled Systems. 61-70 - Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu:
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. 71-80 - Amir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzaïd:
A Mathematical Model for Analyzing Honeynets and Their Cyber Deception Techniques. 81-88 - Étienne André, Engel Lefaucheux, Dylan Marinho:
Expiring opacity problems in parametric timed automata. 89-98 - Yuya Noguchi, Tatsuhiro Tsuchiya:
Model Checking of Intersection Traffic Control Protocols. 99-107 - Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
:
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. 108-115 - Philémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoît Combemale:
Polyglot AST: Towards Enabling Polyglot Code Analysis. 116-125 - 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. 126-135 - Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. 136-141 - 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. 142-151 - Pingyan Wang, Shaoying Liu:
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. 152-156 - Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix:
Specification and Verification of Communication Paradigms for CBSE in Event B. 157-166 - Fang Yan, Simon Foster, Ibrahim Habli:
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. 167-176 - 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. 177-186 - Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu:
Concolic execution for RPA testing. 187-196 - Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah:
An Experience Report on the Optimization of the Product Configuration System of Renault *. 197-206 - J. J. Verbakel, Wan J. Fokkink
, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Validating communication of a dynamic traffic management system. 207-215 - Racem Bougacha, Régine Laleau, Simon Collart Dutilleul:
Formal alignment of requirements models with high-level architecture models. 216-225
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.