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 |