La educación a través de su discurso. Prácticas educativas y construcción discursiva del conocimiento en el aula R Cubero Pérez, M Cubero Pérez, A Santamaría Santigosa, ... Revista de Educación, 346, 71-104, 2008 | 190 | 2008 |
Debugging UML designs with model checking M del Mar Gallardo, P Merino, E Pimentel Journal of Object Technology 1 (2), 101-117, 2002 | 84 | 2002 |
Manual de psicología de la educación: para docentes de educación infantil y primaria MMP Gallardo, VS Jiménez, IS Queija, RDR Alamillo, MÁP Vega, ... Ediciones Pirámide, 2016 | 50 | 2016 |
A tool for abstraction in model checking MM Gallardo, J Martínez, P Merino, E Pimentel Electronic Notes in Theoretical Computer Science 66 (2), 1-16, 2002 | 48 | 2002 |
Semantic access control model: A formal specification MI Yagüe, MM Gallardo, A Mana Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005 | 42 | 2005 |
Model checking dynamic memory allocation in operating systems MM Gallardo, P Merino, D Sanán Journal of Automated Reasoning 42 (2), 229-264, 2009 | 33 | 2009 |
Model checking software with well-defined apis: the socket case P de la Cámara, MM Gallardo, P Merino, D Sanan Proceedings of the 10th international workshop on Formal methods for …, 2005 | 30 | 2005 |
A generalized semantics of PROMELA for abstract model checking MM Gallardo, P Merino, E Pimentel Formal Aspects of Computing 16, 166-193, 2004 | 30 | 2004 |
Verification support for ARINC‐653‐based avionics software P de la Cámara, JR Castro, MM Gallardo, P Merino Software Testing, Verification and Reliability 21 (4), 267-298, 2011 | 29 | 2011 |
A semantic framework for the abstract model checking of tccp programs M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva Theoretical Computer Science 346 (1), 58-95, 2005 | 28 | 2005 |
Using model checking to generate test cases for android applications AR Espada, MM Gallardo, A Salmerón, P Merino arXiv preprint arXiv:1504.02440, 2015 | 27 | 2015 |
αSPIN: Extending SPIN with abstraction M del Mar Gallardo, J Martinez, P Merino, E Pimentel International SPIN Workshop on Model Checking of Software, 254-257, 2002 | 27* | 2002 |
Model extraction for arinc 653 based avionics software P de la Cámara, M del Mar Gallardo, P Merino Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007 | 26 | 2007 |
A framework for automatic construction of abstract promela models MM Gallardo, P Merino International SPIN Workshop on Model Checking of Software, 184-199, 1999 | 26 | 1999 |
La evaluación del Practicum: un proceso clave en la construcción y reconstrucción del pensamiento práctico. ENSAYOS MP Sepúlveda, M Gallardo, MJ Mayorga, D Madrid Revista de la Facultad de Educación de Albacete 32 (1), 93-110, 2017 | 24 | 2017 |
Abstract matching for software model checking P de la Cámara, M del Mar Gallardo, P Merino International SPIN Workshop on Model Checking of Software, 182-200, 2006 | 24 | 2006 |
Performance Analysis of Spotify® for Android with Model‐Based Testing AR Espada, MM Gallardo, A Salmerón, P Merino Mobile Information Systems 2017 (1), 2012696, 2017 | 23 | 2017 |
Refinement of LTL formulas for abstract model checking MM Gallardo, P Merino, E Pimentel Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002 | 23 | 2002 |
Implementing influence analysis using parameterised boolean equation systems M del Mar Gallardo, C Joubert, P Merino Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 20 | 2006 |
Pixl: Applying xml standards to support the integration of analysis tools for protocols M del Mar Gallardo, J Martínez, P Merino, P Nunez, E Pimentel Science of Computer Programming 65 (1), 57-69, 2007 | 19 | 2007 |