Runtime Monitor Synthesis for Automotive Software Architectures. - Fazli Faruk Okumus; João-Vitor Zacchi; Maike Salfeld; Markus Schweizer; Núria Mata; Stefan Kugele (ECSA, 2025)

A Systematic Mapping Study on Contract-based Software Design for Dependable Systems. - Fazli Faruk Okumus; Amra Ramic; Stefan Kugele (CoRR, 2025)