| 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 | 188 | 2008 |
| Debugging UML designs with model checking M del Mar Gallardo, P Merino, E Pimentel Journal of Object Technology 1 (2), 101-117, 2002 | 83 | 2002 |
| 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 |
| 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 | 44 | 2016 |
| 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 | 28 | 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 |
| 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 |
| 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 | 25 | 2007 |
| 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 |
| 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 |
| 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 | 22 | 2017 |
| 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 |
