Añadido recientemente

Onto-CARMEN: ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning

Blanco Bueno, Carlos

; Rosado, David G.; Varela Vaca, Ángel Jesús; Gómez Lopez, María Teresa; Fernández Medina, Eduardo (Elsevier, 2023-12)

QISS: Quantum-Enhanced Sustainable Security incident handling in the IoT

Blanco Bueno, Carlos

; Santos Olmo, Antonio; Sánchez Crespo, Luis Enrique (MDPI, 2024-04)

Minimizing incident response time in real-world scenarios using quantum computing

Serrano, Manuel A.; Sánchez Crespo, Luis Enrique; Santos Olmo, Antonio; Rosado, David A.; Blanco Bueno, Carlos

; Barletta, Vita Santa; Caivano, Danilo; Fernández Medina, Eduardo (Springer New York LLC, 2024-03)

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael

; Graf, Susanne; Gutiérrez García, José Javier

; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis

; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María

; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael

; Graf, Susanne; Gutiérrez García, José Javier

; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis

; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María

; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)

Security policies by design in NoSQL document databases

Blanco Bueno, Carlos

; García Saiz, Diego

; Rosado, David; Santos Olmo, Antonio; Peral, Jesús; Maté, Alejandro; Trujillo, Juan; Fernández Medina, Eduardo (Elsevier, 2023)

FLEXMI: a generic and modular textual syntax for domain-specific modelling

Kolovos, Dimitris; Vega Ruiz, Alfonso de la

(Springer, 2023-08)

Parallelisation of decision-making techniques in aquaculture enterprises

Ibáñez Bolado, Mario

; Luna García, Manuel; Bosque Orero, José Luis

; Beivide Palacio, Ramón

(Kluwer Academic Publishers, 2023-07)

Vaultage: automatic generation of secure communication around decentralised user-managed data vaults

Yohannis, Alfa; Vega Ruiz, Alfonso de la

; Kolovos, Dimitris (Journal of Object Technology, 2022)

Lattice Graphs for High-Scale Interconnection Topologies

Camarero Coterillo, Cristobal

; Martínez Fernández, María del Carmen

; Beivide Palacio, Ramón

(IEEE Computer Society, 2015-09)

Mortadelo: automatic generation of NoSQL stores from platform-independent data models

Vega Ruiz, Alfonso de la

; García Saiz, Diego

; Blanco Bueno, Carlos

; Zorrilla Pantaleón, Marta E.

; Sánchez Barreiro, Pablo

(Elsevier, 2020)

Bernard, an energy intelligent system for raising residential users awareness

Zorrilla Pantaleón, Marta E.

; Ibrain, Álvaro (Elsevier, 2019-09)

Simulation with skeletons of applications using dimemas

Camarero Coterillo, Cristobal

; Martínez Fernández, María del Carmen

; Bosque Orero, José Luis

(The Association for Computing Machinery, 2019)

Polarized routing: an efficient and versatile algorithm for large direct networks

Camarero Coterillo, Cristobal

; Martínez Fernández, María del Carmen

; Beivide Palacio, Ramón

(Institute of Electrical and Electronics Engineers, Inc., 2021)

; Valero, Mateo (Kluwer Academic Publishers, 2016-12)

ACOR: Adaptive congestion-oblivious routing in dragonfly networks

Benito Hoz, Mariano

; Fuentes Saez, Pablo

; Vallejo Gutiérrez, Enrique

; Beivide Palacio, Ramón

(Elsevier, 2019)

Uso de GPUs en aplicaciones de tiempo real: una revisión de técnicas para el análisis y optimización de parámetros temporales

Gómez Iturrioz, Iosu; Díaz de Cerio, Unai; Parra, Jorge; Rivas Concepción, Juan María

; Gutiérrez García, José Javier

(Comité Español de Automática (CEA), 2024)

Fleet management systems in logistics 4.0 era: a real time distributed and scalable architectural proposal

Dintén Herrero, Ricardo

; García Bustamante, Sebastián; Zorrilla Pantaleón, Marta E.

