Manuel Núñez

发表

Scenarios-Based Testing of Systems with Distributed Ports

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.

Formal Correctness of a Passive Testing Approach for Timed Systems

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

Formal Testing of Timed and Probabilistic Systems

Manuel Núñez, 2011, ICTSS.

Extending Stream X-Machines to Specify and Test Systems with Timeouts

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Estimating fault masking using squeeziness based on Rényi's entropy

Manuel Núñez, Alfredo Ibias, 2020, SAC.

Testing Probabilistic Distributed Systems

Robert M. Hierons, Manuel Núñez, R. Hierons, 2010, FMOODS/FORTE.

Encoding PAMR into (Timed) EFSMs

Manuel Núñez, Ismael Rodríguez, M. Núñez, 2002, FORTE.

Implementation relations and test generation for systems with distributed interfaces

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2011, Distributed Computing.

Introducing CEES: Complex Economic Environments Simulator

Manuel Núñez, Ismael Rodríguez, 2003, International Conference on Computational Science.

PAMR: A Process Algebra for the Management of Resources in Concurrent Systems

Manuel Núñez, Ismael Rodríguez, 2001, FORTE.

Generation of optimal finite test suites for timed systems

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Predicting performance in the presence of stochastic information

Manuel Núñez, Fernando Rubio, Natalia López, 2004, Comput. Syst. Sci. Eng..

Testing from a stochastic timed system with a fault model

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2009, J. Log. Algebraic Methods Program..

Proceedings of the Third international conference on Web Services and Formal Methods

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro, 2006 .

An integrated framework for the performance analysis of asynchronous communicating stochastic processes

Manuel Núñez, Fernando Rubio, Natalia López, 2004, Formal Aspects of Computing.

Passive testing with asynchronous communications and timestamps

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2018, Distributed Computing.

A Brief Introduction to THOTL

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, ATVA.

Using fuzzy automata to diagnose and predict heart problems

Mercedes G. Merayo, Manuel Núñez, Maria Azahara Camacho-Magrinan, 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).

A Formal Specification of the Memorization Process

Manuel Núñez, Fernando López Pelayo, Natalia López, 2007, Int. J. Cogn. Informatics Nat. Intell..

A Trading Framework Based on Fuzzy Moore Machines

Mercedes G. Merayo, Manuel Núñez, Iván Calvo, 2020, ACIIDS.

An Overview of Probabilistic Process Algebras and their Equivalences

Manuel Núñez, Natalia López, M. Núñez, 2004, Validation of Stochastic Systems.

Proceedings, Part I, of the 7th International Conference on Computational Collective Intelligence - Volume 9329

Ngoc Thanh Nguyen, Manuel Núñez, Bogdan Trawiński, 2015 .

Including Malicious Agents into a Collaborative Learning Environment

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2002, Intelligent Tutoring Systems.

Testing conformance on Stochastic Stream X-Machines

Mercedes G. Merayo, Manuel Núñez, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2002, IICS.

Conformance Testing Relations for Timed Systems

Manuel Núñez, Ismael Rodríguez, 2005, FATES.

Customized Testing for Probabilistic Systems

Manuel Núñez, Ismael Rodríguez, Luis Llana, 2006, TestCom.

A Comparative Study of STOPA and RTPA

Manuel Núñez, Fernando López Pelayo, Natalia López, 2008, Trans. Comput. Sci..

Passive Testing of Timed Systems

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2008, ATVA.

Denotational Semantics for Probabilistic Refusal Testing

Manuel Núñez, Carlos Gregorio-Rodríguez, M. Núñez, 1998, PROBMIV.

Formal specification of multi-agent e-barter systems

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2005, Sci. Comput. Program..

Implementation relations and testing for cyclic systems with refusals and discrete time

Robert M. Hierons, Manuel Núñez, Raluca Lefticaru, 2020, J. Syst. Softw..

GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures

Manuel Núñez, David Griñán, Alfredo Ibias, 2019, IWANN.

A Testing Theory for Generally Distributed Stochastic Processes

Manuel Núñez, Natalia López, M. Núñez, 2001, CONCUR.

Testing Finite State Machines Presenting Stochastic Time and Timeouts

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, EPEW.

Using formal methods to develop a complex information system: a practical/theoretical experience

Manuel Núñez, César Andrés, Rafael G. Aranda, 2008, SAC '08.

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems

Manuel Núñez, Ismael Rodríguez, Luis Llana, 2006, FORTE.

Formal Passive Testing of Service-Oriented Systems

