Publicaciones (66) Publicaciones en las que ha participado algún/a investigador/a

2022

  1. A Max-SMT Superoptimizer for EVM handling Memory and Storage

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

  2. A Simple Rewrite System for the Normalization of Linear Temporal Logic

    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. 208-227

  3. A Tool for Evaluating the Quality of Online Teaching

    Lecture Notes in Networks and Systems

  4. A tool to certify dynamic benchmarks

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

  5. Adaptative Systems Based on Continuous Observation of Petri Net Product Lines

    CEUR Workshop Proceedings

  6. An Analysis of Learning Platforms based on their Academic Assessment Instruments

    2022 17th Latin American Conference on Learning Technologies, LACLO 2022

  7. An Approach to Modeling a Real-Time Updated Environment Based on Messages from Agents

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

  8. An Overview of the Maude Strategy Language and its Applications

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

  9. An integrated tool set for verifying CafeOBJ specifications

    Journal of Systems and Software, Vol. 189

  10. Analysing Product Lines of Concurrent Systems with Coloured Petri Nets

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  11. Analyzing the reliability of simulated distributed systems using Metamorphic Testing

    Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022

  12. Authoring and playing interactive fiction with conventional web technologies

    Multimedia Tools and Applications, Vol. 81, Núm. 11, pp. 14705-14747

  13. Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities

    2022 IEEE Congress on Evolutionary Computation, CEC 2022 - Conference Proceedings

  14. Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

    Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614

  15. CloudExpert: An intelligent system for selecting cloud system simulators

    Expert Systems with Applications, Vol. 187

  16. Codificación y anotación preliminar de un corpus oral multilingüe de conversaciones telefónicas interpretadas para el estudio de los ataques a la imagen

    Pragmalinguistica, Núm. 30, pp. 413-432

  17. DICE simulation: a tool for software performance assessment at the design stage

    Automated Software Engineering, Vol. 29, Núm. 1

  18. Development of a tourist added value service for the city of Madrid

    Proceedings of the International Conference on Information Visualisation

  19. Development of an Android Application to Carry Out Tourist Visits in Madrid as a Value-Added Service

    Lecture Notes on Data Engineering and Communications Technologies (Springer Science and Business Media Deutschland GmbH), pp. 409-420

  20. Distilling Constraints in Zero-Knowledge Protocols

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