M. Carmen Ruiz

According to our database, M. Carmen Ruiz authored at least 37 papers between 2004 and 2023.

Collaborative distances:

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

2023

An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.

Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero

Proceedings of the Computational Science - ICCS 2023, 2023

2021

Providing interoperability in Bluetooth mesh with an improved provisioning protocol.

Diego Hortelano, Teresa Olivares, M. Carmen Ruiz

Wirel. Networks, 2021

Reducing the energy consumption of the friendship mechanism in Bluetooth mesh.

Diego Hortelano, Teresa Olivares, M. Carmen Ruiz

Comput. Networks, 2021

Process Opacity and Insertion Functions.

Damas P. Gruska, M. Carmen Ruiz

Proceedings of the 29th International Workshop on Concurrency, 2021

2019

New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks.

M. Carmen Ruiz, Hermenegilda Macià, Javier L. Calleja

Informatica, 2019

Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices.

M. Carmen Ruiz, Celia Garrido-Hidalgo, Damas P. Gruska, Teresa Olivares, Diego Hortelano, Luis Roda-Sanchez

Proceedings of the 2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 2019

Security Testing for Multi-Agent Systems.

Damas P. Gruska, M. Carmen Ruiz

Proceedings of the Advances in Computational Intelligence, 2019

Security of Low Level IoT Protocols.

Damas P. Gruska, M. Carmen Ruiz

Proceedings of the Computational Science - ICCS 2019, 2019

Observations, Testing and Security.

Damas P. Gruska, M. Carmen Ruiz

Proceedings of the 28th International Workshop on Concurrency, 2019

2018

OperaBLE: An IoT-Based Wearable to Improve Efficiency and Smart Worker Care Services in Industry 4.0.

Luis Roda-Sanchez, Celia Garrido-Hidalgo, Diego Hortelano, Teresa Olivares, M. Carmen Ruiz

J. Sensors, 2018

IoT Heterogeneous Mesh Network Deployment for Human-in-the-Loop Challenges Towards a Social and Sustainable Industry 4.0.

Celia Garrido-Hidalgo, Diego Hortelano, Luis Roda-Sanchez, Teresa Olivares, M. Carmen Ruiz, Vicente López

IEEE Access, 2018

Opacity-enforcing for Process Algebras.

Damas P. Gruska, M. Carmen Ruiz

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

From Sensor Networks to Internet of Things. Bluetooth Low Energy, a Standard for This Evolution.

Diego Hortelano, Teresa Olivares, M. Carmen Ruiz, Celia Garrido, Vicente López

Sensors, 2017

Evaluation of cloud platforms for managing IoT devices.

M. Carmen Ruiz, Teresa Olivares, Jaime Lopez

Proceedings of the 8th International Conference on Information, 2017

SustainaBLE: A Power-Aware Algorithm for Greener Industrial IoT Networks.

Celia Garrido-Hidalgo, Diego Hortelano, Teresa Olivares, Vicente López Camacho, M. Carmen Ruiz, Victor M. Brea Lujan

Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2017

2016

Formal performance evaluation of the Map/Reduce framework within cloud computing.

M. Carmen Ruiz, Diego Cazorla, Diego Pérez Leándrez, Javier Conejero

J. Supercomput., 2016

Poster Abstract: Improving the BLE Mesh Transmissions with User Collaboration in Smart Spaces Management.

Diego Hortelano, Vicente López, Teresa Olivares, M. Carmen Ruiz

Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016

Poster Abstract: Architecture Proposal for Heterogeneous, BLE-Based Sensor and Actuator Networks for Easy Management of Smart Homes.

Celia Garrido, Vicente López, Teresa Olivares, M. Carmen Ruiz

Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.

M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja

Proceedings of the International Conference on Computational Science 2016, 2016

2015

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation.

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo

Int. J. Distributed Sens. Networks, 2015

Petri nets-based model for the analysis of NORIA protocol.

Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja

Concurr. Comput. Pract. Exp., 2015

Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff.

M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014

Formal Study of Routing Protocols for Wireless Sensor Networks.

José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo

J. Univers. Comput. Sci., 2014

2013

Finding the Suitable Number of Resources to Maximize System Throughput.

M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla

Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Formal Study of a Novel Network Role-based Routing Intelligent Algorithm.

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz

Proceedings of the International Conference on Computational Science, 2013

2011

Indicators identification and assessment for industrial areas renewal supporting on industrial ecology.

Elena Romero, M. Carmen Ruiz, David Ortiz, Alberto Díez

Proceedings of the Innovations in Sharing Environmental Observations and Information: Proceedings of the 25th International Conference on Informatics for Environmental Protection, 2011

2010

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

Juan José Pardo, Manuel Núñez, M. Carmen Ruiz

Proceedings of the Formal Techniques for Distributed Systems, 2010

BAL Tool in Flexible Manufacturing Systems.

Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Improving performance in flexible manufacturing systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems.

Juan José Pardo, Manuel Núñez, M. Carmen Ruiz

Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

2008

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.

Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz

Fundam. Informaticae, 2008

2006

Process Algebra Specification of Flexible Manufacturing Systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Analysis of the SET e-commerce protocol using a true concurrency process algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.

Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

A Bounded True Concurrency Process Algebra for Performance Evaluation.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004