Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Núñez 0001
Person information
- affiliation: Complutense University of Madrid (UCM), Department of Information Systems and Computation, Spain
Other persons with the same name
- Manuel Núñez 0002 — Universidad de Valladolid, Spain
- Manuel Núñez 0003 — University of Connecticut, Storrs, USA
- Manuel Núñez 0004
![[0000-0002-1197-7488]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-1197-7488")
— Polish-Japanese Academy of Information Technology, Warsaw, Poland - Manuel Núñez 0005 — Intercom Strategys, Madrid, Spain
- Manuel Núñez 0006 — University of Córdoba, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j53]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: 103664 (2023)- [j52]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: 106041 (2023) - [j51]Alfredo Ibias, Manuel Núñez:
Squeeziness for non-deterministic systems. Inf. Softw. Technol. 158: 107173 (2023) - [j50]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): 549-563 (2023) - 2022
- [j49]Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez:
SINPA: SupportINg the automation of construction PlAnning. Expert Syst. Appl. 190: 116149 (2022) - [c122]Manuel Méndez, Carlos Montero, Manuel Núñez:
Using Deep Transformer Based Models to Predict Ozone Levels. ACIIDS (1) 2022: 169-182 - [c121]Manuel Méndez, Alfredo Ibias, Manuel Núñez:
Using Deep Learning to Detect Anomalies in Traffic Flow. ACIIDS (1) 2022: 299-312 - 2021
- [j48]Alfredo Ibias, Manuel Núñez:
SqSelect: Automatic assessment of Failed Error Propagation in state-based systems. Expert Syst. Appl. 174: 114748 (2021) - [j47]Alfredo Ibias, Manuel Núñez, Robert M. Hierons:
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132: 106498 (2021) - [j46]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez:
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138: 106631 (2021) - [j45]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): 261-284 (2021) - [c120]Alfredo Ibias, Luis Llana, Manuel Núñez:
Using Ant Colony Optimisation to Select Features Having Associated Costs. ICTSS 2021: 106-122 - 2020
- [j44]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170: 110738 (2020) - [c119]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) 2020: 123-134 - [c118]Alfredo Ibias, Manuel Núñez:
Estimating fault masking using squeeziness based on Rényi's entropy. SAC 2020: 1936-1943 - [c117]Alfredo Ibias, Manuel Núñez:
Using a swarm to detect hard-to-kill mutants. SMC 2020: 2190-2195 - [c116]Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Núñez:
An evolutionary technique for supporting the consensus process of group decision making. SMC 2020: 2201-2206
2010 – 2019
- 2019
- [j43]Alfredo Ibias, Robert M. Hierons, Manuel Núñez:
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112: 132-147 (2019) - [j42]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37(6): 7389-7399 (2019) - [c115]Alfredo Ibias, David Griñán, Manuel Núñez:
GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. IWANN (1) 2019: 716-728 - [c114]Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez:
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) 2019: 741-752 - [c113]Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano:
Conformance Relations for Fuzzy Automata. IWANN (1) 2019: 753-765 - [c112]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM 2019: 393-409 - [c111]David Griñán, Alfredo Ibias, Manuel Núñez:
Grammar-based Tree Swarm Optimization. SMC 2019: 76-81 - 2018
- [j41]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j40]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: 162-178 (2018) - [j39]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c110]Iván Calvo, Mercedes G. Merayo, Manuel Núñez:
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) 2018: 694-704 - [c109]Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez:
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO 2018: 1427-1434 - 2017
- [j38]Ngoc Thanh Nguyen, Manuel Núñez, Bogdan Trawinski:
Collective intelligent information and database systems. J. Intell. Fuzzy Syst. 32(2): 1157-1160 (2017) - [j37]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez:
Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. 32(2): 1485-1496 (2017) - [j36]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j35]Robert M. Hierons, Manuel Núñez:
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132: 319-335 (2017) - [j34]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): 391-393 (2017) - [c108]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez:
Using Evolutionary Mutation Testing to improve the quality of test suites. CEC 2017: 596-603 - [c107]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez:
Using fuzzy automata to diagnose and predict heart problems. CEC 2017: 846-853 - [c106]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: 403-414 - [c105]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: 367-374 - 2016
- [c104]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - 2015
- [j33]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): 83-84 (2015) - [j32]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): 85-93 (2015) - [c103]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: 2804-2808 - [e11]Manuel Núñez, Matthias Güdemann:
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Lecture Notes in Computer Science 9128, Springer 2015, ISBN 978-3-319-19457-8 [contents] - [e10]Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski:
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015. Proceedings, Part I. Lecture Notes in Computer Science 9329, Springer 2015, ISBN 978-3-319-24068-8 [contents] - [e9]Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski:
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9330, Springer 2015, ISBN 978-3-319-24305-4 [contents] - 2014
- [j31]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [c102]Alberto Nuñez, Pablo C. Cañizares, Manuel Núñez:
A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. SITIS 2014: 215-222 - [e8]Steve Counsell, Manuel Núñez:
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7 [contents] - 2013
- [j30]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): 301-315 (2013) - [c101]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - 2012
- [j29]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [j28]Robert M. Hierons, Manuel Núñez:
Using schedulers to test probabilistic distributed systems. Formal Aspects Comput. 24(4-6): 679-699 (2012) - [j27]Suzana Andover, Annabelle McIver, Manuel Núñez:
Preface: Special Issue QFM 2009. J. Log. Algebraic Methods Program. 81(1): 1 (2012) - [j26]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): 365-405 (2012) - [j25]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): 583-608 (2012) - [c100]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - [c99]César Andrés, Alberto Nuñez, Manuel Núñez:
Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) 2012: 505-514 - 2011
- [j24]Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons:
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j23]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10): 999-1026 (2011) - [c98]César Andrés, Luis Llana, Manuel Núñez:
Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122 - [c97]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: 22-29 - [c96]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: 396-403 - [c95]Carlos Molinero, Manuel Núñez, Robert M. Hierons:
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) 2011: 404-411 - [c94]Manuel Núñez:
Formal Testing of Timed and Probabilistic Systems. ICTSS 2011: 9-14 - [e7]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011 [contents] - 2010
- [c93]César Andrés, María-Emilia Cambronero, Manuel Núñez:
Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613 - [c92]César Andrés, Manuel Núñez, Yaofeng Zhang:
From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63 - [c91]Robert M. Hierons, Manuel Núñez:
Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77 - [c90]Juan José Pardo, Manuel Núñez, M. Carmen Ruiz:
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE 2010: 78-86 - [c89]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [c88]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - [c87]César Andrés, María-Emilia Cambronero, Manuel Núñez:
Passive Testing of Web Services. WS-FM 2010: 56-70 - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
2000 – 2009
- 2009
- [j22]Luis Fernando Llana Díaz, Manuel Núñez:
Testing Semantics for RTPA. Fundam. Informaticae 90(3): 305-335 (2009) - [j21]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): 98-115 (2009) - [j20]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): 417-424 (2009) - [c86]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: 152-159 - [c85]César Andrés, Carlos Molinero, Manuel Núñez:
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356 - [c84]Juan José Pardo, Manuel Núñez, M. Carmen Ruiz:
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) 2009: 193-204 - [c83]Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli:
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205 - [c82]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 - [c81]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 - [c80]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: 327-334 - [c79]Carlos Molinero, Manuel Núñez, César Andrés:
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350 - [c78]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: 145-154 - [c77]Robert M. Hierons, Manuel Núñez:
Simulation Relations for Systems with Distributed Interfaces. SEFM 2009: 41-50 - [c76]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: 73-82 - [c75]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: 426-431 - [e6]Manuel Núñez, Paul Baker, Mercedes G. Merayo:
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5 [contents] - [e5]Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - 2008
- [j19]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j18]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j17]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): 835-844 (2008) - [j16]Natalia López, Manuel Núñez, Fernando L. Pelayo:
A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. 2: 224-245 (2008) - [c74]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c73]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. ATVA 2008: 418-427 - [c72]Manuel Núñez, Luis Fernando Llana Díaz:
A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282 - [c71]Mercedes G. Merayo, Manuel Núñez:
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102 - [c70]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Formal Development of a Complex Information System. ICONS 2008: 118-123 - [c69]César Andrés, Manuel Núñez:
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 - [c68]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - [c67]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c66]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: 848-849 - [c65]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - [c64]César Andrés, Carlos Molinero, Manuel Núñez:
A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS 2008: 169-176 - 2007
- [j15]Ismael Rodríguez, Manuel Núñez, Fernando Rubio:
Cognitive Processes by Using Finite State Machines. Int. J. Cogn. Informatics Nat. Intell. 1(3): 52-65 (2007) - [j14]Natalia López, Manuel Núñez, Fernando L. Pelayo:
A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. 1(4): 47-60 (2007) - [j13]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13(13): 2035-2075 (2007) - [c63]Ismael Rodríguez, Manuel Núñez:
A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409 - [c62]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A Brief Introduction to THOTL. ATVA 2007: 501-510 - [c61]Natalia López, Manuel Núñez, Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79 - [c60]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c59]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c58]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c57]Mercedes G. Merayo, Manuel Núñez:
Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236 - [c56]