Non Homomorphic Reductions of Data Structures. - Luis A. Galán; Manuel Núñez 001; Cristóbal Pareja; Ricardo Pena (GULP-PRODE (2), 1994)

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. - Pedro Palao; Manuel Núñez 001 (GULP-PRODE, 1995)

Acceptance Trees for Probabilistic Processes. - Manuel Núñez 001; David de Frutos-Escrig; Luis Fernando Llana Díaz (CONCUR, 1995)

Testing Semantics for Probabilistic LOTOS. - Manuel Núñez 001; David de Frutos-Escrig (FORTE, 1995)

A Second Year Course on Data Structures Based on Functional Programming. - Manuel Núñez 001; Pedro Palao; Ricardo Pena (FPLE, 1995)

Characterizing termination in LOTOS via testing. - David de Frutos-Escrig; Manuel Núñez 001; Juan Quemada (PSTV, 1995)

A New Look to Pattern Matching in Abstract Data Types. - Pedro Palao-Gostanza; Ricardo Pena; Manuel Núñez 001 (ICFP, 1996)

Testing Semantics for a Probabilistic-Timed Process Algebra. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Manuel Núñez 001; Pedro Palao-Gostanza (ARTS, 1997)

Testing Semantics for Unbounded Nondeterminism. - Luis Fernando Llana Díaz; Manuel Núñez 001 (Euro-Par, 1997)

Friendly Testing as a Conformance Relation. - David de Frutos-Escrig; Luis Fernando Llana Díaz; Manuel Núñez 001 (FORTE, 1997)

Denotational Semantics for Probabilistic Refusal Testing. - Carlos Gregorio-Rodríguez; Manuel Núñez 001 (PROBMIV, 1998)

An invitation to friendly testing. - David de Frutos-Escrig; Luis Fernando Llana Díaz; Manuel Núñez 001 (J. Comput. Sci. Technol., 1998)

Condition measures and properties of the central trajectory of a linear program. - Manuel Núñez 001; Robert M. Freund (Math. Program., 1998)

An Axiomatization of Probabilistic Testing. - Manuel Núñez 001 (ARTS, 1999)

Global Timed Bisimulation: An Introduction. - David de Frutos-Escrig; Natalia López; Manuel Núñez 001 (FORTE, 1999)

Fair Testing through Probabilistic Testing. - Manuel Núñez 001; David Rupérez (FORTE, 1999)

NMSPA: A Non-Markovian Model for Stochastic Processes. - Natalia López; Manuel Núñez 001 (ICDCS Workshop on Distributed System Validation and Verification, 2000)

A Testing Theory for Generally Distributed Stochastic Processes. - Natalia López; Manuel Núñez 001 (CONCUR, 2001)

PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. - Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2001)

Condition-Measure Bounds on the Behavior of the Central Trajectory of a Semidefinite Program. - Manuel Núñez 001; Robert M. Freund (SIAM J. Optim., 2001)

Introducing the Golden Section to Computer Science. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2002)

WHAT: Web-Based Haskell Adaptive Tutor. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (AIMSA, 2002)

Encoding PAMR into (Timed) EFSMs. - Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2002)

Stochastic Process Algebras Meet Eden. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (IFM, 2002)

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IICS, 2002)

Including Malicious Agents into a Collaborative Learning Environment. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Intelligent Tutoring Systems, 2002)

Towards the Identification of Living Agents in Complex Computational Environments. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2003)

Towards Testing Stochastic Timed Systems. - Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2003)

Introducing CEES: Complex Economic Environments Simulator. - Ismael Rodríguez 001; Manuel Núñez 001 (International Conference on Computational Science, 2003)

Fast Testing of Critical Properties through Passive Testing. - José Antonio Arnedo; Ana R. Cavalli; Manuel Núñez 001 (TestCom, 2003)

TestNet: Let's Test Together!. - Ana R. Cavalli; Edgardo Montes de Oca; Manuel Núñez 001 (TestCom, 2003)

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2003)

Algebraic theory of probabilistic processes. - Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2003)

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (IEEE ICCI, 2004)

Applying Occam's Razor to FSMs. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2004)

A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (AIMSA, 2004)

Testing of Symbolic-Probabilistic Systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (FATES, 2004)

Formal Specification of Symbolic-Probabilistic Systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (FORTE Workshops, 2004)

Testing of Autonomous Agents Described as Utility State Machines. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (FORTE Workshops, 2004)

Specification of Autonomous Agents in E-commerce Systems. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (FORTE Workshops, 2004)

A Formal Framework to Reduce Communications in Communication Systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IICS, 2004)

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2004)

An Overview of Probabilistic Process Algebras and their Equivalences. - Natalia López; Manuel Núñez 001 (Validation of Stochastic Systems, 2004)

Predicting performance in the presence of stochastic information. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Comput. Syst. Sci. Eng., 2004)

An integrated framework for the performance analysis of asynchronous communicating stochastic processes. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Formal Aspects Comput., 2004)

A formal framework for analyzing reusability complexity in component-based systems. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (Inf. Softw. Technol., 2004)

Improving privacy in Vickrey auctions. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SIGecom Exch., 2004)

Specifying the memorization process with STOPA. - Fernando L. Pelayo; Manuel Núñez 001; Natalia López (IEEE ICCI, 2005)

Conformance Testing Relations for Timed Systems. - Manuel Núñez 001; Ismael Rodríguez 001 (FATES, 2005)

Weak Stochastic Bisimulation for Non-markovian Processes. - Natalia López; Manuel Núñez 001 (ICTAC, 2005)

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. - Manuel Núñez 001; Fernando L. Pelayo; Ismael Rodríguez 001 (IESS, 2005)

Specification-Based Testing of Real-Time Embedded Systems. - Manuel Núñez 001; Ismael Rodríguez 001 (IESS, 2005)

Editorial message: special track on e-commerce technologies. - Sviatoslav B. Braynov; Manuel Núñez 001; Peter R. Wurman (SAC, 2005)

A passive testing approach based on invariants: application to the WAP - Emmanuel Bayse; Ana R. Cavalli; Manuel Núñez 001; Fatiha Zaïdi (Comput. Networks, 2005)

From Theoretical e-barter Models to an Implementation Based on Web Services. - Mario Bravetti; Adalberto Casalboni; Manuel Núñez 001; Ismael Rodríguez 001 (FSEN, 2005)

Formal specification of multi-agent e-barter systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Sci. Comput. Program., 2005)

Specification and testing of autonomous agents in e-commerce systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Softw. Test. Verification Reliab., 2005)

Assessing the Expressivity of Formal Specification Languages. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (AMAST, 2006)

Implementation Relations for Stochastic Finite State Machines. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (EPEW, 2006)

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. - Luis Fernando Llana Díaz; Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2006)

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2006)

Customized Testing for Probabilistic Systems. - Luis Fernando Llana Díaz; Manuel Núñez 001; Ismael Rodríguez 001 (TestCom, 2006)

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. - Ismael Rodríguez 001; Mercedes G. Merayo; Manuel Núñez 001 (TestCom, 2006)

Editorial message: special track on e-commerce technologies. - Sviatoslav B. Braynov; Manuel Núñez 001; Fernando Rubio 001 (SAC, 2006)

Market-Based Adaptive Discussion Forums. - Natalia López; Manuel Núñez 001; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (SITIS, 2006)

Specification, testing and implementation relations for symbolic-probabilistic systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (Theor. Comput. Sci., 2006)

A Brief Introduction to THOTL. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (ATVA, 2007)

A Formal Methodology to Test Complex Heterogeneous Systems. - Ismael Rodríguez 001; Manuel Núñez 001 (ATVA, 2007)

SPAMR: Extending PAMR with stochastic time. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (EPEW, 2007)

Testing Finite State Machines Presenting Stochastic Time and Timeouts. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (EPEW, 2007)

Formal Testing of Systems Presenting Soft and Hard Deadlines. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (FSEN, 2007)

Formal Specification of Multi-agent Systems by Using EUSMs. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (FSEN, 2007)

Testing conformance on Stochastic Stream X-Machines. - Mercedes G. Merayo; Manuel Núñez 001 (SEFM, 2007)

Generation of optimal finite test suites for timed systems. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (TASE, 2007)

A Formal Specification of the Memorization Process. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Int. J. Cogn. Informatics Nat. Intell., 2007)

Cognitive Processes by Using Finite State Machines. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2007)

From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. - Mario Bravetti; Adalberto Casalboni; Manuel Núñez 001; Ismael Rodríguez 001 (J. Univers. Comput. Sci., 2007)

Passive Testing of Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ATVA, 2008)

Controllable Test Cases for the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (ATVA, 2008)

A Hierarchy of Equivalences for Probabilistic Processes. - Manuel Núñez 001; Luis Fernando Llana Díaz (FORTE, 2008)

Formal Development of a Complex Information System. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICONS, 2008)

ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. - César Andrés; Manuel Núñez 001 (ICONS, 2008)

Derivation of Tests from Timed Specifications According to Different Coverage Criteria. - Mercedes G. Merayo; Manuel Núñez 001 (ICONS, 2008)

Implementation Relations for the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (TestCom/FATES, 2008)

THOTL: A Timed Extension of HOTL. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (TestCom/FATES, 2008)

Using formal methods to develop a complex information system: a practical/theoretical experience. - César Andrés; Rafael G. Aranda; Manuel Núñez 001 (SAC, 2008)

Extending Stream X-Machines to Specify and Test Systems with Timeouts. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (SEFM, 2008)

A Formal Methodology to Specify Hierarchical Agent-Based Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (SITIS, 2008)

Formal testing from timed finite state machines. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (Comput. Networks, 2008)

HOTL: Hypotheses and observations testing logic. - Ismael Rodríguez 001; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2008)

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (IEEE Trans. Computers, 2008)

A Comparative Study of STOPA and RTPA. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Trans. Comput. Sci., 2008)

Analysis of the OLSR Protocol by Using Formal Passive Testing. - César Andrés; Stéphane Maag; Ana R. Cavalli; Mercedes G. Merayo; Manuel Núñez 001 (APSEC, 2009)

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (ICCS (1), 2009)

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (ICCCI (SCI Volume), 2009)

A Statistical Approach to Test Stochastic and Probabilistic Systems. - Mercedes G. Merayo; Iksoon Hwang; Manuel Núñez 001; Ana R. Cavalli (ICFEM, 2009)

Passive Testing of Stochastic Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICST, 2009)

Formal Correctness of a Passive Testing Approach for Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICST Workshops, 2009)

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. - Karnig Derderian; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (IWANN (1), 2009)

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. - Carlos Molinero; Manuel Núñez 001; César Andrés (IWANN (1), 2009)

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (QSIC, 2009)

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEFM, 2009)

Simulation Relations for Systems with Distributed Interfaces. - Robert M. Hierons; Manuel Núñez 001 (SEFM, 2009)

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEKE, 2009)

Testing Semantics for RTPA. - Luis Fernando Llana Díaz; Manuel Núñez 001 (Fundam. Informaticae, 2009)

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. - Lars Frantzen; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2009)

Testing from a stochastic timed system with a fault model. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2009)

Formal Passive Testing of Service-Oriented Systems. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (IEEE SCC, 2010)

From Data Mining to User Models in Evolutionary Databases. - César Andrés; Manuel Núñez 001; Yaofeng Zhang (ACIIDS (1), 2010)

Testing Probabilistic Distributed Systems. - Robert M. Hierons; Manuel Núñez 001 (FMOODS/FORTE, 2010)

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (FMOODS/FORTE, 2010)

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEKE, 2010)

Passive Testing of Web Services. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (WS-FM, 2010)

Mutation Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Encyclopedia of Software Engineering, 2010)

Self-adaptive fuzzy-timed systems. - César Andrés; Luis Llana; Manuel Núñez 001 (IEEE Congress on Evolutionary Computation, 2011)

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (ALIFE, 2011)

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. - Karnig Derderian; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (IWANN (2), 2011)

Experimental Comparison of Different Techniques to Generate Adaptive Sequences. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (IWANN (2), 2011)

Formal Testing of Timed and Probabilistic Systems. - Manuel Núñez 001 (ICTSS, 2011)

Testing timed systems modeled by Stream X-machines. - Mercedes G. Merayo; Manuel Núñez 001; Robert M. Hierons (Softw. Syst. Model., 2011)

Scenarios-based testing of systems with distributed ports. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Softw. Pract. Exp., 2011)

Using Time to Add Order to Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (FM, 2012)

Preventing Attacks by Classifying User Models in a Collaborative Scenario. - César Andrés; Alberto Nuñez; Manuel Núñez 001 (ICCCI (1), 2012)

