RDF/XML JSON-LD N3/Turtle RDF/JSON

HERADIO GIL, RUBEN

INGENIERÍA DEL SOFTW. Y SIST. INFORMÁTICOS / Universidad Nacional de Educación a Distancia

Actividades

Using extended logical primitives for efficient BDD building

  • Fernandez-Amoros, D.
  • Bra, S.
  • Aranda-Escolástico, E.
  • Heradio, R.

Mathematics - 2020

Editor: MDPI AG

10.3390/math8081253 Ver en origen

  • ISSN/ISBN 2227-7390

Event-based control: A bibliometric analysis of twenty years of research

  • Aranda-Escolastico, E.
  • Guinaldo, M.
  • Heradio, R.
  • Chacon, J.
  • Vargas, H.
  • Sanchez, J.
  • Dormido, S.
... Ver más Contraer

IEEE Access (p. 47188-47208) - 2020

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2020.2978174 Ver en origen

  • ISSN/ISBN 2169-3536

Evidence-based control engineering education: Evaluating the LCSD simulation tool

  • Marin, L.
  • Vargas, H.
  • Heradio, R.
  • de la Torre, L.
  • Diaz, J.M.
  • Dormido, S.

IEEE Access (p. 170183-170194) - 2020

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2020.3023910 Ver en origen

  • ISSN/ISBN 2169-3536

Customized Online Laboratory Experiments: A General Tool and Its Application to the Furuta Inverted Pendulum [Focus on Education]

  • Galan D
  • Chaos D
  • De La Torre L
  • Aranda-Escolastico E
  • Heradio R

Ieee Control Systems Magazine (p. 75-87) - 1/10/2019

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/mcs.2019.2925256 Ver en origen

  • ISSN 02721708
  • ISSN/ISBN 1941-000X

Automated Assessment of Computer Programming Practices: The 8-Years UNED Experience

  • Galan, Daniel
  • Heradio, Ruben
  • Vargas, Hector
  • Abad, Ismael
  • Cerrada, Jose A.;

Ieee Access (p. 130113-130119) - 1/1/2019

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2019.2938391 Ver en origen

  • ISSN 21693536
  • ISSN/ISBN 2169-3536

Automated Assessment and Monitoring Support for Competency-Based Courses

  • Vargas, Hector
  • Heradio, Ruben
  • Chacon, Jesus
  • De la Torre, Luis
  • Farias, Gonzalo
  • Galan, Daniel
  • Dormido, Sebastian;
... Ver más Contraer

Ieee Access (p. 41043-41051) - 1/1/2019

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2019.2908160 Ver en origen

  • ISSN 21693536
  • ISSN/ISBN 2169-3536

Open-Source Hardware in Education: A Systematic Mapping Study

  • Heradio, Ruben
  • Chacon, Jesus
  • Vargas, Hector
  • Galan, Daniel
  • Saenz, Jacobo
  • De La Torre, Luis
  • Dormido, Sebastian
... Ver más Contraer

IEEE Access (p. 72094-72103) - 16/11/2018

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2018.2881929 Ver en origen

  • ISSN 21693536
  • ISSN/ISBN 2169-3536

Conducting Online Lab Experiments with Blockly

  • Galan, D.
  • Heradio, R.
  • de la Torre, L.
  • Dormido, S.
  • Esquembre, F.

IFAC-PapersOnLine (p. 13474-13479) - 2017

Editor: Elsevier B.V.

10.1016/j.ifacol.2017.08.2323 Ver en origen

  • ISSN/ISBN 2405-8963

The experiment editor: Supporting inquiry-based learning with virtual labs

  • Galan, D.
  • Heradio, R.
  • De La Torre, L.
  • Dormido, S.
  • Esquembre, F.

European Journal of Physics - 2017

Editor: Institute of Physics Publishing

10.1088/1361-6404/aa5dc1 Ver en origen

  • ISSN/ISBN 1361-6404

Virtual and remote labs in control education: A survey

  • Heradio, R.
  • de la Torre, L.
  • Dormido, S.

Annual Reviews in Control (p. 1-10) - 2016

Editor: Elsevier Ltd

10.1016/j.arcontrol.2016.08.001 Ver en origen

  • ISSN/ISBN 1367-5788

Este/a investigador/a no tiene libros.

