Francisco Frechina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2013
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ESOP | Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. | Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia |
| 2012 | FM | Julienne: A Trace Slicer for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | LPAR | Backward Trace Slicing for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |