M. Carmen Ruiz

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 23

Top Topics

Sensor Networks

Formal Analysis

Top Venues

J. Comput. Sci.

Publications

Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. J. Comput. Sci. 81 (2024)
Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. ICCS (1) (2023)
Diego Hortelano, Teresa Olivares, M. Carmen Ruiz
Providing interoperability in Bluetooth mesh with an improved provisioning protocol. Wirel. Networks 27 (2) (2021)
Damas P. Gruska, M. Carmen Ruiz
Process Opacity and Insertion Functions. CS&P (2021)
Diego Hortelano, Teresa Olivares, M. Carmen Ruiz
Reducing the energy consumption of the friendship mechanism in Bluetooth mesh. Comput. Networks 195 (2021)
Damas P. Gruska, M. Carmen Ruiz
Security of Low Level IoT Protocols. ICCS (3) (2019)
Damas P. Gruska, M. Carmen Ruiz
Security Testing for Multi-Agent Systems. IWANN (1) (2019)
Damas P. Gruska, M. Carmen Ruiz
Observations, Testing and Security. CS&P (2019)
M. Carmen Ruiz, Celia Garrido-Hidalgo, Damas P. Gruska, Teresa Olivares, Diego Hortelano, Luis Roda-Sanchez
Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices. SmartIoT (2019)
M. Carmen Ruiz, Hermenegilda Macià, Javier L. Calleja
New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. Informatica 30 (1) (2019)
Celia Garrido-Hidalgo, Diego Hortelano, Luis Roda-Sanchez, Teresa Olivares, M. Carmen Ruiz, Vicente López
IoT Heterogeneous Mesh Network Deployment for Human-in-the-Loop Challenges Towards a Social and Sustainable Industry 4.0. IEEE Access 6 (2018)
Damas P. Gruska, M. Carmen Ruiz
Opacity-enforcing for Process Algebras. CS&P (2018)
Luis Roda-Sanchez, Celia Garrido-Hidalgo, Diego Hortelano, Teresa Olivares, M. Carmen Ruiz
OperaBLE: An IoT-Based Wearable to Improve Efficiency and Smart Worker Care Services in Industry 4.0. J. Sensors 2018 (2018)
Celia Garrido-Hidalgo, Diego Hortelano, Teresa Olivares, Vicente López Camacho, M. Carmen Ruiz, Victor M. Brea Lujan
SustainaBLE: A Power-Aware Algorithm for Greener Industrial IoT Networks. ADHOC-NOW (2017)
M. Carmen Ruiz, Teresa Olivares, Jaime Lopez
Evaluation of cloud platforms for managing IoT devices. IISA (2017)
Diego Hortelano, Teresa Olivares, M. Carmen Ruiz, Celia Garrido, Vicente López
From Sensor Networks to Internet of Things. Bluetooth Low Energy, a Standard for This Evolution. Sensors 17 (2) (2017)
M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. ICCS (2016)
Celia Garrido, Vicente López, Teresa Olivares, M. Carmen Ruiz
Poster Abstract: Architecture Proposal for Heterogeneous, BLE-Based Sensor and Actuator Networks for Easy Management of Smart Homes. IPSN (2016)
Diego Hortelano, Vicente López, Teresa Olivares, M. Carmen Ruiz
Poster Abstract: Improving the BLE Mesh Transmissions with User Collaboration in Smart Spaces Management. IPSN (2016)
M. Carmen Ruiz, Diego Cazorla, Diego Pérez Leándrez, Javier Conejero
Formal performance evaluation of the Map/Reduce framework within cloud computing. J. Supercomput. 72 (8) (2016)
Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja
Petri nets-based model for the analysis of NORIA protocol. Concurr. Comput. Pract. Exp. 27 (17) (2015)
M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla
Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. TrustCom/BigDataSE/ISPA (3) (2015)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. Int. J. Distributed Sens. Networks 11 (2015)
José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo
Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. 20 (9) (2014)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS (2013)
M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla
Finding the Suitable Number of Resources to Maximize System Throughput. WorldCIST (2013)
Elena Romero, M. Carmen Ruiz, David Ortiz, Alberto Díez
Indicators identification and assessment for industrial areas renewal supporting on industrial ecology. EnviroInfo (2011)
Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
BAL Tool in Flexible Manufacturing Systems. AMAST (2010)
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE (2010)
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) (2009)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae 87 (3-4) (2008)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC (2006)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC (2006)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Process Algebra Specification of Flexible Manufacturing Systems. SYNASC (2006)
Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference (2005)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC (2005)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops (2004)