Daniel Larraz
Title
Cited by
Cited by
Year
Proving termination of imperative programs using Max-SMT
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
2013 Formal Methods in Computer-Aided Design, 218-225, 2013
572013
SMT-based array invariant generation
D Larraz, E Rodríguez-Carbonell, A Rubio
International Workshop on Verification, Model Checking, and Abstract …, 2013
422013
Proving non-termination using Max-SMT
D Larraz, K Nimkar, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Computer Aided Verification, 779-796, 2014
392014
Proving termination through conditional termination
C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
222017
Minimal-model-guided approaches to solving polynomial constraints and extensions
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Theory and Applications of Satisfiability …, 2014
222014
Compositional safety verification with Max-SMT
M Brockschmidt, D Larra, A Oliveras, E Rodrıguez-Carbonell, A Rubio
2015 Formal Methods in Computer-Aided Design (FMCAD), 33-40, 2015
122015
Extending enumerative function synthesis via SMT-driven classification
H Barbosa, A Reynolds, D Larraz, C Tinelli
2019 Formal Methods in Computer Aided Design (FMCAD), 212-220, 2019
72019
Architectural and behavioral analysis for cyber security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
52019
Speeding up the constraint-based method in difference logic
L Candeago, D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Theory and Applications of Satisfiability …, 2016
52016
VeryMax: Tool description for term-COMP 2016
C Borralleras, D Larraz, A Oliveras, JM Rivero, E Rodrıguez-Carbonell, ...
15th International Workshop on Termination, 18, 2016
32016
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ...
Systems 9 (1), 18, 2021
2021
SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces
MF Arif, D Larraz, M Echeverria, A Reynolds, O Chowdhury, C Tinelli
2020 Formal Methods in Computer Aided Design (FMCAD), 93-103, 2020
2020
Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
A Reynolds, H Barbosa, D Larraz, C Tinelli
International Joint Conference on Automated Reasoning, 141-160, 2020
2020
Incomplete SMT techniques for solving non-linear formulas over the integers
C Borralleras, D Larraz, E Rodríguez-Carbonell, A Oliveras, A Rubio
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-36, 2019
2019
Automatic program analysis using Max-SMT
D Larraz Hurtado
Universitat Politècnica de Catalunya, 2015
2015
Automatic generation of loop invariants
D Larraz Hurtado
Universitat Politècnica de Catalunya, 2011
2011
SAT/SMT
S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina, A Cimatti, ...
Program Termination analysis using MAX-SMT
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
13th International Workshop on Termination (WST 2013), 64, 0
The system can't perform the operation now. Try again later.
Articles 1–18