Stefanie Muroya Lei

According to our database, Stefanie Muroya Lei authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, July, 2025

Vamos: Middleware for best-effort third-party monitoring.

Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger

Sci. Comput. Program., 2025

2024

VAMOS: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger

Dataset, April, 2024

2023

VAMOS: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger

Dataset, January, 2023

2021

Quantum Advantage for All.

Christoph M. Kirsch, Stefanie Muroya Lei

CoRR, 2021