Publications of Manuel Núñez

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder.

This file includes bib entries, sorted by year of publication, for all these papers.

Journal Publications

2019

• Alfredo Ibias, Robert M. Hierons, Manuel Núñez. Using Squeeziness to test component-based systems defined as Finite State Machines. Information & Software Technology 112: 132-147.
• Iván Calvo, Mercedes G. Merayo, Manuel Núñez. A methodology to analyze heart data using fuzzy automata. Journal of Intelligent & Fuzzy Systems 37(6): 7389-7399.

2018

• Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. A tool supported methodology to passively test asynchronous systems with multiple users. Information & Software Technology 104: 162-178.
• Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. Passive testing with asynchronous communications and timestamps. Distributed Computing 31(5): 327-342.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Bounded reordering in the distributed test architecture. IEEE Transactions on Reliability 67(2): 522-537.
• Azahara Camacho, Pablo C. Cañizares, Sonia Estévez, Manuel Núñez. A tool-supported framework for work planning on construction sites based on constraint programming. Automation in Construction 86: 190-198.

2017

• Robert M. Hierons, Manuel Núñez. Implementation relations and probabilistic schedulers in the distributed test architecture. Journal of Systems and Software 132: 319-335.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. An extended framework for passive asynchronous testing. Journal of Logical and Algebraic Methods in Programming 86(1): 408-424.
• Azahara Camacho, Mercedes G. Merayo, Manuel Núñez. Collective intelligence and databases in eHealth: A survey. Journal of Intelligent & Fuzzy Systems 32(2): 1485-1496.
• Ngoc-Thanh Nguyen, Manuel Núñez, Bogdan Trawinski. Collective intelligent information and database systems. Journal of Intelligent & Fuzzy Systems 32(2): 1157-1160.

2015

• Ana R. Cavalli, Teruo Higashino, Manuel Núñez A survey on formal active and passive testing with applications to the cloud. Annals of Telecommunications 70(3-4): 85-93.

2014

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Timed implementation relations for the distributed test architecture. Distributed Computing 27(3): 181-201 (2014)

2013

• Alberto Núñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing 17(2): 301-315.

2012

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Implementation relations and test generation for systems with distributed interfaces. Distributed Computing 25(1): 35-62.
• Robert M. Hierons, Manuel Núñez. Using schedulers to test probabilistic distributed systems. Formal Aspects of Computing 24(4-6): 679-699.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal passive testing of timed systems: theory and tools. Software Testing, Verification and Reliability 22(6): 365-405.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. A formal framework to test soft and hard deadlines in timed systems. Software Testing, Verification and Reliability 22(8): 583-608.

2011

• Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons. Testing timed systems modeled by Stream X-machines. Software and System Modeling 10(2): 201-217.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Scenarios-based testing of systems with distributed ports. Software – Practice and Experience 41(10): 999-1026.
• Carlos Molinero, Manuel Núñez. Planning of work schedules through the use of a hierarchical multi-agent system. Automation in Construction 20(8): 1227-1241.

2009

• Luis Fernando Llana Díaz, Manuel Núñez. Testing Semantics for RTPA. Fundamenta Informatica 90(3): 305-335.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming 78(2): 98-115.
• Lars Frantzen, Mercedes G. Merayo, Manuel Núñez. A brief history of A-MOST. Journal of Logic and Algebraic Programming 78(6): 417-424.

2008

• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal testing from timed finite state machines. Computer Networks 52(2): 432-460.
• Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez. HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming 74(2): 57-93.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Transactions on Computers 57(6): 835-844.

2007

• Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez. From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. Journal of Universal Computer Science 13(13): 2035-2075.

2006

• Natalia López, Manuel Núñez, Ismael Rodríguez. Specification, testing and implementation relations for symbolic-probabilistic systems. Theoretical Computer Science 353(1-3): 228-248.

2005

• Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi. A passive testing approach based on invariants: application to the WAP. Computer Networks 48(2): 235-245.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Formal specification of multi-agent e-barter systems. Science of Computer Programming 57(2): 187-216.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability 15(4): 211-233.

2004