Manuel Núñez, María-Emilia Cambronero, César Andrés, 2010, 2010 IEEE International Conference on Services Computing.

A survey on formal active and passive testing with applications to the cloud

Teruo Higashino, Ana R. Cavalli, Manuel Núñez, 2015, Ann. des Télécommunications.

Testing Semantics for Unbounded Nondeterminism

Manuel Núñez, Luis Llana, M. Núñez, 1997, Euro-Par.

Formal testing from timed finite state machines

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2008, Comput. Networks.

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM

Robert M. Hierons, Manuel Núñez, Carlos Molinero, 2011, 2011 IEEE Symposium on Artificial Life (ALIFE).

Computadoras y sentimientos: discordia entre investigadores de inteligencia artificial.

Manuel Núñez, 1993 .

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences

Manuel Núñez, César Andrés, Carlos Molinero, 2009, IWANN.

Specification and testing of autonomous agents in e-commerce systems: Research Articles

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2005 .

Using genetic algorithms to generate test sequences for complex timed systems

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2013, Soft Comput..

An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data

Mercedes G. Merayo, Manuel Núñez, Iván Calvo, 2018, ACIIDS.

Specification and testing of autonomous agents in e‐commerce systems

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2005, Softw. Test. Verification Reliab..

Fast Testing of Critical Properties through Passive Testing

Ana R. Cavalli, Manuel Núñez, José Antonio Arnedo, 2003, TestCom.

Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods - Volume 8368

Manuel Núñez, Steve Counsell, S. Counsell, 2013 .

WHAT: Web-Based Haskell Adaptive Tutor

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2002, AIMSA.

An Axiomatization of Probabilistic Testing

Manuel Núñez, M. Núñez, 1999, ARTS.

An extended framework for passive asynchronous testing

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2017, J. Log. Algebraic Methods Program..

Collective intelligent information and database systems

Ngoc Thanh Nguyen, Manuel Núñez, Bogdan Trawinski, 2017, J. Intell. Fuzzy Syst..

SPAMR: Extending PAMR with stochastic time

Manuel Núñez, Ismael Rodríguez, Natalia López, 2007, EPEW.

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs

Manuel Núñez, M. Carmen Ruiz, Juan José Pardo, 2010, FMOODS/FORTE.

Simulation Relations for Systems with Distributed Interfaces

Robert M. Hierons, Manuel Núñez, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Passive Testing of Stochastic Timed Systems

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2009, 2009 International Conference on Software Testing Verification and Validation.

Passive Testing with Asynchronous Communications

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2013, FMOODS/FORTE.

Market-Based Adaptive Discussion Forums

Manuel Núñez, Ismael Rodríguez, Pablo Rabanal, 2006, SITIS.

Implementation Relations for Stochastic Finite State Machines

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2006, EPEW.

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness

Manuel Núñez, Pedro Palao, M. Núñez, 1995, GULP-PRODE.

Using mutual information to test from Finite State Machines: Test suite selection

Manuel Núñez, Alfredo Ibias, Robert M. Hierons, 2021, Inf. Softw. Technol..

Editorial message: special track on e-commerce technologies

Manuel Núñez, Sviatoslav Braynov, Peter R. Wurman, 2005, SAC.

Collective intelligence and databases in eHealth: A survey

Mercedes G. Merayo, Manuel Núñez, Maria Azahara Camacho-Magrinan, 2017, J. Intell. Fuzzy Syst..

Formal Methods for Industrial Critical Systems

Manuel Núñez, Matthias Güdemann, 2015, Lecture Notes in Computer Science.

Testing of Autonomous Agents Described as Utility State Machines

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, FORTE Workshops.

Implementation relations and probabilistic schedulers in the distributed test architecture

Robert M. Hierons, Manuel Núñez, R. Hierons, 2017, J. Syst. Softw..

Using Time to Add Order to Distributed Testing

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2012, FM.

Specifying the memorization process with STOPA

Manuel Núñez, Fernando López Pelayo, Natalia López, 2005, Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..

Specification, testing and implementation relations for symbolic-probabilistic systems

Manuel Núñez, Ismael Rodríguez, Natalia López, 2006, Theor. Comput. Sci..

Scenarios-Based Testing of Systems with Distributed Ports

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2010, QSIC.

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2006, FORTE.

TestNet: Let's Test Together!

Ana R. Cavalli, Manuel Núñez, Edgardo Montes de Oca, 2003, TestCom.

Planning of work schedules through the use of a hierarchical multi-agent system

