Black Ostrich: Web Application Scanning with String Solvers. - Benjamin Eriksson; Amanda Stjerna; Riccardo De Masellis; Philipp Rümmer; Andrei Sabelfeld (CCS, 2023)

A Constraint Solving Approach to Parikh Images of Regular Languages. - Amanda Stjerna; Philipp Rümmer (Proc. ACM Program. Lang., 2024)