"30 Years of UPPAAL" Workshop
In November 2025, Sibylle Schupp gave a talk on "Online Model Checking with Uppaal" at the "30 Years of UPPAAL" celebration, which was organized as a track within the AISoLa 2025 conference.