Publications (116) Publications in which a researcher has participated


  1. PITS: An Intelligent Transportation System in pandemic times

    Engineering Applications of Artificial Intelligence, Vol. 114

  2. Mutation-inspired symbolic execution for software testing

    IET Software, Vol. 16, Núm. 5, pp. 478-492

  3. Mutation testing in the wild: findings from GitHub

    Empirical Software Engineering, Vol. 27, Núm. 6

  4. IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation

    IEEE Transactions on Reliability, Vol. 71, Núm. 3, pp. 1368-1380

  5. Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning

    Software and Systems Modeling, Vol. 21, Núm. 3, pp. 1091-1113

  6. Evaluation of alternative design choices for evolutionary mutation testing by means of automated configuration

    Software Quality Journal, Vol. 30, Núm. 1, pp. 101-126

  7. Evaluating a Flow-Based Programming Approach as an Alternative for Developing CEP Applications in IoT

    IEEE Internet of Things Journal, Vol. 9, Núm. 13, pp. 11489-11499

  8. EDALoCo: Enhancing the accessibility of blockchains through a low-code approach to the development of event-driven applications for smart contract management

    Computer Standards and Interfaces, Vol. 84

  9. Drawing the web structure and content analysis beyond the Tor darknet: Freenet as a case of study

    Journal of Information Security and Applications, Vol. 68

  10. Atmosphere: Context and situational-aware collaborative IoT architecture for edge-fog-cloud computing

    Computer Standards and Interfaces, Vol. 79

  11. Accurate semantic segmentation of RGB-D images for indoor navigation

    Journal of Electronic Imaging, Vol. 31, Núm. 6

  12. A psycho-educational intervention programme for parents with SGA foetuses supported by an adaptive mHealth system: design, proof of concept and usability assessment

    BMC Medical Informatics and Decision Making, Vol. 22

  13. A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports

    Computer Standards and Interfaces, Vol. 81

  14. A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions

    IEEE Transactions on Software Engineering, Vol. 48, Núm. 7, pp. 2584-2605