Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps A Armando, R Carbone, L Compagna, J Cuellar, L Tobarra Proceedings of the 6th ACM workshop on Formal methods in security …, 2008 | 393 | 2008 |
Analyzing the students’ behavior and relevant topics in virtual learning communities L Tobarra, A Robles-Gómez, S Ros, R Hernández, AC Caminero Computers in Human Behavior 31, 659-669, 2014 | 95 | 2014 |
Analyzing students’ self-perception of success and learning effectiveness using gamification in an online cybersecurity course S Ros, S Gonzalez, A Robles, LL Tobarra, A Caminero, J Cano IEEE Access 8, 97718-97728, 2020 | 62 | 2020 |
Renewable energy remote online laboratories in Jordan universities: Tools for training students in Jordan R Pastor, L Tobarra, A Robles-Gómez, J Cano, B Hammad, A Al-Zoubi, ... Renewable Energy 149, 749-759, 2020 | 53 | 2020 |
Formal analysis of sensor network encryption protocol (snep) L Tobarra, D Cazorla, F Cuartero 2007 IEEE International Conference on Mobile Adhoc and Sensor Systems, 1-6, 2007 | 51 | 2007 |
Virtual remote laboratories management system (tutores): using cloud computing to acquire university practical skills AC Caminero, S Ros, R Hernández, A Robles-Gómez, L Tobarra, ... IEEE transactions on Learning Technologies 9 (2), 133-145, 2015 | 50 | 2015 |
Students’ acceptance and tracking of a new container-based virtual laboratory L Tobarra, A Robles-Gomez, R Pastor, R Hernandez, A Duque, J Cano Applied Sciences 10 (3), 1091, 2020 | 48 | 2020 |
Open service-oriented platforms for personal learning environments S Ros, R Hernández, A Robles-Gómez, AC Caminero, L Tobarra, ES Ruíz IEEE internet computing 17 (4), 26-31, 2013 | 47 | 2013 |
Model checking wireless sensor network security protocols: Tinysec+ leap L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero IFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007 | 39 | 2007 |
Analyzing the users’ acceptance of an IoT cloud platform using the UTAUT/TAM model A Robles-Gómez, L Tobarra, R Pastor-Vargas, R Hernández, JM Haut IEEE Access 9, 150004-150020, 2021 | 30 | 2021 |
Model checking wireless sensor network security protocols: TinySec+ LEAP+ TinyPK L Tobarra, D Cazorla, F Cuartero, G Díaz, E Cambronero Telecommunication Systems 40 (3), 91-99, 2009 | 30 | 2009 |
Choosing the right LMS: A performance evaluation of three open-source LMS AC Caminero, R Hernández, S Ros, A Robles-Gómez, L Tobarra 2013 IEEE Global Engineering Education Conference (EDUCON), 287-294, 2013 | 29 | 2013 |
Emulating and evaluating virtual remote laboratories for cybersecurity A Robles-Gómez, L Tobarra, R Pastor-Vargas, R Hernández, J Cano Sensors 20 (11), 3011, 2020 | 26 | 2020 |
Low-cost remote laboratories for renewable energy in distance education L Tobarra, S Ros, R Hernández, R Pastor, A Robles-Gómez, ... 2014 11th International Conference on Remote Engineering and Virtual …, 2014 | 24 | 2014 |
Creation of customized remote laboratories using deconstruction L Tobarra, S Ros, R Hernández, A Marcos-Barreiro, A Robles-Gómez, ... IEEE Revista Iberoamericana de Tecnologias del Aprendizaje 10 (2), 69-76, 2015 | 22 | 2015 |
Analysis and verification of time requirements applied to the web services composition G Díaz, ME Cambronero, ML Tobarra, V Valero, F Cuartero Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 22 | 2006 |
User acceptance of a proposed self-evaluation and continuous assessment system A Robles-Gómez, S Ros, R Hernández, L Tobarra, AC Caminero, ... Journal of Educational Technology & Society 18 (2), 97-109, 2015 | 21 | 2015 |
Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz European Workshop on Performance Engineering, 215-229, 2005 | 20 | 2005 |
Laboratories as a service (laas): Using cloud technologies in the field of education R Pastor, AC Caminero, DS Rama, R Hernández, S Ros, ... Journal of Universal Computer Science 19 (14), 2112-2126, 2013 | 19 | 2013 |
A distributed laboratory architecture for game based learning in cybersecurity and critical infrastructures J Cano, R Hernández, S Ros, L Tobarra 2016 13th International Conference on Remote Engineering and Virtual …, 2016 | 18 | 2016 |