Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (157)

2023

  1. Inferring Needless Write Memory Accesses on Ethereum Bytecode

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

2022

  1. Love and Hate During Political Campaigns in Social Networks

    Studies in Computational Intelligence

  2. Military Applications of Machine Learning: A Bibliometric Perspective

    Mathematics, Vol. 10, Núm. 9

  3. Strategic Digitization of Tourism

    Smart Innovation, Systems and Technologies (Springer Science and Business Media Deutschland GmbH), pp. 515-525

  4. When COSTA Met KeY: Verified Cost Bounds

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37

2021

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

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

  2. An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights

    IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 46-54

  3. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

  4. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

  5. Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

    IEEE Access, Vol. 9, pp. 25495-25507

2020

  1. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

    IFIP Advances in Information and Communication Technology

  2. GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

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

  3. Smart, and also Reliable and Gas-Efficient, Contracts

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

2019

  1. GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures

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

  2. Grammar-based Tree Swarm Optimization

    2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC)

  3. Grammar-based tree swarm optimization

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

  4. La normalització en la terminologia i les indústries de la llengua: el treball del comitè tècnic de normalització UNE/CT 191

    Terminàlia, Núm. 20, pp. 50-55

  5. Peak resource analysis of concurrent distributed systems

    Journal of Systems and Software, Vol. 149, pp. 35-62

  6. SafeVM: A safety verifier for ethereum smart contracts

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

2018

  1. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247