| Passive testing of timed systems C Andrés, MG Merayo, M Núñez Automated Technology for Verification and Analysis: 6th International …, 2008 | 43 | 2008 |
| Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments K Toumi, C Andrés, A Cavalli International Conference on Information Systems Security, 89-103, 2012 | 37 | 2012 |
| Formal passive testing of timed systems: Theory and tools C Andrés, MG Merayo, M Núnez Software Testing, Verification and Reliability 22 (6), 365-405, 2012 | 37 | 2012 |
| A formal framework for software product lines C Andrés, C Camacho, L Llana Information and Software Technology 55 (11), 1925-1947, 2013 | 21 | 2013 |
| Virtual organizations: An overview MR Nami Intelligent Information Processing IV: 5 th IFIP International Conference on …, 2008 | 21 | 2008 |
| Formal correctness of a passive testing approach for timed systems C Andrés, MG Merayo, M Núñez 2009 International Conference on Software Testing, Verification, and …, 2009 | 20 | 2009 |
| Passive testing of web services C Andrés, ME Cambronero, M Núnez Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 …, 2011 | 18 | 2011 |
| Passive testing of stochastic timed systems C Andrés, MG Merayo, M Núñez 2009 International Conference on Software Testing Verification and …, 2009 | 17 | 2009 |
| Supporting the extraction of timed properties for passive testing by using probabilistic user models C Andrés, MG Merayo, M Núñez 2009 Ninth International Conference on Quality Software, 145-154, 2009 | 13 | 2009 |
| Design of a secure shield for internet and web-based services using software reflection AR Cavalli, AM Ortiz, G Ouffoué, CA Sanchez, F Zaïdi Web Services–ICWS 2018: 25th International Conference, Held as Part of the …, 2018 | 12 | 2018 |
| Mascloud: a framework based on multi-agent systems for optimizing cost in cloud computing A Núñez, C Andrés, MG Merayo International Conference on Computational Collective Intelligence, 436-445, 2012 | 11 | 2012 |
| Combining genetic algorithms and mutation testing to generate test sequences C Molinero, M Núñez, C Andrés Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009 | 11 | 2009 |
| A vector based model approach for defining trust in multi-organization environments K Toumi, C Andrés, A Cavalli, M El Maarabani 2012 7th International Conference on Risks and Security of Internet and …, 2012 | 10 | 2012 |
| Self-adaptive fuzzy-timed systems C Andrés, L Liana, M Nuñez 2011 IEEE Congress of Evolutionary Computation (CEC), 115-122, 2011 | 10 | 2011 |
| Advantages of mutation in passive testing: An empirical study C Andrés, MG Merayo, C Molinero 2009 International Conference on Software Testing, Verification, and …, 2009 | 10 | 2009 |
| Formally comparing user and implementer model-based testing methods C Andrés, L Llana, I Rodríguez 2008 IEEE International Conference on Software Testing Verification and …, 2008 | 10 | 2008 |
| Applying formal passive testing to study temporal properties of the stream control transmission protocol C Andrés, MG Merayo, M Núñez 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 9 | 2009 |
| Formally transforming user-model testing problems into implementer-model testing problems and viceversa C Andrés, L Llana, I Rodríguez The Journal of Logic and Algebraic Programming 78 (6), 425-453, 2009 | 9 | 2009 |
| Formal passive testing of service-oriented systems C Andrés, ME Cambronero, M Núñez 2010 IEEE International Conference on Services Computing, 610-613, 2010 | 8 | 2010 |
| Optimizing the trade-offs between cost and performance in scientific computing A Núñez, C Andrés, MG Merayomg Procedia Computer Science 9, 498-507, 2012 | 7 | 2012 |
Manuel NúñezUniversidad Complutense de MadridDirección de correo verificada de ucm.es