(Elsevier, 2023-01)

Departamento de Ingeniería Informática y Electrónica: Envíos recientes

Onto-CARMEN: ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning

QISS: Quantum-Enhanced Sustainable Security incident handling in the IoT

Minimizing incident response time in real-world scenarios using quantum computing

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

Security policies by design in NoSQL document databases

FLEXMI: a generic and modular textual syntax for domain-specific modelling

Parallelisation of decision-making techniques in aquaculture enterprises

Vaultage: automatic generation of secure communication around decentralised user-managed data vaults

Lattice Graphs for High-Scale Interconnection Topologies

Mortadelo: automatic generation of NoSQL stores from platform-independent data models

Bernard, an energy intelligent system for raising residential users awareness

Simulation with skeletons of applications using dimemas

Polarized routing: an efficient and versatile algorithm for large direct networks

FlexVC: Flexible Virtual Channel management in low-diameter networks

Synthetic Traffic Model of the Graph500 Communications

Network unfairness in dragonfly topologies

ACOR: Adaptive congestion-oblivious routing in dragonfly networks

Uso de GPUs en aplicaciones de tiempo real: una revisión de técnicas para el análisis y optimización de parámetros temporales

Fleet management systems in logistics 4.0 era: a real time distributed and scalable architectural proposal

Listar

Mi cuenta

Sobre UCrea

Piensa en abierto

Compartir

Departamento de Ingeniería Informática y Electrónica: Envíos recientes

Onto-CARMEN: ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning ﻿

QISS: Quantum-Enhanced Sustainable Security incident handling in the IoT ﻿

Minimizing incident response time in real-world scenarios using quantum computing ﻿

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact) ﻿

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS ﻿

Security policies by design in NoSQL document databases ﻿

FLEXMI: a generic and modular textual syntax for domain-specific modelling ﻿

Parallelisation of decision-making techniques in aquaculture enterprises ﻿

Vaultage: automatic generation of secure communication around decentralised user-managed data vaults ﻿

Lattice Graphs for High-Scale Interconnection Topologies ﻿

Mortadelo: automatic generation of NoSQL stores from platform-independent data models ﻿

Bernard, an energy intelligent system for raising residential users awareness ﻿

Simulation with skeletons of applications using dimemas ﻿

Polarized routing: an efficient and versatile algorithm for large direct networks ﻿

FlexVC: Flexible Virtual Channel management in low-diameter networks ﻿

Synthetic Traffic Model of the Graph500 Communications ﻿

Network unfairness in dragonfly topologies ﻿

ACOR: Adaptive congestion-oblivious routing in dragonfly networks ﻿

Uso de GPUs en aplicaciones de tiempo real: una revisión de técnicas para el análisis y optimización de parámetros temporales ﻿

Fleet management systems in logistics 4.0 era: a real time distributed and scalable architectural proposal ﻿

Onto-CARMEN: ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning

QISS: Quantum-Enhanced Sustainable Security incident handling in the IoT

Minimizing incident response time in real-world scenarios using quantum computing

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

Security policies by design in NoSQL document databases

FLEXMI: a generic and modular textual syntax for domain-specific modelling

Parallelisation of decision-making techniques in aquaculture enterprises

Vaultage: automatic generation of secure communication around decentralised user-managed data vaults

Lattice Graphs for High-Scale Interconnection Topologies

Mortadelo: automatic generation of NoSQL stores from platform-independent data models

Bernard, an energy intelligent system for raising residential users awareness

Simulation with skeletons of applications using dimemas

Polarized routing: an efficient and versatile algorithm for large direct networks

FlexVC: Flexible Virtual Channel management in low-diameter networks

Synthetic Traffic Model of the Graph500 Communications

Network unfairness in dragonfly topologies

ACOR: Adaptive congestion-oblivious routing in dragonfly networks

Uso de GPUs en aplicaciones de tiempo real: una revisión de técnicas para el análisis y optimización de parámetros temporales

Fleet management systems in logistics 4.0 era: a real time distributed and scalable architectural proposal