Implementation relations and test generation for systems with distributed interfaces. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Distributed Comput., 2012)

Using schedulers to test probabilistic distributed systems. - Robert M. Hierons; Manuel Núñez 001 (Formal Aspects Comput., 2012)

Preface: Special Issue QFM 2009. - Suzana Andover; Annabelle McIver; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2012)

Formal passive testing of timed systems: theory and tools. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (Softw. Test. Verification Reliab., 2012)

A formal framework to test soft and hard deadlines in timed systems. - Mercedes G. Merayo; Manuel Núñez 001; Ismael Rodríguez 001 (Softw. Test. Verification Reliab., 2012)

Passive Testing with Asynchronous Communications. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (FMOODS/FORTE, 2013)

Using genetic algorithms to generate test sequences for complex timed systems. - Alberto Nuñez; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Soft Comput., 2013)

A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. - Alberto Nuñez; Pablo C. Cañizares; Manuel Núñez 001 (SITIS, 2014)

Timed implementation relations for the distributed test architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Distributed Comput., 2014)

A Methodology for Designing Energy-aware Systems for Computational Science. - Pablo C. Cañizares; Alberto Núñez; Manuel Núñez 001; Juan José Pardo (ICCS, 2015)

Special issue on formal active and passive testing of distributed and networked systems. - Ana R. Cavalli; Teruo Higashino; Manuel Núñez 001 (Ann. des Télécommunications, 2015)

A survey on formal active and passive testing with applications to the cloud. - Ana R. Cavalli; Teruo Higashino; Manuel Núñez 001 (Ann. des Télécommunications, 2015)

Controllability Through Nondeterminism in Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (ICTSS, 2016)

Using fuzzy automata to diagnose and predict heart problems. - Azahara Camacho; Mercedes G. Merayo; Manuel Núñez 001 (CEC, 2017)

Using Evolutionary Mutation Testing to improve the quality of test suites. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Manuel Núñez 001 (CEC, 2017)

A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. - Juan Boubeta-Puig; Azahara Camacho; Luis Llana; Manuel Núñez 001 (IWANN (2), 2017)

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. - Elvira Albert; Pablo C. Cañizares; Esther Guerra; Juan de Lara; Esperanza Marcos; Manuel Núñez 001; Guillermo Román-Díez; Juan Manuel Vara; Damiano Zanardini (STAF Workshops, 2017)

Collective intelligence and databases in eHealth: A survey. - Azahara Camacho; Mercedes G. Merayo; Manuel Núñez 001 (J. Intell. Fuzzy Syst., 2017)

Collective intelligent information and database systems. - Ngoc Thanh Nguyen 001; Manuel Núñez 001; Bogdan Trawinski (J. Intell. Fuzzy Syst., 2017)

An extended framework for passive asynchronous testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2017)

Implementation relations and probabilistic schedulers in the distributed test architecture. - Robert M. Hierons; Manuel Núñez 001 (J. Syst. Softw., 2017)

Preface of the special issue on formal methods in industrial critical systems. - Matthias Güdemann; Manuel Núñez 001 (Int. J. Softw. Tools Technol. Transf., 2017)

An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. - Iván Calvo; Mercedes G. Merayo; Manuel Núñez 001 (ACIIDS (1), 2018)

Test suite minimization for mutation testing of WS-BPEL compositions. - Francisco Palomo-Lozano; Antonia Estero-Botaro; Inmaculada Medina-Bulo; Manuel Núñez 001 (GECCO, 2018)

Passive testing with asynchronous communications and timestamps. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Distributed Comput., 2018)

A tool supported methodology to passively test asynchronous systems with multiple users. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Inf. Softw. Technol., 2018)

Bounded Reordering in the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (IEEE Trans. Reliab., 2018)

Using Genetic Algorithms to Generate Test Suites for FSMs. - Miguel Benito-Parejo; Inmaculada Medina-Bulo; Mercedes G. Merayo; Manuel Núñez 001 (IWANN (1), 2019)

Conformance Relations for Fuzzy Automata. - Iván Calvo; Mercedes G. Merayo; Manuel Núñez 001; Francisco Palomo-Lozano (IWANN (1), 2019)

GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. - Alfredo Ibias; David Griñán; Manuel Núñez 001 (IWANN (1), 2019)

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (SEFM, 2019)

