Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Universidad de Castilla-La Mancha](/img/noimage_org.png)
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (24)
2023
-
Heuristics for Quantum Computing Dealing with 3-SAT
Mathematics, Vol. 11, Núm. 8
-
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures
Journal of Cloud Computing, Vol. 12, Núm. 1
2022
-
ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers
2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022
2020
-
Runtime Verification of Contracts with Themulus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Themulus: A Timed Contract-calculus
International Conference on Model-Driven Engineering and Software Development
-
Themulus: A timed contract-calculus
MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development
2019
-
A Framework for Modeling Cloud Infrastructures and User Interactions
IEEE Access, Vol. 7, pp. 43269-43285
-
Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review
Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763
2017
-
A Calculus Supporting Contract Reasoning and Monitoring
IEEE Access, Vol. 5, pp. 6735-6745
-
Timed contract compliance under event timing uncertainty
Frontiers in Artificial Intelligence and Applications
2016
-
The simulation relation for formal E-Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
2014
-
WS-FMDS organizers' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Contract compliance monitoring of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Passive testing of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Formal passive testing of service-oriented systems
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010
-
Specification and testing of e-commerce agents described by using UIOLTSs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A novel formalism to represent collective intelligence in multi-agent systems
Studies in Computational Intelligence
2008
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170