| Machine learning algorithms to forecast air quality: a survey M Méndez, MG Merayo, M Núñez Artificial Intelligence Review 56 (9), 10031-10066, 2023 | 171 | 2023 |
| A passive testing approach based on invariants: application to the WAP E Bayse, A Cavalli, M Nunez, F Zaidi Computer networks 48 (2), 247-266, 2005 | 168 | 2005 |
| Formal testing from timed finite state machines MG Merayo, M Núñez, I Rodríguez Computer networks 52 (2), 432-460, 2008 | 142 | 2008 |
| Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model M Méndez, MG Merayo, M Núñez Engineering Applications of Artificial Intelligence 121, 106041, 2023 | 117 | 2023 |
| Extending EFSMs to specify and test timed systems with action durations and time-outs M Merayo, M Núñez, I Rodríguez IEEE Transactions on Computers 57 (6), 835-844, 2008 | 82 | 2008 |
| Acceptance trees for probabilistic processes M Núñez, D de Frutos, L Llana CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995 | 61 | 1995 |
| Testing from a stochastic timed system with a fault model RM Hierons, MG Merayo, M Núnez The Journal of Logic and Algebraic Programming 78 (2), 98-115, 2009 | 56 | 2009 |
| Algebraic theory of probabilistic processes M Núñez The Journal of Logic and Algebraic Programming 56 (1-2), 117-177, 2003 | 55 | 2003 |
| HOTL: Hypotheses and observations testing logic I Rodríguez, MG Merayo, M Núñez The Journal of Logic and Algebraic Programming 74 (2), 57-93, 2008 | 54 | 2008 |
| A survey on formal active and passive testing with applications to the cloud AR Cavalli, T Higashino, M Núñez annals of telecommunications-annales des télécommunications 70, 85-93, 2015 | 51 | 2015 |
| Fast testing of critical properties through passive testing JA Arnedo, A Cavalli, M Núñez IFIP International Conference on Testing of Software and Communicating …, 2003 | 51 | 2003 |
| An overview of probabilistic process algebras and their equivalences N López, M Núnez Validation of Stochastic Systems: A Guide to Current Research, 89-123, 2004 | 48 | 2004 |
| Implementation relations for the distributed test architecture RM Hierons, MG Merayo, M Núnez International Workshop on Formal Approaches to Software Testing, 200-215, 2008 | 44 | 2008 |
| Passive testing of timed systems C Andrés, MG Merayo, M Núñez Automated Technology for Verification and Analysis: 6th International …, 2008 | 43 | 2008 |
| Specification and testing of autonomous agents in e‐commerce systems M Núñez, I Rodríguez, F Rubio Software Testing, Verification and Reliability 15 (4), 211-233, 2005 | 43 | 2005 |
| Testing semantics for probabilistic LOTOS M Nwnez, D Frutos Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth …, 1996 | 43 | 1996 |
| Implementation relations and test generation for systems with distributed interfaces RM Hierons, MG Merayo, M Núñez Distributed Computing 25 (1), 35-62, 2012 | 42 | 2012 |
| Specification, testing and implementation relations for symbolic-probabilistic systems N López, M Núñez, I Rodríguez Theoretical Computer Science 353 (1-3), 228-248, 2006 | 42 | 2006 |
| Formal passive testing of timed systems: Theory and tools C Andrés, MG Merayo, M Núñez Software Testing, Verification and Reliability 22 (6), 365-405, 2012 | 40 | 2012 |
| A new look at pattern matching in abstract data types P Palao Gostanza, R Pena, M Núnez ACM SIGPLAN Notices 31 (6), 110-121, 1996 | 40 | 1996 |
Mercedes G. MerayoAssociate Professor of Computer Science, Universidad Complutense de MadridVerifierad e-postadress på fdi.ucm.es