What's the problem? interrogating actors to identify the root cause of concurrency bugs. - Carmen Torres Lopez; Louise Van Verre; Elisa Gonzalez Boix (AGERE!@SPLASH, 2021)

FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. - Louise Van Verre; Humberto Rodríguez-Avila; Jens Nicolay; Wolfgang De Meuter (REBLS@SPLASH, 2022)