Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Larraz Hurtado, Daniel

Total activitats: 9
Grup de recerca
LOGPROG - Lògica i Programació
Departament
Departament de Ciències de la Computació
Correu electrònic
dlarrazcs.upc.edu
Dades de contacte
Directori de la UPC Obrir en finestra nova
Orcid
0000-0001-5305-7340 Obrir en finestra nova
Completa les teves dades

Producció científica

1 a 9 de 9 resultats
 
  • Speeding up the constraint-based method in difference logic  Accés obert

     Candeago, L.; Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 284-301
    DOI: 10.1007/978-3-319-40970-2_18
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • Compositional safety verification with Max-SMT  Accés obert

     Brockschmidt, M.; Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
    International Conference on Formal Methods in Computer-Aided Design
    p. 33-40
    Data de presentació: 2015-09-28
    Presentació treball a congrés
    Accés al text complet
  • Automatic Program Analysis using Max-SMT  Accés obert  Activitat premiada

     Larraz, D.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Minimal-model-guided approaches to solving polynomial constraints and extensions  Accés obert

     Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 333-350
    DOI: 10.1007/978-3-319-09284-3-25
    Data de presentació: 2014-07
    Presentació treball a congrés
    Accés al text complet
  • Una aproximación declarativa al modelado, análisis y resolución de problemas

     Rubio, A.; Rollon, E.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Nivela, M.; Rivero, J.; Borralleras, C.; Rodriguez, E.; Oliveras, A.; Larraz, D.
    Projecte R+D+I competitiu
  • Proving non-termination using max-SMT  Accés obert

     Larraz, D.; Nimkar, K.; Oliveras, A.; Rodriguez, E.; Rubio, A.
    International Conference on Computer Aided Verification
    p. 779-796
    DOI: 10.1007/978-3-319-08867-9_52
    Presentació treball a congrés
    Accés al text complet
  • Proving termination of imperative programs using Max-SMT  Accés obert

     Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
    International Conference on Formal Methods in Computer-Aided Design
    p. 218-225
    Data de presentació: 2013-10-23
    Presentació treball a congrés
    Accés al text complet
  • SMT-based array invariant generation

     Larraz, D.; Rodriguez, E.; Rubio, A.
    International Conference on Verification, Model Checking, and Abstract Interpretation
    p. 169-188
    Data de presentació: 2013-01-20
    Presentació treball a congrés
  • Sweetlogics-UPC

     Rubio, A.; Valles, B.; Rivero, J.; Godoy, G.; Messeguer, X.; Asín, R.J.; Oliveira, A.; Abío, I.; Nivela, M.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Larraz, D.; Rollon, E.; Larrosa, J.
    Projecte R+D+I competitiu