| The Role of Abstraction in Model Checking MM Gallardo, P Merino, L Panizo Analysis, Verification and Transformation for Declarative Programming and …, 2023 | 46 | 2023 |
| Evaluating video streaming over GPRS/UMTS networks: A practical case A Diaz, P Merino, L Panizo, AM Recio 2007 IEEE 65th Vehicular Technology Conference-VTC2007-Spring, 624-628, 2007 | 19 | 2007 |
| Experimental analysis of peer-to-peer streaming in cellular networks A Diaz, P Merino, L Panizo, AM Recio 21st International Conference on Advanced Information Networking and …, 2007 | 17 | 2007 |
| Model-based testing of apps in real network scenarios L Panizo, A Díaz, B García International Journal on Software Tools for Technology Transfer 22 (2), 105-114, 2020 | 14 | 2020 |
| A practical use of model checking for synthesis: generating a dam controller for flood management MM Gallardo, P Merino, L Panizo, A Linares Software: Practice and Experience 41 (11), 1329-1347, 2011 | 12 | 2011 |
| A survey on mobile peer-to-peer technology A Dıaz, P Merino, L Panizo, AM Recio Proc. XV Conference on Concurrency and Distributed Systems (JCSD’07), 59-68, 2007 | 12 | 2007 |
| QoE evaluation: the TRIANGLE testbed approach A Díaz Zayas, L Panizo, J Baños, C Cárdenas, M Dieudonne Wireless Communications and Mobile Computing 2018, 1-12, 2018 | 10 | 2018 |
| Extending model checkers for hybrid system verification: the case study of SPIN MM Gallardo, L Panizo Software Testing, Verification and Reliability 24 (6), 438-471, 2014 | 9 | 2014 |
| A formal approach to automatically analyse extra‐functional properties in mobile applications A Rosario Espada, M del Mar Gallardo, A Salmerón, L Panizo, P Merino Software Testing, Verification and Reliability 29 (4-5), e1699, 2019 | 8 | 2019 |
| Guided test case generation for mobile apps in the TRIANGLE project: work in progress L Panizo, A Salmerón, MM Gallardo, P Merino Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 8 | 2017 |
| EuWireless: design of a pan-European mobile network operator for research P Merino, L Panizo, A Díaz-Zayas Proc. of European conference on networks and communications, EuCNC2018 …, 2018 | 7* | 2018 |
| Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking F Luque-Schempp, L Panizo, P Merino, J Rivas IEEE Network 36 (2), 50-56, 2022 | 5 | 2022 |
| A characterisation of verification tools for software defined networks L Lavado, L Panizo, MM Gallardo, P Merino Journal of Reliable Intelligent Environments, 2017 | 5 | 2017 |
| A constraint-based language for modelling intelligent environments MM Gallardo, L Lavado, L Panizo, L Titolo Journal of Reliable Intelligent Environments, 1-25, 2017 | 5 | 2017 |
| Developing a Decision Support Tool for Dam Management with SPIN MM Gallardo, P Merino, L Panizo, A Linares 14th International Workshop on Formal Methods for Industrial Critical …, 2009 | 5 | 2009 |
| Un estudio práctico del rendimiento del servicio de Streaming de Video sobre redes móviles GPRS/UMTS A Díaz, P Merino, L Panizo, ÁM Recio XVI Jornadas Telecom I + D, 2006 | 5* | 2006 |
| Dynamic Spectrum Management for European-Wide Research Network I Harjula, L Panizo, B Valera-Muros, J Pinola, M Hoppari, A Flizikowski, ... 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring), 1-6, 2020 | 4 | 2020 |
| How Formal Methods Can Contribute to 5G Networks. María-del-Mar Gallardo, F Luque-Schempp, PM Gómez, L Panizo From Software Engineering to Formal Methods and Tools, and Back, 548-571, 2019 | 4 | 2019 |
| River Basin Management with Spin MM Gallardo, P Merino, L Panizo, A Salmerón 23rd International Symposium on Model Checking Software (SPIN 2016) 9641, 78-96, 2016 | 4 | 2016 |
| An extension of Java PathFinder for hybrid systems L Panizo, MM Gallardo ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012 | 4 | 2012 |
María del Mar GallardoProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es
