🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

During the past year, we have been working on how to prove the stability of closed-loop systems when the controller can miss a maximum number of consecutive deadlines - we have a paper at #ECRTS20 (ecrts.org), the preprint is now available: tinyurl.com/yd8mh77j.

Claudio Mandrioli received the ACM Distinguished Paper Award for our paper "Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics" at FSE 2025 2020. Congrats! Paper and code are available at github.com/ManCla/ESEC-FS….

Saarland University introduces new bachelor’s degree courses in computer science taught entirely in English – and is the first German state university to do so (Photo: O. Dietze) Saarland Informatics Campus : idw-online.de/de/news767840

Claudio Mandrioli and I published a journal extension to the FSE 2025 2020 paper in the IEEE Transaction on Software Engineering (doi.org/10.1109/TSE.20…). The paper extends both methodology and validation, the code for the additional case study is here: github.com/ManCla/TRAPP.