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
WST: A tool supporting timed composite Web Services Model transformation
- Cambronero, M.E.
- Díaz, G.
- Martínez, E.
- Valero, V.
- Tobarra, L.
SIMULATION (p. 349-364) - 2012
10.1177/0037549710372098 Ver en origen
- ISSN/ISBN 1741-3133
An xml modular approach in the building of remote labs by students: A way to improve learning
- Pastor-Vargas, R.
- Sánchez, D.
- Ros, S.
- Hernández, R.
- Caminero, A.
- Tobarra, L.
- Robles-Gomez, A.
- Castro, M.
- San-Cristóbal, E.
- Diaz, G.
- Tawfik, M.
International Journal of Online Engineering (p. 5-12) - 2013
10.3991/ijoe.v9is5.2662 Ver en origen
- ISSN/ISBN 1868-1646
Laboratories as a service (LaaS): Using cloud technologies in the field of education
- Pastor, R.
- Caminero, A.C.
- Sánchez, D.
- Hernández, R.
- Ros, S.
- Robles-Gómez, A.
- Tobarra, L.
Journal of Universal Computer Science (p. 2112-2126) - 2013
- ISSN/ISBN 0948-695X
Comparison of LMSs: Which is the most suitable LMS for my needs?
- Caminero, A.C.
- Hernández, R.
- Ros, S.
- Tobarra, L.
- Robles-Gómez, A.
- Pastor, R.
International Journal of Emerging Technologies in Learning (p. 29-36) - 2013
Editor: Kassel University Press GmbH
10.3991/ijet.v8is2.2758 Ver en origen
- ISSN/ISBN 1863-0383
P2P-based resource discovery in dynamic grids allowing multi-attribute and range queries
- Caminero, A.C.
- Robles-Gómez, A.
- Ros, S.
- Hernández, R.
- Tobarra, L.
Parallel Computing (p. 615-637) - 2013
10.1016/j.parco.2013.08.003 Ver en origen
- ISSN/ISBN 0167-8191
Open service-oriented platforms for personal learning environments
- Ros, S.
- Hernandez, R.
- Robles-Gomez, A.
- Caminero, A.C.
- Tobarra, L.
- Ruiz, E.S.
IEEE Internet Computing (p. 26-31) - 2013
10.1109/mic.2013.73 Ver en origen
- ISSN/ISBN 1089-7801
Integration of Multiple Data Sources for predicting the Engagement of Students in Practical Activities
- Llanos Tobarra
- Salvador Ros Muñoz
- Roberto Hernández Berlinches
- Antonio Robles Gómez
- Agustín C. Caminero
- Rafael Pastor Vargas
IJIMAI (p. 53-62) - 2014
Editor: IMAI software
10.9781/ijimai.2014.277 Ver en origen
- ISSN/ISBN 1989-1660
Automatic management services for remote/virtual laboratories
- Pastor-Vargas, R.
- Tobarra, L.
- Ros, S.
- Hernández, R.
- Robles, A.
- Castro, M.
International Journal of Online Engineering (p. 43-49) - 2014
Editor: Kassel University Press GmbH
10.3991/ijoe.v10i6.3992 Ver en origen
- ISSN/ISBN 1865-7923
On the creation of customizable laboratory experiments: Deconstruction of remote laboratories to create laboratories as a Service (LaaS)
- Caminero, A.C.
- Robles-Gómez, A.
- Ros, S.
- Tobarra, L.
- Hernandez, R.
- Pastor, R.
- Castro, M.
International Journal of Interactive Mobile Technologies (p. 35-42) - 2014
Editor: International Association of Online Engineering
10.3991/ijoe. v10i6.3989 Ver en origen
- ISSN/ISBN 1865-7923
Analyzing the students' behavior and relevant topics in virtual learning communities
- Tobarra, L.
- Robles-Gómez, A.
- Ros, S.
- Hernández, R.
- Caminero, A.C.
Computers in Human Behavior (p. 659-669) - 2014
10.1016/j.chb.2013.10.001 Ver en origen
- ISSN/ISBN 0747-5632
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
- Antonio Robles-Gómez
- Llanos Tobarra
- Salvador Ros
- Roberto Hernández
- Agustín Caminero
- Rafael Pastor
- Manuel Castro
2011 IEEE Global Engineering Education Conference, EDUCON 2011 (p. 392-396) - 1/1/2011
10.1109/educon.2011.5773166 Ver en origen
- ISSN/ISBN 9781612846439
- Dialnet
- iMarina
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