Vol-3860
urn:nbn:de:0074-3860-3

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

iFM-Phd 2024
PhD Symposium at iFM 2024

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024)

Manchester, United Kingdom, November 12, 2024.

Edited by

Mădălina Eraşcu¹
Mattias Ulbrich²

¹ West University of Timişoara, Timişoara, Romania
² Karlsruhe Institute of Technology, Karlsruhe, Germany

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

2024-11-07: submitted by Mattias Ulbrich, metadata incl. bibliographic data published under Creative Commons CC0
2024-12-07: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|