Grammar-based Tree Swarm Optimization. - David Griñán; Alfredo Ibias; Manuel Núñez 001 (SMC, 2019)

Using Squeeziness to test component-based systems defined as Finite State Machines. - Alfredo Ibias; Robert M. Hierons; Manuel Núñez 001 (Inf. Softw. Technol., 2019)

A methodology to analyze heart data using fuzzy automata. - Iván Calvo; Mercedes G. Merayo; Manuel Núñez 001 (J. Intell. Fuzzy Syst., 2019)

A Trading Framework Based on Fuzzy Moore Machines. - Iván Calvo; Mercedes G. Merayo; Manuel Núñez 001 (ACIIDS (1), 2020)

Estimating fault masking using squeeziness based on Rényi's entropy. - Alfredo Ibias; Manuel Núñez 001 (SAC, 2020)

An evolutionary technique for supporting the consensus process of group decision making. - Miguel Benito-Parejo; Mercedes G. Merayo; Manuel Núñez 001 (SMC, 2020)

Using a swarm to detect hard-to-kill mutants. - Alfredo Ibias; Manuel Núñez 001 (SMC, 2020)

Implementation relations and testing for cyclic systems with refusals and discrete time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (J. Syst. Softw., 2020)

Using Ant Colony Optimisation to Select Features Having Associated Costs. - Alfredo Ibias; Luis Llana; Manuel Núñez 001 (ICTSS, 2021)

SqSelect: Automatic assessment of Failed Error Propagation in state-based systems. - Alfredo Ibias; Manuel Núñez 001 (Expert Syst. Appl., 2021)

Metamorphic testing of OpenStreetMap. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Mercedes G. Merayo; Manuel Núñez 001 (Inf. Softw. Technol., 2021)

Using mutual information to test from Finite State Machines: Test suite selection. - Alfredo Ibias; Manuel Núñez 001; Robert M. Hierons (Inf. Softw. Technol., 2021)

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. - Alberto Núñez; Pablo C. Cañizares; Manuel Núñez 001; Robert M. Hierons (IEEE Trans. Reliab., 2021)

Using Deep Learning to Detect Anomalies in Traffic Flow. - Manuel Méndez; Alfredo Ibias; Manuel Núñez 001 (ACIIDS (1), 2022)

Using Deep Transformer Based Models to Predict Ozone Levels. - Manuel Méndez; Carlos Montero; Manuel Núñez 001 (ACIIDS (1), 2022)

SINPA: SupportINg the automation of construction PlAnning. - Pablo C. Cañizares; Sonia Estévez Martín; Manuel Núñez 001 (Expert Syst. Appl., 2022)

Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks. - Manuel Méndez; Carlos Montero; Manuel Núñez 001 (ACIIDS (Companion), 2023)

Implementation Relations for Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Applicable Formal Methods for Safe Industrial Products, 2023)

Computing performance requirements for web service compositions. - Antonio García-Domínguez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Alfredo Ibias; Manuel Núñez 001 (Comput. Stand. Interfaces, 2023)

Metamorphic testing of chess engines. - Manuel Méndez; Miguel Benito-Parejo; Alfredo Ibias; Manuel Núñez 001 (Inf. Softw. Technol., 2023)

Implementation relations and testing for cyclic systems: Adding probabilities. - Manuel Núñez 001; Robert M. Hierons; Raluca Lefticaru (Robotics Auton. Syst., 2023)

Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Mercedes G. Merayo; Manuel Núñez 001 (IEEE Trans. Software Eng., 2023)

Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. - Manuel Méndez; Mercedes G. Merayo; Manuel Núñez 001 (Eng. Appl. Artif. Intell., 2023)

Squeeziness for non-deterministic systems. - Alfredo Ibias; Manuel Núñez 001 (Inf. Softw. Technol., 2023)

Machine learning algorithms to forecast air quality: a survey. - Manuel Méndez; Mercedes G. Merayo; Manuel Núñez 001 (Artif. Intell. Rev., 2023)

Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. - Manuel Méndez; Antonio Becerra-Terón; Jesús Manuel Almendros-Jiménez; Mercedes G. Merayo; Manuel Núñez 001 (IEEE Trans. Reliab., 2024)

Combining sequential test cases into an equivalent set of adaptive test cases. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2026)