Quantum Advantage for All. - Christoph M. Kirsch; Stefanie Muroya Lei (CoRR, 2021)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2023)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2024)

Vamos: Middleware for best-effort third-party monitoring. - Marek Chalupa; Fabian Muehlboeck; Stefanie Muroya Lei; Thomas A. Henzinger (Sci. Comput. Program., 2025)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams. - Anna Bolotina; Christoph M. Kirsch; Stefanie Muroya Lei; Matthias Pleschinger (CoRR, 2025)