Friday 10 November 2023
- Stefano Nicoletti, Marijn Peppelman, Christina Kolb, Marielle Stoelinga: 'Model-based joint analysis of safety and security: Survey and identification of gaps. Computer Science Review', in Elsevier's Computer Science Review Volume 50, November 2023;
- Caz Saaltink, Stefano Nicoletti, Matthias Volk, Moritz Ernst Hahn, Marielle Stoelinga: 'Solving Queries for Boolean Fault Tree Logic via Quantified SAT' paper from FTSCS’23 submitted to the Science of Computer Programming journal on a special issue devoted to extended versions of the top papers from FTSCS’23
- Tom van Dijk, Georg Loho, Matthew Maat: 'The worst-case complexity of symmetric strategy improvement' accepted for the 32nd EACSL Annual Conference on Computer Science Logic 2024