• Natalia López, Manuel Núñez, Fernando Rubio. Predicting performance in the presence of stochastic information. Computer Systems: Science & Engineering 19(6): 347-353.
• Natalia López, Manuel Núñez, Fernando Rubio. An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Aspects of Computing 16(3): 238-262.
• Ismael Rodríguez, Manuel Núñez, Fernando Rubio. A formal framework for analyzing reusability complexity in component-based systems. Information & Software Technology 46(12): 791-804.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12.

2003

• Manuel Núñez. Algebraic theory of probabilistic processes. Journal of Logic and Algebraic Programming 56(1-2): 117-177.

1998

• David de Frutos-Escrig, Luis Llana, Manuel Núñez. An invitation to friendly testing. Journal of Computer Science and Technology 13(6): 531-545.

Publications in refereed conferences and workshops

2020

• Alfredo Ibias, Manuel Núñez. Estimating fault masking using Squeeziness based on Rényi’s entropy. 35th ACM Symposium on Applied Computing, SAC’20, pages: ???-???, ACM Press.
• Iván Calvo, Mercedes G. Merayo, Manuel Núñez. A trading framework based on fuzzy Moore machines. 12th Int. Conf. on Intelligent Information and Database Systems, ACIIDS’20, LNAI ?????, pages: ???-???, Springer.

2019

• David Griñán, Alfredo Ibias, Manuel Núñez. Grammar-based Tree Swarm Optimization. 2019 IEEE Int. Conf. on Systems, Man, and Cybernetics, SCM’19, pages: 76-81, IEEE Computer Society.
• Raluca Lefticaru, Robert M. Hierons, Manuel Núñez. An implementation relation for cyclic systems with refusals and discrete time. 17th Int. Conf. on Software Engineering and Formal Methods, SEFM’19, LNCS 11724, pages: 393-409, Springer.
• Alfredo Ibias, David Griñán, Manuel Núñez. GPTSG: A Genetic Programming test suite generator using Information Theory measures. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN’19, LNCS 11506, pages: 716-728, Springer.
• Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez. Using genetic algorithms to generate test suites for FSMs. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN’19, LNCS 11506, pages: 741-752, Springer.
• Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano. Conformance relations for fuzzy automata. 15th Int. Work-Conf. on Artificial Neural Networks, IWANN’19, LNCS 11506, pages: 753-765, Springer.

2018

• Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez. Test suite minimization for mutation testing of WS-BPEL compositions. 20th Annual Conf. on Genetic and Evolutionary Computation, GECCO’18, pages: 1427-1434, ACM Press.
• Iván Calvo, Mercedes G. Merayo, Manuel Núñez. An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. 10th Int. Conf. on Intelligent Information and Database Systems, ACIIDS’18, LNAI 10751, pages: 694-704, Springer.

2017

• Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Núñez. A formal framework to specify and test systems with fuzzy-time information. 14th Int. Work-Conf. on Artificial Neural Networks, IWANN’17, LNCS 10306, pages: 403-414, Springer.
• Azahara Camacho, Mercedes G. Merayo, Manuel Núñez. Using fuzzy automata to diagnose and predict heart problems. 19th IEEE Congress on Evolutionary Computation, CEC’17, pages: 846-853, IEEE Computer Society.
• Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez. Using Evolutionary Mutation Testing to improve the quality of test suites. 19th IEEE Congress on Evolutionary Computation, CEC’17, pages: 596-603, IEEE Computer Society.

2016

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Controllability Through Nondeterminism in Distributed Testing. 28th IFIP WG 6.1 Int. Conf. on Testing Software and Systems, ICTSS’16, LNCS 9976, pages: 89-105, Springer.

2015

• Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo. A Methodology for Designing Energy-aware Systems for Computational Science. 15th Int. Conf. on Computational Science, ICCS’15, Procedia Computer Science 51, pages: 2804-2808, Elsevier.

2014

• Alberto Núñez, Pablo C. Cañizares, Manuel Núñez. A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. 10th Int. Conf. on Signal-Image Technology & Internet-Based Systems, SITIS’14, pages: 215-222, IEEE Computer Society.

2013

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Passive Testing with Asynchronous Communications. IFIP 33rd Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE’13, LNCS 7892, pages: 99-113, Springer.

2012

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Using Time to Add Order to Distributed Testing. 18th Symposium on Formal Methods, FM’12, LNCS 7436, pages: 232-246, Springer.
• César Andrés, Alberto Núñez, Manuel Núñez. Preventing Attacks by Classifying User Models in a Collaborative Scenario. 4th Int. Conf. on Computational Collective Intelligence: Technologies and Applications, LNAI 7653, pages: 505-514, Springer.

