Ricardo Contreras

According to our database, Ricardo Contreras authored at least 7 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes.

Ricardo Contreras, Filip Smola, Nusa Faric, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot

CoRR, July, 2025

2024

Verifying Properties of Activities of Daily Living.

Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot

Proceedings of the From Data to Models and Back - 12th International Symposium, 2024

2020

Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications.

Juan Manuel Górriz, Javier Ramírez, Andrés Ortiz, Francisco Jesús Martínez-Murcia, Fermín Segovia, John Suckling, Matthew Leming, Yu-Dong Zhang, José Ramón Álvarez Sánchez, Guido Bologna, María Paula Bonomini, Fernando E. Casado, David Charte, Francisco Charte, Ricardo Contreras, Alfredo Cuesta-Infante, Richard J. Duro, Antonio Fernández-Caballero, José Manuel Ferrández

Neurocomputing, 2020

2015

Chilean virtual observatory.

Mauricio Solar, Mauricio Araya-López, Luis Arevalo, Víctor Parada, Ricardo Contreras, Diego Mardones

Proceedings of the 2015 Latin American Computing Conference, 2015

2012

PRadapt: A framework for dynamic monitoring of adaptable service-based systems.

Ricardo Contreras, Andrea Zisman, Annapaola Marconi, Marco Pistore

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

2011

Identifying, modifying, creating, and removing monitor rules for service oriented computing.

Ricardo Contreras, Andrea Zisman

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

2010

A Pattern-Based Approach for Monitor Adaptation.

Ricardo Contreras, Andrea Zisman

Proceedings of the IEEE International Conference on Software Science, 2010