Framework to support the Data Science of smart city models for decision-making oriented to the efficient dispatch of service petitions 
Combining genetic algorithm and pairwise testing for optimised test generation from UML ADs 
Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking 
Artificial Intelligence and Physics-Based Anomaly Detection in the Smart Grid: A Survey 
Methodology for the quantification of the effect of patterns and anti-patterns association on the software quality 
A Novel Telerehabilitation System for Physical Exercise Monitoring in Elderly Healthcare Subtotal: $10,100.00
