Ricardo Pea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2017
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ATVA | Liquid Types for Array Invariant Synthesis. | Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura |
| 2015 | LOPSTR | A Generic Intermediate Representation for Verification Condition Generation. | Manuel Montenegro, Ricardo Pea, Jaime Snchez-Hernndez |
| 2013 | PPDP | Shape analysis in a functional language by using regular languages. | Manuel Montenegro, Ricardo Pea, Clara Segura |
| 2011 | FM | Certification of Safe Polynomial Memory Bounds. | Javier de Dios, Ricardo Pea |
| 2010 | IFM | Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. | Javier de Dios, Manuel Montenegro, Ricardo Pea |