| 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 | 170 | 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 |
| The Role of Abstraction in Model Checking MM Gallardo, P Merino, L Panizo Analysis, Verification and Transformation for Declarative Programming and …, 2023 | 45 | 2023 |
| 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 | 43 | 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 | 39 | 2005 |
| 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 | 29 | 2005 |
| 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 |
| Model checking dynamic memory allocation in operating systems MM Gallardo, P Merino, D Sanán Journal of Automated Reasoning 42 (2-4), 229, 2009 | 27 | 2009 |
| A generalized semantics of promela for abstract model checking MM Gallardo, P Merino, E Pimentel Formal Aspects of Computing 16, 166-193, 2004 | 27 | 2004 |
| αSPIN: Extending SPIN with abstraction M del Mar Gallardo, J Martinez, P Merino, E Pimentel Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002 | 26* | 2002 |
| A framework for automatic construction of abstract promela models MM Gallardo, P Merino Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999 | 26 | 1999 |
| 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 | 25 | 2011 |
| Abstract matching for software model checking P de la Cámara, M del Mar Gallardo, P Merino Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006 | 23 | 2006 |
| 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 | 22 | 2015 |
| 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 | 22 | 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 | 21 | 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 | 21 | 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 | 19 | 2006 |
| Performance analysis of Spotify® for Android with model-based testing AR Espada, MM Gallardo, A Salmerón, P Merino Mobile Information Systems 2017, 2017 | 18 | 2017 |
| 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 | 18 | 2007 |
