FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Mon 28 Apr 2025 12:00 - 12:30 at 203 - Session 4 – Generative AI and Fuzzy Logic

A relevant issue in managing a complex software system is the quantitative assessment of the fulfillment degree of its requirements, as it provides a sound basis for identifying suitable design time or runtime corrective actions. However, this quantitative assessment must cope with the uncertainty that could affect the requirements specification and the data used in the assessment process. We tackle this problem, assuming the system requirements are specified through a hierarchical goal model. For this case, we propose an approach rooted in the fuzzy set and fuzzy logic theory for the quantitative assessment of the fulfillment degree of the goals specified in the goal model, considering the different kinds of uncertainty that could be present. Our result enriches the methodological and practical toolset available for managing complex software systems in uncertain scenarios, complementing other approaches based on different formal frameworks like probability theory.

This program is tentative and subject to change.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 4 – Generative AI and Fuzzy LogicResearch Track at 203
11:00
30m
Talk
LLM-based Generation of Weakest Preconditions and Precise Array Invariants
Research Track
Daragh King Trinity College Dublin, Vasileios Koutavas Trinity College Dublin, Laura Kovács TU Wien
11:30
30m
Talk
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
Research Track
Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology, Khashayar Etemadi KTH Royal Institute of Technology, Mattias Nyberg Scania CV, AB & KTH Royal Institute of Technology
12:00
30m
Talk
Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Research Track
Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University