ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Reactive synthesis, with its roots in the work of A. Church, presents a transformative approach for the formal methods community. It seeks to translate system behaviors expressed in Linear-Time Temporal Logic (LTL) into correct-by-construction models using synthesis tools. However, this approach faces substantial challenges. Among these challenges is the high computational complexity of LTL synthesis, which constrains its application to large-scale systems. Additionally, unrealizable specifications present a significant obstacle as they act as barriers, impeding the synthesis process. Furthermore, the presence of goal-conflicts within requirements introduces contradictions and ambiguity, further complicating the synthesis process. These issues collectively make synthesis demanding, often resulting in suboptimal or unviable systems. Our research is dedicated to establishing a robust framework that systematically addresses these challenges, effectively bridging the gap between high-level requirements and dependable system realization. We prioritize refining requirement precision and advancing scalable synthesis techniques, offering advanced tools and methodologies to practitioners and researchers.

I am a PhD student at IMDEA Software Institute, specializing in software analysis and engineering. My research delves into the intersection of formal methods, Search-Based Software Engineering, and the application of AI in software engineering (AI4SE).

Tue 16 Apr

Displayed time zone: Lisbon change

14:00 - 15:30
Focus Group: Software Models and SimulationsDoctoral Symposium at Fernando Pessoa
Chair(s): Matthew B Dwyer University of Virginia
14:00
90m
Poster
Automated Model Quality Estimation and Change Impact Analysis on Model Histories
Doctoral Symposium
14:00
90m
Poster
Sustainable Software Engineering: Visions and Perspectives beyond Energy Efficiency
Doctoral Symposium
Christoph König Karlsruhe Institute of Technology
14:00
90m
Poster
Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis
Doctoral Symposium
Felix Wallner Graz University of Technology, Institute of Software Technology
File Attached
14:00
90m
Poster
Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition
Doctoral Symposium
Matías Brizzio IMDEA Software Institute
Link to publication DOI
14:00
90m
Poster
Simulation-based Testing of Automated Driving Systems
Doctoral Symposium
Fauzia Khan University of Tartu, Estonia