iFM-Phd 2024
PhD Symposium at iFM 2024

Table of Contents

• Preface
  Summary: There were 10 papers submitted for peer-review to this symposium. Out of these, 8 papers were accepted for this volume.

PhD Student Project Descriptions

• Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems 1-6
  Pauline Blohm , Paula Herber , Anne Remke
• Hybrid Games with Triggers 7-13
  Qais Hamareneh
• Exploring LLMs and Semantic XAI for Industrial Robot Capabilities and Manufacturing Commonsense Knowledge 14-22
  Muhammad Raza Naqvi , Arkopaul Sarkar , Farhad Ameri , Linda Elmhadhbi , Thierry Louge , Mohamed Hedi Karray
• Towards Correct-by-Construction Machine-Learnt Models 23-29
  Thomas Flinkow , Barak A. Pearlmutter , Rosemary Monahan
• Towards Logical Specification and Checking of Evasive Malware 30-37
  Andrei Mogage , Dorel Lucanu
• Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress) 38-48
  Gergely Buday , Andrei Popescu
• Challenges in Autonomous Robotic System Verification 49-53
  Huan Zhang , Hao Wu
• Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt 53-59
  Pierre Malafosse , Alexandre Albore , Jeremie Guiochet , Charles Lesire