Product Optimization in Stepwise Design

  • Batory, D.
  • Oh, J.
  • Heradio, R.
  • Benavides, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 63-81) - 2021

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-030-76020-5_4 Ver en origen

  • ISSN/ISBN 1611-3349

Web experimentation on virtual and remote laboratories

  • Galan, D.
  • Heradio, R.
  • de la Torre, L.
  • Dormido, S.
  • Esquembre, F.

Lecture Notes in Networks and Systems (p. 205-219) - 2018

Editor: Springer

10.1007/978-3-319-64352-6_20 Ver en origen

  • ISSN/ISBN 2367-3389

UNED Labs: A Network of Virtual and Remote Laboratories

  • Sebastián Dormido Bencomo
  • José Sánchez Moreno
  • Héctor Vargas C.
  • Luis De la Torre
  • Rubén Heradio Gil

Using remote labs in education: two little ducks in remote experimentation (p. 253-270) - 2011

Editor: Servicio de Publicaciones = Argitalpen Zerbitzua

  • ISSN/ISBN 978-84-9830-335-3

Inferring information from feature diagrams to product line economic models

  • David Jose Fernandez Amoros
  • Rubén Heradio Gil
  • José Antonio Cerrada Somolinos

SPLC '09 Proceedings of the 13th International Software Product Line Conference (p. 41-50) - 2009

Editor: Carnegie Mellon University Pittsburgh, 2009

Circuit Testing Based on Fuzzy Sampling with BDD Bases

  • Pinilla, Elena
  • Fernandez-Amoros, David
  • Heradio, Ruben

Proceedings of the 56th Hawaii International Conference on System Sciences (p. 1551-1560) - 2023

Editor: University of Hawaiʻi at Mānoa

  • ISSN/ISBN 978-0-9981331-6-4

Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

  • Fernandez-Amoros, D.
  • Heradio, R.
  • Mayr-Dorn, C.
  • Egyed, A.

ACM International Conference Proceeding Series - 2022

Editor: Association for Computing Machinery

10.1145/3551349.3556899 Ver en origen

  • ISSN/ISBN 9781450396240

A Rule-Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Ruiz, V.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 2087-2096) - 2022

Editor: IEEE Computer Society

10.24251/hicss.2022.263 Ver en origen

  • ISSN/ISBN 1530-1605

Machine learning for software engineering: A bibliometric analysis from 2015 to 2019

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Cerrada, C.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 1928-1937) - 2021

Editor: IEEE Computer Society

  • ISSN/ISBN 9780998133140

Monte Carlo tree search for feature model analyses: A general framework for decision-making

  • Horcas, J.-M.
  • Galindo, J.A.
  • Heradio, R.
  • Fernandez-Amoros, D.
  • Benavides, D.

ACM International Conference Proceeding Series (p. 190-201) - 2021

Editor: Association for Computing Machinery

10.1145/3461001.3471146 Ver en origen

  • ISSN/ISBN 9781450384698

Inconsistency-Tolerating Guidance for Software Engineering Processes

  • Mayr-Dorn, C.
  • Kretschmer, R.
  • Egyed, A.
  • Heradio, R.
  • Fernandez-Amoros, D.

Proceedings - International Conference on Software Engineering (p. 6-10) - 2021

Editor: IEEE Computer Society

10.1109/icse-nier52604.2021.00010 Ver en origen

  • ISSN/ISBN 9780738133249

Uniform and scalable SAT-sampling for configurable systems

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Galindo, J.A.
  • Benavides, D.

ACM International Conference Proceeding Series (p. 108-118) - 2020

Editor: Association for Computing Machinery

10.1145/3382025.3414951 Ver en origen

  • ISSN/ISBN 9781450375696

Rough sets: A bibliometric analysis from 2014 to 2018

  • Heradio, R.
  • Fernandez-Amoros, D.
  • Moral-Muñoz, J.A.
  • Cobo, M.J.

Proceedings of the Annual Hawaii International Conference on System Sciences (p. 1747-1756) - 2020

Editor: IEEE Computer Society

  • ISSN/ISBN 9780998133133

A kconfig translation to logic with one-way validation system

  • Fernandez-Amoros, D.
  • Heradio, R.
  • Mayr-Dorn, C.
  • Egyed, A.

ACM International Conference Proceeding Series - 2019

