A Bounded True Concurrency Process Algebra for Performance Evaluation. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo; Hermenegilda Macià (FORTE Workshops, 2004)

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. - Juan José Pardo; Valentín Valero Ruiz; M. Carmen Ruiz; Fernando Cuartero; Gregorio Díaz 001 (Australian Software Engineering Conference, 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 (SYNASC, 2005)

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 (CIMCA/IAWTIC, 2006)

Analysis of the SET e-commerce protocol using a true concurrency process algebra. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SAC, 2006)

Process Algebra Specification of Flexible Manufacturing Systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SYNASC, 2006)

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. - Hermenegilda Macià; Valentín Valero; Fernando Cuartero; M. Carmen Ruiz (Fundam. Informaticae, 2008)

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (ICCCI (SCI Volume), 2009)

Improving performance in flexible manufacturing systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

BAL Tool in Flexible Manufacturing Systems. - Diego Pérez Leándrez; M. Carmen Ruiz; Juan José Pardo; Diego Cazorla (AMAST, 2010)

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (FMOODS/FORTE, 2010)

Indicators identification and assessment for industrial areas renewal supporting on industrial ecology. - Elena Romero; M. Carmen Ruiz; David Ortiz; Alberto Díez (EnviroInfo, 2011)

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 (ICCS, 2013)

Finding the Suitable Number of Resources to Maximize System Throughput. - M. Carmen Ruiz; Diego Pérez Leándrez; Juan José Pardo; Diego Cazorla (WorldCIST, 2013)

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)

Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. - M. Carmen Ruiz; Javier L. Calleja; Diego Cazorla (TrustCom/BigDataSE/ISPA (3), 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)

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)

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; José Antonio Mateo; Francisco Javier Calleja (ICCS, 2016)

Poster Abstract: Architecture Proposal for Heterogeneous, BLE-Based Sensor and Actuator Networks for Easy Management of Smart Homes. - Celia Garrido; Vicente López 001; Teresa Olivares; M. Carmen Ruiz (IPSN, 2016)

Poster Abstract: Improving the BLE Mesh Transmissions with User Collaboration in Smart Spaces Management. - Diego Hortelano; Vicente López 001; Teresa Olivares; M. Carmen Ruiz (IPSN, 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)

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 (ADHOC-NOW, 2017)

Evaluation of cloud platforms for managing IoT devices. - M. Carmen Ruiz; Teresa Olivares; Jaime Lopez (IISA, 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 001 (Sensors, 2017)

Opacity-enforcing for Process Algebras. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 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 001 (IEEE Access, 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)

Observations, Testing and Security. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 2019)

Security of Low Level IoT Protocols. - Damas P. Gruska; M. Carmen Ruiz (ICCS (3), 2019)

Security Testing for Multi-Agent Systems. - Damas P. Gruska; M. Carmen Ruiz (IWANN (1), 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 (SmartIoT, 2019)

New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; Javier L. Calleja (Informatica, 2019)

Process Opacity and Insertion Functions. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 2021)

Reducing the energy consumption of the friendship mechanism in Bluetooth mesh. - Diego Hortelano; Teresa Olivares; M. Carmen Ruiz (Comput. Networks, 2021)

Providing interoperability in Bluetooth mesh with an improved provisioning protocol. - Diego Hortelano; Teresa Olivares; M. Carmen Ruiz (Wirel. Networks, 2021)

An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (ICCS (1), 2023)

ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (J. Comput. Sci., 2024)