TOBARRA ABAD, MARIA DE LOS LLANOS
Actividades
- Artículos 25
- Libros 1
- Capítulos de libro 4
- Congresos 44
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 1
- Patentes o licencias de software 0
Cloud-based architecture for web applications with load forecasting mechanism: A use case on the e-learning services of a distant university
- Ros, S.
- Caminero, A.C.
- Hernández, R.
- Robles-Gómez, A.
- Tobarra, L.
Journal of Supercomputing (p. 1556-1578) - 2014
Editor: Kluwer Academic Publishers
10.1007/s11227-014-1125-x Ver en origen
- ISSN/ISBN 1573-0484
User acceptance of a proposed self-evaluation and continuous assessment system
- Robles-Gómez, A.
- Ros, S.
- Hernández, R.
- Tobarra, L.
- Caminero, A.C.
- Agudo, J.M.
Educational Technology and Society (p. 97-109) - 2015
Editor: International Forum of Educational Technology and Society
- ISSN/ISBN 1436-4522
Creation of Customized Remote Laboratories Using Deconstruction
- Tobarra, L.
- Ros, S.
- Hernandez, R.
- Marcos-Barreiro, A.
- Robles-Gomez, A.
- Caminero, A.C.
- Pastor, R.
- Castro, M.
Revista Iberoamericana de Tecnologias del Aprendizaje (p. 69-76) - 2015
Editor: Education Society of IEEE (Spanish Chapter)
10.1109/rita.2015.2418011 Ver en origen
- ISSN/ISBN 1932-8540
An integrated example of laboratories as a service into learning management systems
- Tobarra, L.
- Ros, S.
- Pastor, R.
- Hernández, R.
- Castro, M.
- Al-Zoubi, A.
- Dmour, M.
- Gómez, A.B.
- Caminero, A.C.
- Cano, J.
International Journal of Online Engineering (p. 32-39) - 2016
Editor: Kassel University Press GmbH
10.3991/ijoe.v12i09.6149 Ver en origen
- ISSN/ISBN 1861-2121
VirTUal remoTe labORatories Management System (TUTORES): Using Cloud Computing to Acquire University Practical Skills
- Caminero, A.C.
- Ros, S.
- Hernández, R.
- Robles-Gómez, A.
- Tobarra, L.
- Granjo, P.J.T.
IEEE Transactions on Learning Technologies (p. 133-145) - 2016
Editor: Institute of Electrical and Electronics Engineers
10.1109/tlt.2015.2470683 Ver en origen
- ISSN/ISBN 1939-1382
Investigación e Innovación en el grupo G-eLios de la UNED
- Manuel Alonso Castro Gil
- Sergio Martín Gutiérrez
- Félix García Loro
- Rosario Gil Ortego
- Clara Pérez Molina
- Elio San Cristóbal Ruiz
- Gabriel Díaz Orueta
- África López Rey
- María José Albert Gómez
- María García
- Llanos Tobarra
- Antonio Robles
- Rafael Pastor Vargas
- Roberto Hernández Berlinches
IE Comunicaciones: Revista Iberoamericana de Informática Educativa (p. 13-25) - 2019
Editor: Asociación para el Desarrollo de la Informática Educativa (ADIE)
- ISSN/ISBN 1699-4574
Web of Things Platforms for Distance Learning Scenarios in Computer Science Disciplines: A Practical Approach
- Tobarra, L.
- Robles-Gómez, A.
- Pastor, R.
- Hernández, R.
- Cano, J.
- López, D.
Technologies - 2019
Editor: MDPI
10.3390/technologies7010017 Ver en origen
- ISSN/ISBN 2227-7080
Renewable energy remote online laboratories in Jordan universities: Tools for training students in Jordan
- Pastor, R.
- Tobarra, L.
- Robles-Gómez, A.
- Cano, J.
- Hammad, B.
- Al-Zoubi, A.
- Hernández, R.
- Castro, M.
Renewable Energy (p. 749-759) - 2020
Editor: Elsevier Ltd
10.1016/j.renene.2019.12.100 Ver en origen
- ISSN/ISBN 1879-0682
Students' acceptance and tracking of a new container-based virtual laboratory
- Tobarra, L.
- Robles-Gómez, A.
- Pastor, R.
- Hernández, R.
- Duque, A.
- Cano, J.
Applied Sciences (Switzerland) - 2020
Editor: MDPI AG
10.3390/app10031091 Ver en origen
- ISSN/ISBN 2076-3417
A wot platform for supporting full-cycle iot solutions from edge to cloud infrastructures: A practical case
- Pastor-Vargas, R.
- Tobarra, L.
- Robles-Gómez, A.
- Martin, S.
- Hernández, R.
- Cano, J.
Sensors (Switzerland) (p. 1-22) - 2020
Editor: MDPI AG
10.3390/s20133770 Ver en origen
- ISSN/ISBN 1424-8220
Security in wireless sensor networks: A formal approach
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
From Problem toward Solution: Wireless Sensor Networks Security (p. 145-164) - 2009
Editor: Nova Science Publishers, Inc.
- ISSN/ISBN 9781604564570
Developing metacognitive skills for training on information security
- Cano, J.
- Hernandez, R.
- Pastor, R.
- Ros, S.
- Tobarra, L.
- Robles-Gomez, A.
Lecture Notes in Networks and Systems (p. 708-720) - 2018
Editor: Springer
10.1007/978-3-319-64352-6_67 Ver en origen
- ISSN/ISBN 2367-3389
La perspectiva técnica: datos y algoritmos
- Llanos Tobarra
- José Manuel Cuadra Troncoso
La construcción social de la identidad colectiva en internet: el derecho a la memoria digital (p. 153-170) - 2021
Editor: Thomson Reuters Aranzadi
- ISSN/ISBN 978-84-1390-832-8
Avoiding e-protoring, ensuring trust: UNED’s AvEx
- Jose Luis Aznarte Mellado
- Ángeles Sánchez-Elvira Paniagua
- Miguel Santamaría Lancho
- Llanos Tobarra
- Jesús G. Boticario
Designing online assessment. Solutions that are rigorous, trusted, flexible and scalable (p. 75-77) - 2022
Editor: European Association of Distance Teaching Universities (EADTU)
Application of formal methods to the analysis of Web Services Security
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 215-229) - 2005
10.1007/11549970_16 Ver en origen
- ISSN/ISBN 9783540287018
Model checking wireless sensor network security protocols: TinySec + LEAP
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
- Cambronero, E.
IFIP International Federation for Information Processing (p. 95-106) - 2007
10.1007/978-0-387-74899-3_9 Ver en origen
- ISSN/ISBN 9780387748986
Formal analysis of sensor network encryption protocol (SNEP)
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS - 2007
10.1109/mobhoc.2007.4428763 Ver en origen
- ISSN/ISBN 9781424414550
Analysis of Web services secure conversation with formal methods
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
Second International Conference on Internet and Web Applications and Services, ICIW'07 - 2007
10.1109/iciw.2007.17 Ver en origen
- ISSN/ISBN 9780769528441
Modelling secure wireless sensor networks routing protocols with timed automata
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Pardo, J.J.
PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks (p. 51-58) - 2008
10.1145/1454630.1454638 Ver en origen
- ISSN/ISBN 9781605582399
Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for google apps
- Armando, A.
- Carbone, R.
- Compagna, L.
- Cuellar, J.
- Tobarra, L.
Proceedings of the ACM Conference on Computer and Communications Security (p. 1-9) - 2008
10.1145/1456396.1456397 Ver en origen
- ISSN/ISBN 9781605582887
Formal verification of the Secure Sockets Layer protocol
- Tobarra, L.
- Cazorla, D.
- Pardo, J.J.
- Cuartero, F.
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems (p. 246-252) - 2008
- ISSN/ISBN 9789898111388
Proposal of an auto-evaluation framework for the learning of network services
- Robles-Gómez, A.
- Tobarra, L.
- Ros, S.
- Hernández, R.
- Caminero, A.
- Pastor, R.
- Castro, M.
2011 IEEE Global Engineering Education Conference, EDUCON 2011 (p. 392-396) - 2011
10.1109/educon.2011.5773166 Ver en origen
- ISSN/ISBN 9781612846439
Automatic assessment for the e-learning of the network services in the context of the EHEA
- Robles-Gómez, A.
- Tobarra, L.
- Ros, S.
- Hernández, R.
- Caminero, A.C.
- Pastor, R.
Proceedings - Frontiers in Education Conference, FIE - 2011
10.1109/fie.2011.6142752 Ver en origen
- ISSN/ISBN 1539-4565
A new e-learning architecture for the automatic assessment of network services
- Robles-Gómez, A.
- Tobarra, L.
- Ros, S.
- Hernández, R.
- Caminero, A.C.
- Pastor, R.
Proceedings of the 2011 11th IEEE International Conference on Advanced Learning Technologies, ICALT 2011 (p. 56-57) - 2011
10.1109/icalt.2011.24 Ver en origen
- ISSN/ISBN 9780769543468
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.
Formal methods for the analysis of security protocols
- Llanos Tobarra
- Fernando Cuartero Gómez (dir. tes.)
- Diego Cazorla López (dir. tes.)
- Valentín Valero Ruiz (pres.)
- Juan José Pardo Mateo (secr.)
- Karim Djemame (voc.)
- Pedro Merino Gómez (voc.)
- Francisco Javier Oliver Villarroya (voc.)
2009
Defensa realizada en: Universidad de Castilla-La Mancha
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Dialnet id
-
Google Scholar Id