Manuel Núñez
发表
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2010,
2010 10th International Conference on Quality Software.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2008,
TestCom/FATES.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2009,
2009 International Conference on Software Testing, Verification, and Validation Workshops.
Manuel Núñez,
2011,
ICTSS.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Manuel Núñez,
Alfredo Ibias,
2020,
SAC.
Robert M. Hierons,
Manuel Núñez,
R. Hierons,
2010,
FMOODS/FORTE.
Manuel Núñez,
Ismael Rodríguez,
M. Núñez,
2002,
FORTE.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2011,
Distributed Computing.
Manuel Núñez,
Ismael Rodríguez,
2003,
International Conference on Computational Science.
Manuel Núñez,
Ismael Rodríguez,
2001,
FORTE.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Manuel Núñez,
Fernando Rubio,
Natalia López,
2004,
Comput. Syst. Sci. Eng..
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2009,
J. Log. Algebraic Methods Program..
Mario Bravetti,
Manuel Núñez,
Gianluigi Zavattaro,
2006
.
Manuel Núñez,
Fernando Rubio,
Natalia López,
2004,
Formal Aspects of Computing.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2018,
Distributed Computing.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
ATVA.
Mercedes G. Merayo,
Manuel Núñez,
Maria Azahara Camacho-Magrinan,
2017,
2017 IEEE Congress on Evolutionary Computation (CEC).
Manuel Núñez,
Fernando López Pelayo,
Natalia López,
2007,
Int. J. Cogn. Informatics Nat. Intell..
Mercedes G. Merayo,
Manuel Núñez,
Iván Calvo,
2020,
ACIIDS.
Manuel Núñez,
Natalia López,
M. Núñez,
2004,
Validation of Stochastic Systems.
Ngoc Thanh Nguyen,
Manuel Núñez,
Bogdan Trawiński,
2015
.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2002,
Intelligent Tutoring Systems.
Mercedes G. Merayo,
Manuel Núñez,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2002,
IICS.
Manuel Núñez,
Ismael Rodríguez,
2005,
FATES.
Manuel Núñez,
Ismael Rodríguez,
Luis Llana,
2006,
TestCom.
Manuel Núñez,
Fernando López Pelayo,
Natalia López,
2008,
Trans. Comput. Sci..
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2008,
ATVA.
Manuel Núñez,
Carlos Gregorio-Rodríguez,
M. Núñez,
1998,
PROBMIV.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2005,
Sci. Comput. Program..
Robert M. Hierons,
Manuel Núñez,
Raluca Lefticaru,
2020,
J. Syst. Softw..
Manuel Núñez,
David Griñán,
Alfredo Ibias,
2019,
IWANN.
Manuel Núñez,
Natalia López,
M. Núñez,
2001,
CONCUR.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
EPEW.
Manuel Núñez,
César Andrés,
Rafael G. Aranda,
2008,
SAC '08.
Manuel Núñez,
Ismael Rodríguez,
Luis Llana,
2006,
FORTE.
Manuel Núñez,
María-Emilia Cambronero,
César Andrés,
2010,
2010 IEEE International Conference on Services Computing.
Teruo Higashino,
Ana R. Cavalli,
Manuel Núñez,
2015,
Ann. des Télécommunications.
Manuel Núñez,
Luis Llana,
M. Núñez,
1997,
Euro-Par.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2008,
Comput. Networks.
Robert M. Hierons,
Manuel Núñez,
Carlos Molinero,
2011,
2011 IEEE Symposium on Artificial Life (ALIFE).
Manuel Núñez,
1993
.
Manuel Núñez,
César Andrés,
Carlos Molinero,
2009,
IWANN.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2005
.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2013,
Soft Comput..
Mercedes G. Merayo,
Manuel Núñez,
Iván Calvo,
2018,
ACIIDS.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2005,
Softw. Test. Verification Reliab..
Ana R. Cavalli,
Manuel Núñez,
José Antonio Arnedo,
2003,
TestCom.
Manuel Núñez,
Steve Counsell,
S. Counsell,
2013
.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2002,
AIMSA.
Manuel Núñez,
M. Núñez,
1999,
ARTS.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2017,
J. Log. Algebraic Methods Program..
Ngoc Thanh Nguyen,
Manuel Núñez,
Bogdan Trawinski,
2017,
J. Intell. Fuzzy Syst..
Manuel Núñez,
Ismael Rodríguez,
Natalia López,
2007,
EPEW.
Manuel Núñez,
M. Carmen Ruiz,
Juan José Pardo,
2010,
FMOODS/FORTE.
Robert M. Hierons,
Manuel Núñez,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2009,
2009 International Conference on Software Testing Verification and Validation.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2013,
FMOODS/FORTE.
Manuel Núñez,
Ismael Rodríguez,
Pablo Rabanal,
2006,
SITIS.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2006,
EPEW.
Manuel Núñez,
Pedro Palao,
M. Núñez,
1995,
GULP-PRODE.
Manuel Núñez,
Alfredo Ibias,
Robert M. Hierons,
2021,
Inf. Softw. Technol..
Manuel Núñez,
Sviatoslav Braynov,
Peter R. Wurman,
2005,
SAC.
Mercedes G. Merayo,
Manuel Núñez,
Maria Azahara Camacho-Magrinan,
2017,
J. Intell. Fuzzy Syst..
Manuel Núñez,
Matthias Güdemann,
2015,
Lecture Notes in Computer Science.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
FORTE Workshops.
Robert M. Hierons,
Manuel Núñez,
R. Hierons,
2017,
J. Syst. Softw..
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2012,
FM.
Manuel Núñez,
Fernando López Pelayo,
Natalia López,
2005,
Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..
Manuel Núñez,
Ismael Rodríguez,
Natalia López,
2006,
Theor. Comput. Sci..
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2010,
QSIC.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2006,
FORTE.
Ana R. Cavalli,
Manuel Núñez,
Edgardo Montes de Oca,
2003,
TestCom.
Manuel Núñez,
Carlos Molinero,
M. Núñez,
2011
.
Robert M. Hierons,
Manuel Núñez,
R. Hierons,
2012,
Formal Aspects of Computing.
Juan de Lara,
Esther Guerra,
Manuel Núñez,
2017,
STAF Workshops.
Burkhart Wolff,
Grigore Rosu,
Manuel Núñez,
2006
.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2008,
IEEE Transactions on Computers.
Manuel Núñez,
Luis Llana,
M. Núñez,
2009,
Fundam. Informaticae.
Manuel Núñez,
Alberto Nuñez,
César Andrés,
2012,
ICCCI.
A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth Systems
Mercedes G. Merayo,
Manuel Núñez,
Azahara Camacho,
2016
.
Manuel Núñez,
Alberto Nuñez,
Juan José Pardo,
2015,
ICCS.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2010,
Encyclopedia of Software Engineering.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
SECO.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
AIMSA.
Mercedes G. Merayo,
Manuel Núñez,
Paul Baker,
2009
.
Manuel Núñez,
César Andrés,
Carlos Molinero,
2009,
ICCS.
Manuel Núñez,
César Andrés,
2008,
Third International Conference on Systems (icons 2008).
Manuel Núñez,
Pablo Cañizares,
Azahara Camacho,
2018
.
Ana R. Cavalli,
Mercedes G. Merayo,
Manuel Núñez,
2009,
ICFEM.
Manuel Núñez,
M. Núñez,
2003,
J. Log. Algebraic Methods Program..
Manuel Núñez,
Pablo Cañizares,
Robert M. Hierons,
2021,
IEEE Transactions on Reliability.
Manuel Núñez,
Fernando López Pelayo,
Natalia López,
2004,
Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2008,
TestCom/FATES.
Manuel Núñez,
César Andrés,
Carlos Molinero,
2008,
2008 IEEE International Conference on Signal Image Technology and Internet Based Systems.
Manuel Núñez,
Matthias Güdemann,
2017,
International Journal on Software Tools for Technology Transfer.
Teruo Higashino,
Ana R. Cavalli,
Manuel Núñez,
2015,
Ann. des Télécommunications.
Robert M. Hierons,
Manuel Núñez,
Raluca Lefticaru,
2019,
SEFM.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
FSEN'07.
Mercedes G. Merayo,
Manuel Núñez,
Lars Frantzen,
2009,
J. Log. Algebraic Methods Program..
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2007,
Int. J. Cogn. Informatics Nat. Intell..
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
SAC '04.
Manuel Núñez,
Luis Llana,
M. Núñez,
2008,
FORTE.
Annabelle McIver,
Manuel Núñez,
Suzana Andover,
2012,
J. Log. Algebraic Methods Program..
Manuel Núñez,
Fernando Rubio,
Natalia López,
2002,
IFM.
Manuel Núñez,
Ismael Rodríguez,
Natalia López,
2004,
International Workshop on Formal Approaches to Testing of Software.
Robert M. Hierons,
Manuel Núñez,
Carlos Molinero,
2011,
IWANN.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
FSEN'07.
Manuel Núñez,
Ismael Rodríguez,
Fernando López Pelayo,
2005,
IESS.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
IICS.
Manuel Núñez,
Ismael Rodríguez,
M. Núñez,
2005,
IESS.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2014,
Distributed Computing.
Manuel Núñez,
Ismael Rodríguez,
M. Núñez,
2003,
FORTE.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2011,
IWANN.
Manuel Núñez,
Steve Counsell,
2013,
Lecture Notes in Computer Science.
Manuel Núñez,
David de Frutos-Escrig,
Juan Quemada,
1995,
PSTV.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2009,
IWANN.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2006,
TestCom.
Manuel Núñez,
Fernando Rubio,
Sviatoslav Braynov,
2003,
SAC '05.
Manuel Núñez,
David Rupérez,
M. Núñez,
1999,
FORTE.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2008,
ATVA.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2018,
Inf. Softw. Technol..
Manuel Núñez,
David de Frutos-Escrig,
Luis Llana,
1995,
CONCUR.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2010,
International Conference on Software Engineering and Knowledge Engineering.
Mario Bravetti,
Manuel Núñez,
Ismael Rodríguez,
2006,
Electron. Notes Theor. Comput. Sci..
Mercedes G. Merayo,
Manuel Núñez,
Azahara Camacho,
2016
.
Ana R. Cavalli,
Manuel Núñez,
Fatiha Zaïdi,
2005,
Comput. Networks.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2003,
The Second IEEE International Conference on Cognitive Informatics, 2003. Proceedings..
Manuel Núñez,
M. Carmen Ruiz,
Juan José Pardo,
2009,
ICCCI.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004
.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
Inf. Softw. Technol..
Mario Bravetti,
Manuel Núñez,
Ismael Rodríguez,
2007,
Journal of universal computer science (Online).
Manuel Núñez,
Natalia López,
M. Núñez,
2000,
ICDCS Workshop on Distributed System Validation and Verification.
Manuel Núñez,
Fernando Rubio,
Natalia López,
2002,
Lecture Notes in Computer Science.
Manuel Núñez,
César Andrés,
Luis Llana,
2011,
2011 IEEE Congress of Evolutionary Computation (CEC).
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2011,
Software & Systems Modeling.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2016,
ICTSS.
Manuel Núñez,
Ismael Rodríguez,
2007,
ATVA.
Manuel Núñez,
Natalia López,
M. Núñez,
2005,
ICTAC.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2008,
Third International Conference on Systems (icons 2008).
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2003,
SAC '03.
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio,
2004,
FORTE Workshops.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2009,
SEKE.
Manuel Núñez,
Ismael Rodríguez,
Natalia López,
2006,
AMAST.
Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez,
2018,
IEEE Transactions on Reliability.
Manuel Núñez,
María-Emilia Cambronero,
César Andrés,
2010,
WS-FM.
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2012,
Softw. Test. Verification Reliab..
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models
Mercedes G. Merayo,
Manuel Núñez,
César Andrés,
2009,
2009 Ninth International Conference on Quality Software.
Manuel Núñez,
Alberto Nuñez,
Pablo C. Cañizares,
2014,
2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems.
Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez,
2007,
J. Log. Algebraic Methods Program..
Manuel Núñez,
César Andrés,
Yaofeng Zhang,
2010,
ACIIDS.
Ana R. Cavalli,
Mercedes G. Merayo,
Manuel Núñez,
2009,
2009 16th Asia-Pacific Software Engineering Conference.
Burkhart Wolff,
Grigore Rosu,
Manuel Núñez,
2007
.