Fachbereich
Sistemas Informáticos y Computación
Publikationen (66) Publikationen, an denen Forscher/innen teilgenommen haben
2022
-
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)
-
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
-
A Tool for Evaluating the Quality of Online Teaching
Lecture Notes in Networks and Systems
-
A tool to certify dynamic benchmarks
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
-
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines
CEUR Workshop Proceedings
-
An Analysis of Learning Platforms based on their Academic Assessment Instruments
2022 17th Latin American Conference on Learning Technologies, LACLO 2022
-
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)
-
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)
-
An integrated tool set for verifying CafeOBJ specifications
Journal of Systems and Software, Vol. 189
-
Analysing Product Lines of Concurrent Systems with Coloured Petri Nets
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
Analyzing the reliability of simulated distributed systems using Metamorphic Testing
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022
-
Authoring and playing interactive fiction with conventional web technologies
Multimedia Tools and Applications, Vol. 81, Núm. 11, pp. 14705-14747
-
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
-
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
-
CloudExpert: An intelligent system for selecting cloud system simulators
Expert Systems with Applications, Vol. 187
-
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
-
DICE simulation: a tool for software performance assessment at the design stage
Automated Software Engineering, Vol. 29, Núm. 1
-
Development of a tourist added value service for the city of Madrid
Proceedings of the International Conference on Information Visualisation
-
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
-
Distilling Constraints in Zero-Knowledge Protocols
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)