Manuel Núñez, Carlos Molinero, M. Núñez, 2011 .

Using schedulers to test probabilistic distributed systems

Robert M. Hierons, Manuel Núñez, R. Hierons, 2012, Formal Aspects of Computing.

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

Juan de Lara, Esther Guerra, Manuel Núñez, 2017, STAF Workshops.

Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification

Burkhart Wolff, Grigore Rosu, Manuel Núñez, 2006 .

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2008, IEEE Transactions on Computers.

Testing Semantics for RTPA

Manuel Núñez, Luis Llana, M. Núñez, 2009, Fundam. Informaticae.

Preventing Attacks by Classifying User Models in a Collaborative Scenario

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 .

A Methodology for Designing Energy-aware Systems for Computational Science

Manuel Núñez, Alberto Nuñez, Juan José Pardo, 2015, ICCS.

Mutation Testing

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2010, Encyclopedia of Software Engineering.

Improving privacy in Vickrey auctions

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, SECO.

A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, AIMSA.

Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop

Mercedes G. Merayo, Manuel Núñez, Paul Baker, 2009 .

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

Manuel Núñez, César Andrés, Carlos Molinero, 2009, ICCS.

ACABARASE: An Anti-spam CAse-BAsed ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm

Manuel Núñez, César Andrés, 2008, Third International Conference on Systems (icons 2008).

A tool-supported framework for work planning on construction sites based on constraint programming

Manuel Núñez, Pablo Cañizares, Azahara Camacho, 2018 .

A Statistical Approach to Test Stochastic and Probabilistic Systems

Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez, 2009, ICFEM.

Algebraic theory of probabilistic processes

Manuel Núñez, M. Núñez, 2003, J. Log. Algebraic Methods Program..

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

Manuel Núñez, Pablo Cañizares, Robert M. Hierons, 2021, IEEE Transactions on Reliability.

STOPA: a stochastic process algebra for the formal representation of cognitive systems

Manuel Núñez, Fernando López Pelayo, Natalia López, 2004, Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..

Implementation Relations for the Distributed Test Architecture

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2008, TestCom/FATES.

A Formal Methodology to Specify Hierarchical Agent-Based Systems

Manuel Núñez, César Andrés, Carlos Molinero, 2008, 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems.

Preface of the special issue on formal methods in industrial critical systems

Manuel Núñez, Matthias Güdemann, 2017, International Journal on Software Tools for Technology Transfer.

Special issue on formal active and passive testing of distributed and networked systems

Teruo Higashino, Ana R. Cavalli, Manuel Núñez, 2015, Ann. des Télécommunications.

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

Robert M. Hierons, Manuel Núñez, Raluca Lefticaru, 2019, SEFM.

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Formal testing of systems presenting soft and hard deadlines

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, FSEN'07.

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

Mercedes G. Merayo, Manuel Núñez, Lars Frantzen, 2009, J. Log. Algebraic Methods Program..

Cognitive Processes by Using Finite State Machines

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2007, Int. J. Cogn. Informatics Nat. Intell..

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, SAC '04.

A Hierarchy of Equivalences for Probabilistic Processes

Manuel Núñez, Luis Llana, M. Núñez, 2008, FORTE.

Preface: Special Issue QFM 2009

Annabelle McIver, Manuel Núñez, Suzana Andover, 2012, J. Log. Algebraic Methods Program..

Stochastic Process Algebras Meet Eden

Manuel Núñez, Fernando Rubio, Natalia López, 2002, IFM.

Testing of Symbolic-Probabilistic Systems

Manuel Núñez, Ismael Rodríguez, Natalia López, 2004, International Workshop on Formal Approaches to Testing of Software.

Experimental Comparison of Different Techniques to Generate Adaptive Sequences

Robert M. Hierons, Manuel Núñez, Carlos Molinero, 2011, IWANN.

Formal specification of multi-agent systems by using EUSMs

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, FSEN'07.

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems

Manuel Núñez, Ismael Rodríguez, Fernando López Pelayo, 2005, IESS.

A Formal Framework to Reduce Communications in Communication Systems

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, IICS.

Specification-Based Testing of Real-Time Embedded Systems

Manuel Núñez, Ismael Rodríguez, M. Núñez, 2005, IESS.

Timed implementation relations for the distributed test architecture

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2014, Distributed Computing.

Towards Testing Stochastic Timed Systems

Manuel Núñez, Ismael Rodríguez, M. Núñez, 2003, FORTE.

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2011, IWANN.

Software Engineering and Formal Methods

