Claudio Mandrioli and I published a journal extension to the @FSEconf 2020 paper in the IEEE Transaction on Software Engineering (. The paper extends both methodology and validation, the code for the additional case study is here:

The paper is now available at and will be presented on Friday July 9th as part of session 6 of ECRTS (. I hope to see many of you there!

RT @Saar_Uni: Saarland University introduces new bachelor’s degree courses in computer science taught entirely in English – and is the firs…

Claudio Mandrioli received the ACM Distinguished Paper Award for our paper "Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics" at @FSEconf 2020. Congrats! Paper and code are available at

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 (, the preprint is now available: