Daniel Larraz

According to our database, Daniel Larraz authored at least 17 papers between 2013 and 2024.

Collaborative distances:

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

2024

A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework.

Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury

Proceedings of the 27th International Symposium on Research in Attacks, 2024

2023

CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Realizability Checking of Contracts with Kind 2.

Daniel Larraz, Cesare Tinelli

CoRR, 2022

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury

Syst., 2021

Merit and Blame Assignment with Kind 2.

Daniel Larraz, Mickaël Laurent, Cesare Tinelli

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.

M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis.

Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.

Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio

ACM Trans. Comput. Log., 2019

Extending enumerative function synthesis via SMT-driven classification.

Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2017

Proving Termination Through Conditional Termination.

Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Speeding up the Constraint-Based Method in Difference Logic.

Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2015

Automatic program analysis using Max-SMT.

Daniel Larraz

PhD thesis, 2015

Compositional Safety Verification with Max-SMT.

Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions.

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Proving Non-termination Using Max-SMT.

Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

SMT-Based Array Invariant Generation.

Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Verification, 2013

Proving termination of imperative programs using Max-SMT.

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Formal Methods in Computer-Aided Design, 2013