| 2026 | ICST | MT4DT: Metamorphic Testing for Digital Twins. | Philipp Zech, Sascha Hammes, Manuel Nez |
| 2023 | ACIIDS | Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks. | Manuel Mndez, Carlos Montero, Manuel Nez |
| 2022 | ACIIDS | Using Deep Learning to Detect Anomalies in Traffic Flow. | Manuel Mndez, Alfredo Ibias, Manuel Nez |
| 2022 | ACIIDS | Using Deep Transformer Based Models to Predict Ozone Levels. | Manuel Mndez, Carlos Montero, Manuel Nez |
| 2020 | ACIIDS | A Trading Framework Based on Fuzzy Moore Machines. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez |
| 2020 | LREC | Multilingual Stance Detection in Tweets: The Catalonia Independence Corpus. | Elena Zotova, Rodrigo Agerri, Manuel Nez, German Rigau |
| 2020 | SMC | An evolutionary technique for supporting the consensus process of group decision making. | Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Nez |
| 2020 | SMC | Using a swarm to detect hard-to-kill mutants. | Alfredo Ibias, Manuel Nez |
| 2020 | SAC | Estimating fault masking using squeeziness based on Rnyi's entropy. | Alfredo Ibias, Manuel Nez |
| 2019 | Interact | A Comparative Study of Younger and Older Adults' Interaction with a Crowdsourcing Android TV App for Detecting Errors in TEDx Video Subtitles. | Kinga Skorupska, Manuel Nez, Wieslaw Kopec, Radoslaw Nielek |
| 2019 | IWANN | Using Genetic Algorithms to Generate Test Suites for FSMs. | Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Nez |
| 2019 | IWANN | Conformance Relations for Fuzzy Automata. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez, Francisco Palomo-Lozano |
| 2019 | IWANN | GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. | Alfredo Ibias, David Grin, Manuel Nez |
| 2019 | SMC | Grammar-based Tree Swarm Optimization. | David Grin, Alfredo Ibias, Manuel Nez |
| 2019 | SEFM | An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. | Raluca Lefticaru, Robert M. Hierons, Manuel Nez |
| 2018 | ACIIDS | An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez |
| 2018 | GECCO | Test suite minimization for mutation testing of WS-BPEL compositions. | Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Nez |
| 2017 | CEC | Using fuzzy automata to diagnose and predict heart problems. | Azahara Camacho, Mercedes G. Merayo, Manuel Nez |
| 2017 | CEC | Using Evolutionary Mutation Testing to improve the quality of test suites. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Manuel Nez |
| 2017 | IWANN | A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. | Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Nez |
| 2015 | ICCS | A Methodology for Designing Energy-aware Systems for Computational Science. | Pablo C. Caizares, Alberto Nez, Manuel Nez, Juan Jos Pardo |
| 2013 | FORTE | Passive Testing with Asynchronous Communications. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2012 | FM | Using Time to Add Order to Distributed Testing. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2012 | ICCCI | Preventing Attacks by Classifying User Models in a Collaborative Scenario. | Csar Andrs, Alberto Nuez, Manuel Nez |
| 2011 | CEC | Self-adaptive fuzzy-timed systems. | Csar Andrs, Luis Llana, Manuel Nez |
| 2011 | IWANN | 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 Nez |
| 2011 | IWANN | Experimental Comparison of Different Techniques to Generate Adaptive Sequences. | Carlos Molinero, Manuel Nez, Robert M. Hierons |
| 2010 | ACIIDS | From Data Mining to User Models in Evolutionary Databases. | Csar Andrs, Manuel Nez, Yaofeng Zhang |
| 2010 | FORTE | Testing Probabilistic Distributed Systems. | Robert M. Hierons, Manuel Nez |
| 2010 | FORTE | Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. | Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz |
| 2010 | SEKE | Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | APSEC | Analysis of the OLSR Protocol by Using Formal Passive Testing. | Csar Andrs, Stphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICCCI | A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. | Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz |
| 2009 | ICCS | A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. | Csar Andrs, Carlos Molinero, Manuel Nez |
| 2009 | ICFEM | A Statistical Approach to Test Stochastic and Probabilistic Systems. | Mercedes G. Merayo, Iksoon Hwang, Manuel Nez, Ana R. Cavalli |
| 2009 | ICST | Passive Testing of Stochastic Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICST | Formal Correctness of a Passive Testing Approach for Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | IWANN | Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2009 | IWANN | Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. | Carlos Molinero, Manuel Nez, Csar Andrs |
| 2009 | SEKE | Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | SEFM | Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | SEFM | Simulation Relations for Systems with Distributed Interfaces. | Robert M. Hierons, Manuel Nez |
| 2008 | ATVA | Passive Testing of Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | ATVA | Controllable Test Cases for the Distributed Test Architecture. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2008 | FORTE | A Hierarchy of Equivalences for Probabilistic Processes. | Manuel Nez, Luis Fernando Llana Daz |
| 2008 | SAC | Using formal methods to develop a complex information system: a practical/theoretical experience. | Csar Andrs, Rafael G. Aranda, Manuel Nez |
| 2008 | SEFM | Extending Stream X-Machines to Specify and Test Systems with Timeouts. | Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2007 | ATVA | A Brief Introduction to | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | ATVA | A Formal Methodology to Test Complex Heterogeneous Systems. | Ismael Rodrguez, Manuel Nez |
| 2007 | SEFM | Testing conformance on Stochastic Stream X-Machines. | Mercedes G. Merayo, Manuel Nez |
| 2007 | TASE | Generation of optimal finite test suites for timed systems. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2006 | FORTE | Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. | Luis Fernando Llana Daz, Manuel Nez, Ismael Rodrguez |
| 2006 | FORTE | Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2006 | SAC | Editorial message: special track on e-commerce technologies. | Sviatoslav B. Braynov, Manuel Nez, Fernando Rubio |
| 2005 | ICTAC | Weak Stochastic Bisimulation for Non-markovian Processes. | Natalia Lpez, Manuel Nez |
| 2005 | SAC | Editorial message: special track on e-commerce technologies. | Sviatoslav B. Braynov, Manuel Nez, Peter R. Wurman |
| 2004 | AIMSA | A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. | Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | FORTE | Formal Specification of Symbolic-Probabilistic Systems. | Natalia Lpez, Manuel Nez, Ismael Rodrguez |
| 2004 | FORTE | Testing of Autonomous Agents Described as Utility State Machines. | Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | FORTE | Specification of Autonomous Agents in E-commerce Systems. | Ismael Rodrguez, Manuel Nez, Fernando Rubio |
| 2004 | SAC | Editorial message: special track on E-commerce technologies. | Sviatoslav B. Braynov, Manuel Nez, Peter R. Wurman |
| 2004 | SAC | Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2003 | FORTE | Towards Testing Stochastic Timed Systems. | Manuel Nez, Ismael Rodrguez |
| 2003 | ICCS | Introducing CEES: Complex Economic Environments Simulator. | Ismael Rodrguez, Manuel Nez |
| 2003 | SAC | A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2002 | AIMSA | WHAT: Web-Based Haskell Adaptive Tutor. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2002 | FORTE | Encoding PAMR into (Timed) EFSMs. | Manuel Nez, Ismael Rodrguez |
| 2002 | IFM | Stochastic Process Algebras Meet Eden. | Natalia Lpez, Manuel Nez, Fernando Rubio |
| 2002 | ITS | Including Malicious Agents into a Collaborative Learning Environment. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2001 | CONCUR | A Testing Theory for Generally Distributed Stochastic Processes. | Natalia Lpez, Manuel Nez |
| 2001 | FORTE | PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. | Manuel Nez, Ismael Rodrguez |
| 1999 | FORTE | Global Timed Bisimulation: An Introduction. | David de Frutos-Escrig, Natalia Lpez, Manuel Nez |
| 1999 | FORTE | Fair Testing through Probabilistic Testing. | Manuel Nez, David Ruprez |
| 1997 | EuroPar | Testing Semantics for Unbounded Nondeterminism. | Luis Fernando Llana Daz, Manuel Nez |
| 1997 | FORTE | Friendly Testing as a Conformance Relation. | David de Frutos-Escrig, Luis Fernando Llana Daz, Manuel Nez |
| 1996 | ICFP | A New Look to Pattern Matching in Abstract Data Types. | Pedro Palao-Gostanza, Ricardo Pena, Manuel Nez |
| 1995 | CONCUR | Acceptance Trees for Probabilistic Processes. | Manuel Nez, David de Frutos-Escrig, Luis Fernando Llana Daz |
| 1995 | FORTE | Testing Semantics for Probabilistic LOTOS. | Manuel Nez, David de Frutos-Escrig |