Alicia Merayo

According to our database, Alicia Merayo authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

When COSTA Met KeY: Verified Cost Bounds.

Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Certified Abstract Cost Analysis.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Lower-Bound Synthesis Using Loop Specialization and Max-SMT.

Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021