| 3GPP evolution on LTE connectivity for IoT A Díaz Zayas, CA García Pérez, ÁM Recio Pérez, P Merino Integration, Interconnection, and Interoperability of IoT Systems, 1-20, 2018 | 10 | 2018 |
| 3GPP NB-IoT, tecnología y herramientas de medida A Díaz Zayas, P Merino Gómez, F Rivas Tocado XIII Jornadas de Ingeniería telemática (JITEL 2017). Libro de actas, 310-317, 2018 | 5 | 2018 |
| 3GPP standards to deliver LTE connectivity for IoT A Díaz-Zayas, CA García-Pérez, AM Recio-Pérez, P Merino 2016 IEEE first international conference on internet-of-things design and …, 2016 | 54 | 2016 |
| A characterisation of reliability tools for Software Defined Networks LLLP Marıa-del, M Gallardo, P Merino | | |
| A characterisation of reliability tools for Software Defined Networks L Lavado, L Panizo-Jaime, MM Gallardo-Melgarejo, P Merino-Gómez | | 2017 |
| A characterisation of verification tools for software defined networks L Lavado, L Panizo, MM Gallardo, P Merino Journal of Reliable Intelligent Environments 3 (3), 189-207, 2017 | 5 | 2017 |
| A coordination framework for experimentation in 5g testbeds: Urllc as use case A Díaz Zayas, D Rico, B García, P Merino Proceedings of the 17th ACM International Symposium on Mobility Management …, 2019 | 8 | 2019 |
| A Distributed Implementation of a Concurrent Logic Language P Merino, B Rubio, JM Troya TRANSPUTER COMMUNICATIONS 3, 117-136, 1996 | | 1996 |
| A DSS for reservoirs operation based on the execution of formal models A Linares, J Regodon, L Panizo, MDM Gallardo, P Merino | 3 | 2014 |
| A formal approach to automatic analysis of extra-functional properties in mobile apps A Salmerón, P Merino Presented at: XXIV Jornadas de Concurrencia y Sistemas Distribuídos (JCSD …, 2016 | | 2016 |
| A formal approach to automatically analyse extra-functionalproperties in mobile applications. AR Espada Sandi, MM Gallardo-Melgarejo, A Salmerón, L Panizo-Jaime, ... Wiley, 2019 | | 2019 |
| 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 | 9 | 2019 |
| 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 |
| 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 |
| A methodology and test environment for QoS measurements in mobile networks FJR Tocado, AD Zayas, P Merino 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM …, 2017 | | 2017 |
| A model-extraction approach to verifying concurrent C programs with CADP MM Gallardo, C Joubert, P Merino, D Sanán Science of Computer Programming 77 (3), 375-392, 2012 | 12 | 2012 |
| A pan-European infrastructure for research in mobile networks P Merino, L Panizo, A Diaz, J Banos, O Castañeda, A Hekkala, K Rautiola, ... XXV Jornadas de Concurrencia y Sistemas Distribuidos, JCSD 2018, 2018 | | 2018 |
| A Platform for 4G/5G Wireless Networking Research, Targeting the Experimentally-Driven Research Approach–FLEX– N Makris, T Korakis, V Maglogiannis, D Naudts, N Nikaein, ... Building the future internet through FIRE, 111-153, 2022 | | 2022 |
| A practical method to integrate abstractions into SDL and MSC based tools MM Gallardo, P Merino Proceedings of the 5th international ERCIM workshop on formal methods for …, 2000 | 8 | 2000 |
| 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 | 14 | 2011 |
María del Mar GallardoProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es