Editor: Association for Computing Machinery

10.1145/3336294.3336313 Ver en origen

  • ISSN/ISBN 9781450371384

Puzzlex: An online experimentation environment for control engineering labs

  • Galan, D.
  • Chaos, D.
  • De La Torre, L.
  • Aranda-Escolastico, E.
  • Heradio, R.

Proceedings of the 2019 5th Experiment at International Conference, exp.at 2019 (p. 69-73) - 2019

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/expat.2019.8876580 Ver en origen

  • ISSN/ISBN 9781728136370

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

Modelo combinado basado en redes neuronales recurrentes y redes convolucionales de grafos para la predicción de series temporales económicas

  • Ana Lazcano de Rojas
  • Pedro Javier Herrera Caro (dir. tes.)
  • Manuel Ángel Monge Moreno (dir. tes.)
  • Fernando Pérez de Gracia Hidalgo (pres.)
  • Rubén Heradio Gil (secr.)
  • Susana Bautista Blasco (voc.)

2023

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Automated support for battle operational-strategic decision-making

  • Gerardo Minguela Castro
  • Rubén Heradio Gil (dir. tes.)
  • Carlos Cerrada Somolinos (dir. tes.)
  • Ismael Abad Cardiel (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Daniel Galán Vicente (voc.)

2021

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

MQTT-SCACAUTH: Esquema de seguridad para el protocolo MQTT y su uso en el entorno del IIoT

  • Eduardo Buetas Sanjuan
  • Ismael Abad Cardiel (dir. tes.)
  • José Antonio Cerrada Somolinos (dir. tes.)
  • Rubén Heradio Gil (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Daniel Galán Vicente (voc.)

2021

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Metodología para la secuenciación de procesos ITIL: Aplicación al caso de una PYME

  • Juan Luis Rubio Sánchez
  • José Antonio Cerrada Somolinos (dir. tes.)
  • María Magdalena Arcilla Cobián (dir. tes.)
  • Luis Fernández Sanz (pres.)
  • Rubén Heradio Gil (secr.)
  • David Lizcano Casas (voc.)

2020

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Supporting the Statistical Analysis of Variability Models by Processing Binary Decision Diagrams

  • Sergio Bra Gutiérrez
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Manuel Jesús Cobo (voc.)

2020

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Toma de decisiones en grupo en ambientes multicriterio, heterogéneos y lingüísticos

  • Edwin Alberto Callejas
  • Francisco Javier Cabrerizo (dir. tes.)
  • Carlos Cerrada Somolinos (dir. tes.)
  • Manuel Jesús Cobo (pres.)
  • Rubén Heradio Gil (secr.)
  • Ignacio Javier Pérez Gálvez (voc.)

2020

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Codificación eficiente de modelos de configuración utilizando BDD'S

  • Roberto Béan Castelló
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Jesús Chacón Sombría (secr.)
  • Francisco Javier Cabrerizo (voc.)

2018

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Towards the open experimentation with interactive laboratories

  • Daniel Galán Vicente
  • Rubén Heradio Gil (dir. tes.)
  • Sebastián Dormido Bencomo (dir. tes.)
  • José Sánchez Moreno (pres.)
  • Agustín Jiménez Avelló (secr.)
  • Antonio Visioli (voc.)

2017

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Modelo de gestión del conocimiento para el impacto económico. Aplicación al sector defensa

  • José Ramón Coz Fernández
  • Aurelia Valiño Castro (dir. tes.)
  • Jorge Onrubia Fernández (pres.)
  • Antonio Jesús Sánchez Fuentes (secr.)
  • Rubén Heradio Gil (voc.)
  • Carlos A. Pérez Labajos (voc.)
  • Claudia Pérez Forniés (voc.)
... Ver más Contraer

2016

Defensa realizada en: Universidad Complutense de Madrid

BDD algorithms to perform hard analysis operations on variability models

  • Héctor José Pérez Morago
  • Rubén Heradio Gil (dir. tes.)
  • David Jose Fernandez Amoros (dir. tes.)
  • José Antonio Cerrada Somolinos (pres.)
  • Francisco Javier Cabrerizo (secr.)
  • Enrique Valero Rodríguez (voc.)

2015

Defensa realizada en: UNED. Universidad Nacional de Educación a Distancia

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 12/08/23 2:57