M. Carmen Ruiz

38 papers C 1Misc 5Journal 13Unranked 19

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