Integrating Static Quality Assurance in CI Chatbot Development Workflows von Cuadrado, Jesus Sanchez, Avila, Daniel, Perez-Soler, Sara, Canizares, Pablo C., Guerra, Esther, de Lara, Juan

Volltext

A Framework for Modeling Cloud Infrastructures and User Interactions von Bernal, Adrian, Cambronero, Maria Emilia, Valero, Valentin, Nunez, Alberto, Canizares, Pablo C.

Volltext

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems von Nunez, Alberto, Canizares, Pablo C., Nunez, Manuel, Hierons, Robert M.

Volltext

CloudExpert: An intelligent system for selecting cloud system simulators von Núñez, Alberto, Cañizares, Pablo C., de Lara, Juan

Volltext

An expert system for checking the correctness of memory systems using simulation and metamorphic testing von Cañizares, Pablo C., Núñez, Alberto, de Lara, Juan

Volltext

SINPA: SupportINg the automation of construction PlAnning von Cañizares, Pablo C., Estévez-Martín, Sonia, Núñez, Manuel

Volltext

Chaos as a Software Product Line—A platform for improving open hybrid‐cloud systems resiliency von Camacho, Carlos, Cañizares, Pablo C., Llana, Luis, Núñez, Alberto

Volltext

Parallel mutation testing for large scale systems von Cañizares, Pablo C., Núñez, Alberto, Filgueira, Rosa, de Lara, Juan

Volltext

Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures von Cañizares, Pablo C., Núñez, Alberto, Bernal, Adrián, Cambronero, M. Emilia, Barker, Adam

Volltext

A tool-supported framework for work planning on construction sites based on constraint programming von Camacho, Azahara, Cañizares, Pablo C., Estévez, Sonia, Núñez, Manuel

Volltext

Evaluating cloud interactions with costs and SLAs von Bernal, Adrián, Cambronero, M. Emilia, Núñez, Alberto, Cañizares, Pablo C., Valero, Valentín

Volltext

Improving cloud architectures using UML profiles and M2T transformation techniques von Bernal, Adrián, Cambronero, M. Emilia, Núñez, Alberto, Cañizares, Pablo C., Valero, Valentín

Volltext

Profiling SLAs for cloud system infrastructures and user interactions von Cambronero, M. Emilia, Bernal, Adrian, Valero, Valentin, Canizares, Pablo C., Nunez, Alberto

Volltext

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems von Cañizares, Pablo C., Núñez, Alberto, de Lara, Juan, Llana, Luis

Volltext

Using Ants to Fight Wildfire von Cañizares, Pablo C., Merayo, Mercedes G., Núñez, Alberto

Volltext

Mutomvo: Mutation testing framework for simulated cloud and HPC environments von Cañizares, Pablo C., Núñez, Alberto, Merayo, Mercedes G.

Volltext

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools von Albert, Elvira, Cañizares, Pablo C., Guerra, Esther, de Lara, Juan, Marcos, Esperanza, Núñez, Manuel, Román-Díez, Guillermo, Vara, Juan Manuel, Zanardini, Damiano

Volltext

Automated engineering of domain-specific metamorphic testing environments von Gómez-Abajo, Pablo, Cañizares, Pablo C., Núñez, Alberto, Guerra, Esther, de Lara, Juan

Volltext

Measuring and Clustering Heterogeneous Chatbot Designs von Cañizares, Pablo C., López-Morales, Jose María, Pérez-Soler, Sara, Guerra, Esther, de Lara, Juan

Volltext

LAnt: Model driven approach for ant colony optimization von Cañizares, Pablo C, Merayo, Mercedes G, Vara, Juan M

Volltext