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
582013
SMT-based array invariant generation
D Larraz, E Rodríguez-Carbonell, A Rubio
International Workshop on Verification, Model Checking, and Abstract …, 2013
432013
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
372014
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
212014
Proving termination through conditional termination
C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
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
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
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
22019
SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces
MF Arif, D Larraz, M Echeverria, A Reynolds, O Chowdhury, C Tinelli
PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 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
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–16