| 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 | 167 | 2005 |
| Formal testing from timed finite state machines MG Merayo, M Núñez, I Rodríguez Computer networks 52 (2), 432-460, 2008 | 141 | 2008 |
| OR practice—efficient short-term allocation and reallocation of patients to floors of a hospital during demand surges S Thompson, M Nunez, R Garfinkel, MD Dean Operations research 57 (2), 261-273, 2009 | 129 | 2009 |
| 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 | 77 | 2008 |
| 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 | 64 | 2023 |
| Acceptance trees for probabilistic processes M Núñez, D de Frutos, L Llana CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995 | 58 | 1995 |
| Algebraic theory of probabilistic processes M Núñez The Journal of Logic and Algebraic Programming 56 (1-2), 117-177, 2003 | 54 | 2003 |
| 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 | 53 | 2009 |
| 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 | 53 | 2008 |
| Managing data quality risk in accounting information systems X Bai, M Nunez, JR Kalagnanam Information Systems Research 23 (2), 453-473, 2012 | 52 | 2012 |
| 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 | 50 | 2003 |
| 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 | 49 | 2015 |
| 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 | 47 | 2008 |
| 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 | 47 | 2004 |
| Simulation of a machining sequence using delmia/quest software ZM Bzymek, M Nunez, M Li, S Powers Computer-Aided Design and Applications 5 (1-4), 401-411, 2008 | 46 | 2008 |
| Testing semantics for probabilistic LOTOS M Nwnez, D Frutos Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth …, 1996 | 44 | 1996 |
| 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 | 42 | 2005 |
| 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 | 42 | 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 | 41 | 2012 |
Mercedes G. MerayoAssociate Professor of Computer Science, Universidad Complutense de MadridE-mail megerősítve itt: fdi.ucm.es
