Publicaciones en colaboración con investigadores/as de University College London (8)

2022

  1. Self-organization of plasticity and specialization in a primitively social insect

    Cell Systems, Vol. 13, Núm. 9, pp. 768-779.e4

  2. Super-optimization of Smart Contracts

    ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

2020

  1. Synthesis of Super-Optimized Smart Contracts Using Max-SMT

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. SDN-Actors: Modeling and verification of SDN programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Introduction to the special issue on Mutation Testing

    Software Testing Verification and Reliability

2014

  1. Proving non-termination using max-SMT

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)