Publications en collaboration avec des chercheurs de Universidad Politécnica de Madrid (156)

2024

  1. A novel adaptive vehicle speed recommender fuzzy system for autonomous vehicles on conventional two-lane roads

    Expert Systems, Vol. 41, Núm. 2

  2. Driving Behaviour Estimation System Considering the Effect of Road Geometry by Means of Deep NN and Hotelling Transform

    Electronics (Switzerland), Vol. 13, Núm. 3

  3. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT

    ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis

2023

  1. Abnormal Driving Behavior Identification Based on Naturalistic Driving Data Using LSTM Recurrent Neural Networks

    Lecture Notes in Networks and Systems

  2. Comparison of Deep Reinforcement Learning Path-Following System Based on Road Geometry and an Adaptive Cruise Control for Autonomous Vehicles

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

  3. 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)

  4. Primera aproximación al modelado y control de tráfico

    XLIV Jornadas de Automática: libro de actas: Universidad de Zaragoza, Escuela de Ingeniería y Arquitectura, 6, 7 y 8 de septiembre de 2023, Zaragoza

  5. Vehicle Warning System Based on Road Curvature Effect Using CNN and LSTM Neural Networks

    Lecture Notes in Networks and Systems

2022

  1. Automated vehicles in swarm configuration: Simulation and analysis

    Neurocomputing, Vol. 501, pp. 679-693

  2. Fuzzy expert system for road type identification and risk assessment of conventional two-lane roads

    Expert Systems, Vol. 39, Núm. 9

  3. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

  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. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

  3. Executive functions influence on memory process in patients with paranoid schizophrenia and bipolar disorders with and without psychotic symptoms: A pilot study

    The Spanish Journal of Psychology, Núm. 24

  4. Fuzzy-Logic Based Identification of Conventional Two-Lane Roads

    Advances in Intelligent Systems and Computing

  5. Fuzzy-Logic Based Identification of Conventional Two-Lane Roads

    15th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2020): Burgos, Spain ; September 2020

  6. Swarm Modelling Considering Autonomous Vehicles for Traffic Jam Assist Simulation

    Advances in Intelligent Systems and Computing

  7. Swarm Modelling Considering Autonomous Vehicles for Traffic Jam Assist Simulation

    15th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2020): Burgos, Spain ; September 2020

2020

  1. 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)