Abstract is missing.
- Challenges in testing of cyclic systemsAna Cavalcanti 0001, Robert M. Hierons. 1-6 [doi]
- Sports Analytics Using Probabilistic Model Checking and Deep LearningJin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin 0001. 7-11 [doi]
- Disproving XAI Myths with Formal Methods - Initial ResultsJoao Marques-Silva. 12-21 [doi]
- Supervised Robustness-preserving Data-free Neural Network PruningMark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong. 22-31 [doi]
- Quantitative Explainable AI For Face RecognitionShu Peng, Naipeng Dong, Guangdong Bai. 32-41 [doi]
- How to select samples for active learning? Document clustering with active learning methodologyNorbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak. 42-50 [doi]
- Certifying Semantic Robustness of Deep Neural NetworksHao Bu, Meng Sun 0002. 51-60 [doi]
- Reliability Analysis of Architectural Safeguards for AI-enabled SystemsMax Scheerer, Ralf H. Reussner. 61-70 [doi]
- AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language ContractsNing Ge, Jinwen Yang, Tianyu Yu, Wei Liu. 71-80 [doi]
- A Mathematical Model for Analyzing Honeynets and Their Cyber Deception TechniquesAmir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzaïd. 81-88 [doi]
- Expiring opacity problems in parametric timed automataÉtienne André, Engel Lefaucheux, Dylan Marinho. 89-98 [doi]
- Model Checking of Intersection Traffic Control ProtocolsYuya Noguchi, Tatsuhiro Tsuchiya. 99-107 [doi]
- Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair InspectionYujun Dai, Shaoying Liu, Guangquan Xu, ai Liu. 108-115 [doi]
- Polyglot AST: Towards Enabling Polyglot Code AnalysisPhilémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoît Combemale. 116-125 [doi]
- Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability ModelsQian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He 0001. 126-135 [doi]
- Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOLSimon Foster 0001, Burkhart Wolff. 136-141 [doi]
- Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of EntitiesPierfrancesco Bellini, Daniele Bologna, Marco Fanfani, Luciano Alessandro Ipsaro Palesi, Paolo Nesi, Gianni Pantaleo. 142-151 [doi]
- Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer AnalysisPingyan Wang, Shaoying Liu. 152-156 [doi]
- Specification and Verification of Communication Paradigms for CBSE in Event BLoïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix. 157-166 [doi]
- Automated Compositional Verification for Robotic State Machines using Isabelle/HOLFang Yan, Simon Foster 0001, Ibrahim Habli. 167-176 [doi]
- Stability-aware Exploration of Design Space of Autonomous Robots for Goods DeliveryMauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto. 177-186 [doi]
- Concolic execution for RPA testingCiprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu. 187-196 [doi]
- *Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah. 197-206 [doi]
- Validating communication of a dynamic traffic management systemJ. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda. 207-215 [doi]
- Formal alignment of requirements models with high-level architecture modelsRacem Bougacha, Régine Laleau, Simon Collart Dutilleul. 216-225 [doi]