Manuel Núñez

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 46

Top Venues

Inf. Softw. Technol.

ACIIDS (1)

J. Intell. Fuzzy Syst.

SMC

Publications

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49 (2) (2023)
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Eng. Appl. Artif. Intell. 121 (2023)
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
Machine learning algorithms to forecast air quality: a survey. Artif. Intell. Rev. 56 (9) (2023)
Manuel Méndez, Miguel Benito-Parejo, Alfredo Ibias, Manuel Núñez
Metamorphic testing of chess engines. Inf. Softw. Technol. 162 (2023)
Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83 (2023)
Alfredo Ibias, Manuel Núñez
Squeeziness for non-deterministic systems. Inf. Softw. Technol. 158 (2023)
Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165 (2023)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products (2023)
Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez
SINPA: SupportINg the automation of construction PlAnning. Expert Syst. Appl. 190 (2022)
Manuel Méndez, Alfredo Ibias, Manuel Núñez
Using Deep Learning to Detect Anomalies in Traffic Flow. ACIIDS (1) (2022)
Manuel Méndez, Carlos Montero, Manuel Núñez
Using Deep Transformer Based Models to Predict Ozone Levels. ACIIDS (1) (2022)
Alfredo Ibias, Manuel Núñez
SqSelect: Automatic assessment of Failed Error Propagation in state-based systems. Expert Syst. Appl. 174 (2021)
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab. 70 (1) (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138 (2021)
Alfredo Ibias, Manuel Núñez, Robert M. Hierons
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132 (2021)
Alfredo Ibias, Luis Llana, Manuel Núñez
Using Ant Colony Optimisation to Select Features Having Associated Costs. ICTSS (2021)
Alfredo Ibias, Manuel Núñez
Using a swarm to detect hard-to-kill mutants. SMC (2020)
Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Núñez
An evolutionary technique for supporting the consensus process of group decision making. SMC (2020)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) (2020)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170 (2020)
Alfredo Ibias, Manuel Núñez
Estimating fault masking using squeeziness based on Rényi's entropy. SAC (2020)
Alfredo Ibias, Robert M. Hierons, Manuel Núñez
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112 (2019)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano
Conformance Relations for Fuzzy Automata. IWANN (1) (2019)
Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) (2019)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM (2019)
Alfredo Ibias, David Griñán, Manuel Núñez
GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. IWANN (1) (2019)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37 (6) (2019)
David Griñán, Alfredo Ibias, Manuel Núñez
Grammar-based Tree Swarm Optimization. SMC (2019)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67 (2) (2018)
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31 (5) (2018)
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104 (2018)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) (2018)
Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO (2018)
Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Núñez
A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. IWANN (2) (2017)
Ngoc Thanh Nguyen, Manuel Núñez, Bogdan Trawinski
Collective intelligent information and database systems. J. Intell. Fuzzy Syst. 32 (2) (2017)
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. 32 (2) (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez
Using Evolutionary Mutation Testing to improve the quality of test suites. CEC (2017)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86 (1) (2017)
Robert M. Hierons, Manuel Núñez
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132 (2017)
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Using fuzzy automata to diagnose and predict heart problems. CEC (2017)
Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops (2017)
Matthias Güdemann, Manuel Núñez
Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Controllability Through Nondeterminism in Distributed Testing. ICTSS (2016)
Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo
A Methodology for Designing Energy-aware Systems for Computational Science. ICCS (2015)
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications 70 (3-4) (2015)
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications 70 (3-4) (2015)
Alberto Nuñez, Pablo C. Cañizares, Manuel Núñez
A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. SITIS (2014)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Timed implementation relations for the distributed test architecture. Distributed Comput. 27 (3) (2014)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Passive Testing with Asynchronous Communications. FMOODS/FORTE (2013)
Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17 (2) (2013)
César Andrés, Alberto Nuñez, Manuel Núñez
Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) (2012)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Using Time to Add Order to Distributed Testing. FM (2012)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22 (8) (2012)
Robert M. Hierons, Manuel Núñez
Using schedulers to test probabilistic distributed systems. Formal Aspects Comput. 24 (4-6) (2012)
Suzana Andover, Annabelle McIver, Manuel Núñez
Preface: Special Issue QFM 2009. J. Log. Algebraic Methods Program. 81 (1) (2012)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25 (1) (2012)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22 (6) (2012)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41 (10) (2011)
Carlos Molinero, Manuel Núñez, Robert M. Hierons
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) (2011)
Manuel Núñez
Formal Testing of Timed and Probabilistic Systems. ICTSS (2011)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) (2011)
Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10 (2) (2011)
César Andrés, Luis Llana, Manuel Núñez
Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation (2011)
Carlos Molinero, Manuel Núñez, Robert M. Hierons
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. ALIFE (2011)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Scenarios-Based Testing of Systems with Distributed Ports. QSIC (2010)
César Andrés, María-Emilia Cambronero, Manuel Núñez
Passive Testing of Web Services. WS-FM (2010)
Robert M. Hierons, Manuel Núñez
Testing Probabilistic Distributed Systems. FMOODS/FORTE (2010)
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE (2010)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE (2010)
César Andrés, Manuel Núñez, Yaofeng Zhang
From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) (2010)
César Andrés, María-Emilia Cambronero, Manuel Núñez
Formal Passive Testing of Service-Oriented Systems. IEEE SCC (2010)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78 (2) (2009)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops (2009)
Robert M. Hierons, Manuel Núñez
Simulation Relations for Systems with Distributed Interfaces. SEFM (2009)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Passive Testing of Stochastic Timed Systems. ICST (2009)
Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM (2009)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) (2009)
Carlos Molinero, Manuel Núñez, César Andrés
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) (2009)
Luis Fernando Llana Díaz, Manuel Núñez
Testing Semantics for RTPA. Fundam. Informaticae 90 (3) (2009)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC (2009)
César Andrés, Carlos Molinero, Manuel Núñez
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) (2009)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM (2009)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE (2009)
Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. 78 (6) (2009)
César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC (2009)
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) (2009)
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM (2008)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Passive Testing of Timed Systems. ATVA (2008)
César Andrés, Carlos Molinero, Manuel Núñez
A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS (2008)
César Andrés, Manuel Núñez
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS (2008)
Manuel Núñez, Luis Fernando Llana Díaz
A Hierarchy of Equivalences for Probabilistic Processes. FORTE (2008)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57 (6) (2008)
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74 (2) (2008)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Controllable Test Cases for the Distributed Test Architecture. ATVA (2008)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
THOTL: A Timed Extension of HOTL. TestCom/FATES (2008)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Implementation Relations for the Distributed Test Architecture. TestCom/FATES (2008)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal testing from timed finite state machines. Comput. Networks 52 (2) (2008)
César Andrés, Rafael G. Aranda, Manuel Núñez
Using formal methods to develop a complex information system: a practical/theoretical experience. SAC (2008)
César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Development of a Complex Information System. ICONS (2008)
Mercedes G. Merayo, Manuel Núñez
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS (2008)

Manuel Núñez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Núñez