Original: https://ceur-ws.org/Vol-3860/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3860/ | Year: 2024

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 https://creativecommons.org/licenses/by/4.0/.

iFM-Phd 2024

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024
co-located with iFM 2024

Manchester, United Kingdom, November 12, 2024.

Edited by

Mădălina Eraşcu
Mattias Ulbrich

Table of Contents

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

2024-12-07: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|