2011

• César Andrés, Luis Llana, Manuel Núñez. Self-adaptive fuzzy-timed systems. 13th IEEE Congress on Evolutionary Computation, CEC’11, pages: 115-122, IEEE Computer Society.
• Carlos Molinero, Manuel Núñez, Robert M. Hierons. Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. IEEE Symposium on Artificial Life, ALIFE’11, pages: 22-29, IEEE Computer Society.
• 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. 11th Int. Work-Conf. on Artificial Neural Networks, IWANN’11, LNCS 6692, pages: 396-403, Springer.
• Carlos Molinero, Manuel Núñez, Robert M. Hierons: Experimental Comparison of Different Techniques to Generate Adaptive Sequences. 11th Int. Work-Conf. on Artificial Neural Networks, IWANN’11, LNCS 6692, pages: 404-411, Springer.
• Manuel Núñez. Formal Testing of Timed and Probabilistic Systems. 23rd Int. Conf. on Testing Software and Systems, ICTSS’11, LNCS 7019, pages: 9-14, Springer.

2010

• César Andrés, María-Emilia Cambronero, Manuel Núñez. Formal Passive Testing of Service-Oriented Systems. 7th IEEE Int. Conf. on Services Computing, SCC’10, pages: 610-613, IEEE Computer Society.
• César Andrés, Manuel Núñez, Yaofeng Zhang. From Data Mining to User Models in Evolutionary Databases. 2nd Int. Conf. on Intelligent Information and Database Systems, ACIIDS’10, LNCS 5990, pages: 54-63, Springer.
• Robert M. Hierons, Manuel Núñez. Testing Probabilistic Distributed Systems. IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE’10, LNCS 6117, pages: 63-77, Springer.
• Juan José Pardo, Manuel Núñez, M. Carmen Ruiz. Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE’10, LNCS 6117, pages: 78-86, Springer.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Scenarios-Based Testing of Systems with Distributed Ports. 10th Int. Conf. on Quality Software, QSIC’10, pages: 52-61, IEEE Computer Society.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. 22nd Int. Conf. on Software Engineering & Knowledge Engineering, SEKE’10, pages: 405-410, Knowledge Systems Institute.
• César Andrés, María-Emilia Cambronero, Manuel Núñez. Passive Testing of Web Services. 7th Int. Workshop on Web Services and Formal Methods, WS-FM’10, LNCS 6551, pages: 56-70, Springer.

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. 16th Asia-Pacific Software Engineering Conference, APSEC’09, pages: 152-159, IEEE Computer Society.
• César Andrés, Carlos Molinero, Manuel Núñez. A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. 9th Int. Conf. on Computational Science, ICCS’09, LNCS 5544, pages: 347-356, Springer.
• Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli: A Statistical Approach to Test Stochastic and Probabilistic Systems. 11th Int. Conf. on Formal Engineering Methods, ICFEM’09, LNCS 5885, pages: 186-205, Springer.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal Correctness of a Passive Testing Approach for Timed Systems. 5th Workshop on Advances in Model Based Testing, A-MOST’09 (ICST Workshops), pages: 67-76, IEEE Computer Society.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Passive Testing of Stochastic Timed Systems. 2nd Int. Conf. on Software Testing, Verification, and Validation, ICST’09, pages: 71-80, IEEE Computer Society.
• Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. 10th Int. Work-Conf. on Artificial Neural Networks, IWANN’09, LNCS 5517, pages: 327-334, Springer.
• Carlos Molinero, Manuel Núñez, César Andrés. Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. 10th Int. Work-Conf. on Artificial Neural Networks, IWANN’09, LNCS 5517, pages: 343-350, Springer.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. 9th Int. Conf. on Quality Software, QSIC’09, pages: 145-154, IEEE Computer Society.
• Robert M. Hierons, Manuel Núñez. Simulation Relations for Systems with Distributed Interfaces. 7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM’09, pages: 41-50, IEEE Computer Society.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. 7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM’09, pages: 73-82, IEEE Computer Society.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. 21st Int. Conf. on Software Engineering & Knowledge Engineering, SEKE’09, pages: 426-431, Knowledge Systems Institute.

