default search action

combined dblp search
author search
venue search
publication search

ask others

PhD@IFM 2024: Manchester, UK

> Home > Conferences and Workshops > IFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/ifm/2024phd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2024phd
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. CEUR Workshop Proceedings 3860, CEUR-WS.org 2024

PhD Student Project Descriptions

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/BlohmHR24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BlohmHR24a
Pauline Blohm, Paula Herber, Anne Remke:
Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. 1-6
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/Hamareneh24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Hamareneh24
Qais Hamareneh:
Hybrid Games with Triggers. 7-13
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/NaqviSAELK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/NaqviSAELK24
Muhammad Raza Naqvi, Arkopaul Sarkar, Farhad Ameri, Linda Elmhadhbi, Thierry Louge, Mohamed-Hedi Karray:
Exploring LLMs and Semantic XAI for Industrial Robot Capabilities and Manufacturing Commonsense Knowledge. 14-22
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/FlinkowPM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FlinkowPM24
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan:
Towards Correct-by-Construction Machine-Learnt Models. 23-29
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/MogageL24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MogageL24a
Andrei Mogage, Dorel Lucanu:
Towards Logical Specification and Checking of Evasive Malware. 30-37
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/Buday024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Buday024
Gergely Buday, Andrei Popescu:
Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress). 38-48
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/ZhangW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ZhangW24
Huan Zhang, Hao Wu:
Challenges in Autonomous Robotic System Verification. 49-53
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifm/MalafosseAGL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MalafosseAGL24
Pierre Malafosse, Alexandre Albore, Jérémie Guiochet, Charles Lesire:
Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt. 53-59

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.