Daniel Larraz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RAID | A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework. | Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury |
| 2023 | FMCAD | CRV: Automated Cyber-Resiliency Reasoning for System Design Models. | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
| 2021 | FMICS | Merit and Blame Assignment with Kind 2. | Daniel Larraz, Mickal Laurent, Cesare Tinelli |
| 2020 | CADE | Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. | Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli |
| 2020 | FMCAD | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. | M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli |
| 2019 | FMCAD | Extending enumerative function synthesis via SMT-driven classification. | Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli |
| 2017 | TACAS | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2016 | SAT | Speeding up the Constraint-Based Method in Difference Logic. | Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2015 | FMCAD | Compositional Safety Verification with Max-SMT. | Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | CAV | Proving Non-termination Using Max-SMT. | Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | SAT | Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | FMCAD | Proving termination of imperative programs using Max-SMT. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | VMCAI | SMT-Based Array Invariant Generation. | Daniel Larraz, Enric Rodrguez-Carbonell, Albert Rubio |