2008

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Controllable Test Cases for the Distributed Test Architecture. 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA’08, LNCS 5311, pages: 201-215, Springer.
• César Andrés, Mercedes G. Merayo, Manuel Núñez. Passive Testing of Timed Systems. 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA’08, LNCS 5311, pages: 418-427, Springer.
• Manuel Núñez, Luis Llana. A Hierarchy of Equivalences for Probabilistic Processes. 28th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’08, LNCS 5048, pages: 267-282, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. THOTL: A Timed Extension of HOTL. Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom’08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES’08, LNCS 5047, pages: 86-102, Springer.
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Implementation relations for the distributed test architecture. Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom’08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES’08, LNCS 5047, pages: 200-215, Springer.
• Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. Extending Stream X-Machines to Specify and Test Systems with Timeouts. 6th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM’08, pages: 201-210, IEEE Computer Society.
• César Andrés, Carlos Molinero, Manuel Núñez. A Formal Methodology to Specify Hierarchical Agent-Based Systems. 4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS’08, pages: 169-176, IEEE Computer Society.

2007

• Ismael Rodríguez, Manuel Núñez. A Formal Methodology to Test Complex Heterogeneous Systems. 5th Int. Symp. on Automated Technology for verification and Analysis, ATVA’07, LNCS 4762, pages: 394-409, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. A Brief Introduction to THOTL. 5th Int. Symp. on Automated Technology for verification and Analysis, ATVA’07, LNCS 4762, pages: 501-510, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez. SPAMR: Extending PAMR with stochastic time. 4th European Performance Engineering Workshop, EPEW’07, LNCS 4748, pages: 63-79, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Testing Finite State Machines Presenting Stochastic Time and Timeouts. 4th European Performance Engineering Workshop, EPEW’07, LNCS 4748, pages: 97-111, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal Testing of Systems Presenting Soft and Hard Deadlines. 2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN’07, LNCS 4767, pages: 160-174, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal Specification of Multi-agent Systems by Using EUSMs. 2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN’07, LNCS 4767, pages: 318-333, Springer.
• Mercedes G. Merayo, Manuel Núñez. Testing conformance on Stochastic Stream X-Machines. 5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM’07, pages: 227-236, IEEE Computer Society.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Generation of optimal finite test suites for timed systems. 1st IEEE & IFIP Int. Symposium on Theoretical Aspects of Software Engineering, TASE’07, pages: 149-158, IEEE Computer Society.

2006

• Natalia López, Manuel Núñez, Ismael Rodríguez. Assessing the Expressivity of Formal Specification Languages. 11th Int. Conf. on Algebraic Methodology and Software Technology, AMAST’06, LNCS 4019, pages: 220-234, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Implementation Relations for Stochastic Finite State Machines. 3rd European Performance Engineering Workshop, EPEW’06, LNCS 3964, pages: 123-137, Springer.
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. 26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’06, LNCS 4229, pages: 372-387, Springer.
• Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez. Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. 26th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’06, LNCS 4229, pages: 467-483, Springer.
• Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez. A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. 18th Int. Conf. on Testing Communicating Systems, TestCom’06, LNCS 3964, pages: 39-54, Springer.
• Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez. Customized Testing for Probabilistic Systems. 18th Int. Conf. on Testing Communicating Systems, TestCom’06, LNCS 3964, pages: 87-102, Springer.
• Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Market-Based Adaptive Discussion Forums. 2nd Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS’06, LNCS 4897, pages: 149-160, Springer.

2005

• Fernando L. Pelayo, Manuel Núñez, Natalia López. Specifying the memorization process with STOPA. 4th IEEE Int. Conf. on Cognitive Informatics, ICCI’05, pages: 238-247, IEEE Computer Society.
• Manuel Núñez, Ismael Rodríguez. Conformance Testing Relations for Timed Systems. 5th Int. Workshop on Formal Approaches to Software Testing, FATES’05, LNCS 3997, pages: 103-117, Springer.
• Natalia López, Manuel Núñez. Weak Stochastic Bisimulation for Non-markovian Processes. 2nd Int. Conf. on Theoretical Aspects of Computing, ICTAC’05, LNCS 3722, pages: 454-468, Springer.
• Manuel Núñez, Ismael Rodríguez. Specification-Based Testing of Real-Time Embedded Systems. IFIP TC10 Working Conf.: International Embedded Systems Symposium, IESS’05 pages: 115-124, Springer.
• Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez. A Formal Methodology to Test Complex Embedded Systems. IFIP TC10 Working Conf.: International Embedded Systems Symposium, IESS’05 pages: 125-136, Springer.
• Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez. From Theoretical e-barter Models to an Implementation Based on Web Services. 1st IPM International Workshop on Foundations of Software Engineering, FSEN’05, Electronic Notes in Theoretical Computer Science 159, pages: 241–264, Elsevier.

