Alicia Merayo

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Column Generation

Program Synthesis

Sufficiently Accurate

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

Publications

Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez
When COSTA Met KeY: Verified Cost Bounds. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
Certified Abstract Cost Analysis. FASE (2021)
Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio
Lower-Bound Synthesis Using Loop Specialization and Max-SMT. CAV (2) (2021)