Manuel Núñez, Steve Counsell, 2013, Lecture Notes in Computer Science.

Characterizing termination in LOTOS via testing

Manuel Núñez, David de Frutos-Escrig, Juan Quemada, 1995, PSTV.

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2009, IWANN.

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2006, TestCom.

Editorial message: special track on e-commerce technologies

Manuel Núñez, Fernando Rubio, Sviatoslav Braynov, 2003, SAC '05.

Fair Testing through Probabilistic Testing

Manuel Núñez, David Rupérez, M. Núñez, 1999, FORTE.

Controllable Test Cases for the Distributed Test Architecture

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2008, ATVA.

A tool supported methodology to passively test asynchronous systems with multiple users

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2018, Inf. Softw. Technol..

Acceptance Trees for Probabilistic Processes

Manuel Núñez, David de Frutos-Escrig, Luis Llana, 1995, CONCUR.

Applying Occam's razor to FSMs

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2010, International Conference on Software Engineering and Knowledge Engineering.

From Theoretical e-barter Models to an Implementation Based on Web Services

Mario Bravetti, Manuel Núñez, Ismael Rodríguez, 2006, Electron. Notes Theor. Comput. Sci..

HTTP Communications: A Case Study of Online Captures with PTTAC

Mercedes G. Merayo, Manuel Núñez, Azahara Camacho, 2016 .

A passive testing approach based on invariants: application to the WAP

Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi, 2005, Comput. Networks.

Towards the identification of living agents in complex computational environments

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2003, The Second IEEE International Conference on Cognitive Informatics, 2003. Proceedings..

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems

Manuel Núñez, M. Carmen Ruiz, Juan José Pardo, 2009, ICCCI.

Applying Occam's razor to FSMs

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004 .

A formal framework for analyzing reusability complexity in component-based systems

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, Inf. Softw. Technol..

From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices

Mario Bravetti, Manuel Núñez, Ismael Rodríguez, 2007, Journal of universal computer science (Online).

NMSPA: A Non-Markovian Model for Stochastic Processes

Manuel Núñez, Natalia López, M. Núñez, 2000, ICDCS Workshop on Distributed System Validation and Verification.

Integrated Formal Methods

Manuel Núñez, Fernando Rubio, Natalia López, 2002, Lecture Notes in Computer Science.

Self-adaptive fuzzy-timed systems

Manuel Núñez, César Andrés, Luis Llana, 2011, 2011 IEEE Congress of Evolutionary Computation (CEC).

Testing timed systems modeled by Stream X-machines

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2011, Software & Systems Modeling.

Controllability Through Nondeterminism in Distributed Testing

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2016, ICTSS.

A Formal Methodology to Test Complex Heterogeneous Systems

Manuel Núñez, Ismael Rodríguez, 2007, ATVA.

Weak Stochastic Bisimulation for Non-markovian Processes

Manuel Núñez, Natalia López, M. Núñez, 2005, ICTAC.

Formal Development of a Complex Information System

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2008, Third International Conference on Systems (icons 2008).

A multi-agent system for e-barter including transaction and shipping costs

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2003, SAC '03.

Specification of Autonomous Agents in E-commerce Systems

Manuel Núñez, Ismael Rodríguez, Fernando Rubio, 2004, FORTE Workshops.

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems

Mercedes G. Merayo, Manuel Núñez, César Andrés, 2009, SEKE.

Assessing the Expressivity of Formal Specification Languages

Manuel Núñez, Ismael Rodríguez, Natalia López, 2006, AMAST.

Bounded Reordering in the Distributed Test Architecture

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez, 2018, IEEE Transactions on Reliability.

Passive Testing of Web Services

Manuel Núñez, María-Emilia Cambronero, César Andrés, 2010, WS-FM.

Formal passive testing of timed systems: theory and tools

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.

A Methodology for Aiding Users to Design and Model Cloud Computing Architectures

Manuel Núñez, Alberto Nuñez, Pablo C. Cañizares, 2014, 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems.

HOTL: Hypotheses and observations testing logic

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez, 2007, J. Log. Algebraic Methods Program..

From Data Mining to User Models in Evolutionary Databases

Manuel Núñez, César Andrés, Yaofeng Zhang, 2010, ACIIDS.

Analysis of the OLSR Protocol by Using Formal Passive Testing

Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez, 2009, 2009 16th Asia-Pacific Software Engineering Conference.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, ... Papers (Lecture Notes in Computer Science)

Burkhart Wolff, Grigore Rosu, Manuel Núñez, 2007 .