2004

• Natalia López, Manuel Núñez, Fernando L. Pelayo. STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI’04, pages: 64-73, IEEE Computer Society.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Applying Occam’s Razor to FSMs. 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI’04, pages: 138-147, IEEE Computer Society.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. 11th Int. Conf. on Artificial Intelligence: Methodologies, Systems, and Applications, AIMSA’04, LNAI 3192, pages: 361-370, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez. Testing of Symbolic-Probabilistic Systems. 4th Int. Workshop on Formal Approaches to Software Testing, FATES’04, LNCS 3395, pages: 49-63, Springer.
• Ismael Rodríguez, Manuel Núñez, Fernando Rubio. Specification of Autonomous Agents in E-commerce Systems. Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC’04, LNCS 3236, pages: 30-43, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez. Formal Specification of Symbolic-Probabilistic Systems. European Performance Engineering Workshop, EPEW’04, LNCS 3236, pages: 114-127, Springer.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Testing of Autonomous Agents Described as Utility State Machines. Workshop on Integration of Testing Methodologies, ITM’04, LNCS 3236, pages: 322-336, Springer.
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Formal Framework to Reduce Communications in Communication Systems. 4th Int. Workshop on Innovative Internet Community Systems, IICS’04, LNCS 3473, pages: 69-80, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Encouraging Knowledge Exchange in Discussion Forums by Market-oriented Mechanisms. 19th ACM Symposium on Applied Computing, SAC’04, pages: 952-956, ACM Press.

2003

• Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Towards the Identification of Living Agents in Complex Computational Environments. 2nd IEEE Int. Conf. on Cognitive Informatics, ICCI’03, pages: 151-160, IEEE Computer Society.
• Manuel Núñez, Ismael Rodríguez. Towards Testing Stochastic Timed Systems. 23rd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’03, LNCS 2767, pages: 335-350, Springer.
• Ismael Rodríguez, Manuel Núñez. Introducing CEES: Complex Economic Environments Simulator. 3rd Int. Conf. on Computational Science, ICCS’03, LNCS 2658, pages: 658-667, Springer.
• Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez. TestNet: Let’s Test Together!. 15th Int. Conf. on Testing Communicating Systems, TestCom’03, LNCS 2644, pages: 258-264, Springer.
• José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez. Fast Testing of Critical Properties through Passive Testing. 15th Int. Conf. on Testing Communicating Systems, TestCom’03, LNCS 2644, pages: 295-310, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. 18th ACM Symposium on Applied Computing, SAC’03, pages: 587-594, ACM Press.

2002

• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Introducing the Golden Section to Computer Science. 1st IEEE Int. Conf. on Cognitive Informatics, ICCI’02, pages: 203-212, IEEE Computer Society.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. WHAT: Web-Based Haskell Adaptive Tutor. 10th Int. Conf. on Artificial Intelligence: Methodologies, Systems, and Applications, AIMSA’02, LNAI 2443, pages: 71-80, Springer.
• Manuel Núñez, Ismael Rodríguez. Encoding PAMR into (Timed) EFSMs. 22nd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’02, LNCS 2529, pages: 1-16, Springer.
• Natalia López, Manuel Núñez, Fernando Rubio. Stochastic Process Algebras Meet Eden. 3rd Int. Conf. on Integrated Formal Methods, IFM’02, LNCS 2335, pages: 29-48, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Formal Framework for E-Barter based on Microeconomic Theory and Process Algebras. 2nd Int. Workshop on Innovative Internet Computing Systems, LNCS 2346, pages: 217-228, Springer.
• Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Including Malicious Agents into a Collaborative Learning Environment. 8th Int. Conf. on Intelligent Tutoring Systems, ITS’02, LNCS 2363, pages: 217-228, Springer.

2001

• Natalia López, Manuel Núñez. A Testing Theory for Generally Distributed Stochastic Processes. 12th Int. Conf. on Concurrency Theory, CONCUR’01, LNCS 2154, pages: 321-335, Springer.
• Manuel Núñez, Ismael Rodríguez. PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE’01, pages: 169-184, Kluwer Academic Publishers.

2000

• Natalia López, Manuel Núñez. NMSPA: A Non-Markovian Model for Stochastic Processes. Int. Workshop on Distributed System Validation and Verification, DSVV’00, pages: E33-E40.

1999

• Manuel Núñez. An Axiomatization of Probabilistic Testing. 5th AMAST Workshop on Real-Time and Probabilistic Systems, ARTS’99, LNCS 1601, pages: 130-150, Springer.
• Manuel Núñez, David Rupérez. Fair Testing through Probabilistic Testing. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’99, pages: 135-150, Kluwer Academic Publishers.
• David de Frutos-Escrig, Natalia López, Manuel Núñez. Global Timed Bisimulation: An Introduction. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’99, pages: 401-416, Kluwer Academic Publishers.

1998

• Carlos Gregorio-Rodríguez, Manuel Núñez. Denotational Semantics for Probabilistic Refusal Testing. 1st Int. Workshop on Probabilistic Methods in Verification, PROBMIV’98, Electronic Notes in Theoretical Computer Science 22, pages: 111-137, Elsevier.

1997

• Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza. Testing Semantics for a Probabilistic-Timed Process Algebra. 4th International AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, ARTS’97, LNCS 1231, pages: 353-367, Springer.
• Luis Fernando Llana Díaz, Manuel Núñez. Testing Semantics for Unbounded Nondeterminism. 3rd European Conf. on Parallel Processing, Europar’97, LNCS 1300, pages: 538-545, Springer.
• David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez. Friendly Testing as a Conformance Relation. 17th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’97, pages: 283-298, Chapman & Hall.

1996

• Carlos Gregorio, Manuel Núñez. Specifying and verifying the Alternating Bit Protocol with probabilistic-timed LOTOS. COST 247 Workshop on Applied Formal Methods in System Design, pages: 38-50.
• Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez. A New Look to Pattern Matching in Abstract Data Types. 1st ACM SIGPLAN Int. Conf. on Functional Programming, ICFP’96, pages: 110-121, ACM Press.

1995

• Pedro Palao, Manuel Núñez. An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. 3rd Joint Conf. on Declarative Programming, GULP-PRODE’95, pages: 383-394.
• Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz. Acceptance Trees for Probabilistic Processes. 6th Int. Conf. on Concurrency Theory, CONCUR’95, LNCS 962, pages: 249-263, Springer.
• Manuel Núñez, Pedro Palao, Ricardo Peña. A second year course on data structures based on functional programming. Functional Programming Languages in Education, LNCS 1022, pages: 65-84, Springer.
• David de Frutos-Escrig, Manuel Núñez, Juan Quemada. Characterizing Termination in LOTOS via Testing. 15th WG6.1 Int. Conf. on Protocol Specification, Testing, and Verification, PSTV’95, pages: 237-250, Chapman & Hall.
• Manuel Núñez, David de Frutos-Escrig. Testing Semantics for Probabilistic LOTOS. 8th IFIP WG6.1 Int. Conf. on Formal Description Techniques, FORTE’95, pages: 367-382, Chapman & Hall.

Chapters

2016

• Azahara Camacho, Mercedes G. Merayo, Manuel Núñez. A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth Systems. Recent Developments in Intelligent Information and Database Systems, Studies in Computational Intelligence 642, pages: 221-232, Springer.

2010

• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Mutation Testing. Encyclopedia of Software Engineering, pages: 594-602, Taylor & Francis.

2009

• Juan José Pardo, M. Carmen Ruiz, Manuel Núñez. A novel formalism to represent collective intelligence in multi-agent systems. New Challenges in Computational Collective Intelligence, Studies in Computational Intelligence 244, pages: 193-204, Springer.

2004

• Natalia López, Manuel Núñez. An overview of probabilistic process algebras and their equivalences. Validation of Stochastic Systems, LNCS 2925, pages: 89-123, Springer.