Manuel Núñez

205 papers A 3B 21C 21Misc 12Journal 60Unranked 70
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combining sequential test cases into an equivalent set of adaptive test cases.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2026 — ed.
Computational Collective Intelligence - 17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12-15, 2025, Proceedings, Part I
ICCCI (1)
Ngoc Thanh Nguyen, Anh-Vu Dinh-Duc, Adrianna Kozierkiewicz, Sinh Van Nguyen, Manuel Núñez, Jan Treur, Gottfried Vossen
2026 — ed.
Computational Collective Intelligence - 17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12-15, 2025, Proceedings, Part II
ICCCI (2)
Ngoc Thanh Nguyen, Anh-Vu Dinh-Duc, Adrianna Kozierkiewicz, Sinh Van Nguyen, Manuel Núñez, Jan Treur, Gottfried Vossen
2026 J jnl
Using transformers to learn system models.
Appl. Intell.
Alfredo Ibias, Manuel Méndez, Manuel Núñez, Francisco Palomo-Lozano
2025 J jnl
Design of hybrid machine learning and TF-IDF models to discard irrelevant reviews on public transport stations.
J. Inf. Telecommun.
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2024 — ed.
Advances in Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
ICCCI (CCIS Volume 1)
Ngoc-Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2024 — ed.
Advances in Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
ICCCI (CCIS Volume 2)
Ngoc-Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2024 J jnl
Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap.
IEEE Trans. Reliab.
Manuel Méndez, Antonio Becerra-Terón, Jesús Manuel Almendros-Jiménez, Mercedes G. Merayo, Manuel Núñez
2024 — ed.
Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
ICCCI (1)
Ngoc Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2024 — ed.
Computational Collective Intelligence - 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
ICCCI (2)
Ngoc Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2023 — ed.
Advances in Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ICCCI (CCIS Volume)
Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2023 B ed.
Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ICCCI
Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
2023 J jnl
Computing performance requirements for web service compositions.
Comput. Stand. Interfaces
Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez
2023 — conf
Implementation Relations for Distributed Testing.
Applicable Formal Methods for Safe Industrial Products
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2023 J jnl
Implementation relations and testing for cyclic systems: Adding probabilities.
Robotics Auton. Syst.
Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
2023 — conf
Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks.
ACIIDS (Companion)
Manuel Méndez, Carlos Montero, Manuel Núñez
2023 J jnl
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model.
Eng. Appl. Artif. Intell.
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2023 J jnl
Machine learning algorithms to forecast air quality: a survey.
Artif. Intell. Rev.
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2023 J jnl
Metamorphic testing of chess engines.
Inf. Softw. Technol.
Manuel Méndez, Miguel Benito-Parejo, Alfredo Ibias, Manuel Núñez
2023 J jnl
Squeeziness for non-deterministic systems.
Inf. Softw. Technol.
Alfredo Ibias, Manuel Núñez
2023 J jnl
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap.
IEEE Trans. Software Eng.
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
2022 J jnl
SINPA: SupportINg the automation of construction PlAnning.
Expert Syst. Appl.
Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez
2022 — conf
Using Deep Learning to Detect Anomalies in Traffic Flow.
ACIIDS (1)
Manuel Méndez, Alfredo Ibias, Manuel Núñez
2022 — conf
Using Deep Transformer Based Models to Predict Ozone Levels.
ACIIDS (1)
Manuel Méndez, Carlos Montero, Manuel Núñez
2021 J jnl
Metamorphic testing of OpenStreetMap.
Inf. Softw. Technol.
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
2021 J jnl
SqSelect: Automatic assessment of Failed Error Propagation in state-based systems.
Expert Syst. Appl.
Alfredo Ibias, Manuel Núñez
2021 J jnl
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems.
IEEE Trans. Reliab.
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
2021 C conf
Using Ant Colony Optimisation to Select Features Having Associated Costs.
ICTSS
Alfredo Ibias, Luis Llana, Manuel Núñez
2021 J jnl
Using mutual information to test from Finite State Machines: Test suite selection.
Inf. Softw. Technol.
Alfredo Ibias, Manuel Núñez, Robert M. Hierons
2020 — conf
A Trading Framework Based on Fuzzy Moore Machines.
ACIIDS (1)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2020 B conf
An evolutionary technique for supporting the consensus process of group decision making.
SMC
Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Núñez
2020 Misc conf
Estimating fault masking using squeeziness based on Rényi's entropy.
SAC
Alfredo Ibias, Manuel Núñez
2020 J jnl
Implementation relations and testing for cyclic systems with refusals and discrete time.
J. Syst. Softw.
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2020 B conf
Using a swarm to detect hard-to-kill mutants.
SMC
Alfredo Ibias, Manuel Núñez
2019 J jnl
A methodology to analyze heart data using fuzzy automata.
J. Intell. Fuzzy Syst.
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2019 B conf
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.
SEFM
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2019 — conf
Conformance Relations for Fuzzy Automata.
IWANN (1)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano
2019 — conf
GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures.
IWANN (1)
Alfredo Ibias, David Griñán, Manuel Núñez
2019 B conf
Grammar-based Tree Swarm Optimization.
SMC
David Griñán, Alfredo Ibias, Manuel Núñez
2019 — conf
Using Genetic Algorithms to Generate Test Suites for FSMs.
IWANN (1)
Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez
2019 J jnl
Using Squeeziness to test component-based systems defined as Finite State Machines.
Inf. Softw. Technol.
Alfredo Ibias, Robert M. Hierons, Manuel Núñez
2018 J jnl
A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018 — conf
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data.
ACIIDS (1)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2018 J jnl
Bounded Reordering in the Distributed Test Architecture.
IEEE Trans. Reliab.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2018 — ed.
Modern Approaches for Intelligent Information and Database Systems, - 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Extended Posters
ACIIDS (Extended Posters)
Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Núñez, Quang-Thuy Ha
2018 J jnl
Passive testing with asynchronous communications and timestamps.
Distributed Comput.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018 A conf
Test suite minimization for mutation testing of WS-BPEL compositions.
GECCO
Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez
2017 — conf
A Formal Framework to Specify and Test Systems with Fuzzy-Time Information.
IWANN (2)
Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Núñez
2017 J jnl
An extended framework for passive asynchronous testing.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2017 J jnl
Collective intelligence and databases in eHealth: A survey.
J. Intell. Fuzzy Syst.
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
2017 J jnl
Collective intelligent information and database systems.
J. Intell. Fuzzy Syst.
Ngoc Thanh Nguyen, Manuel Núñez, Bogdan Trawinski
2017 J jnl
Implementation relations and probabilistic schedulers in the distributed test architecture.
J. Syst. Softw.
Robert M. Hierons, Manuel Núñez
2017 J jnl
Preface of the special issue on formal methods in industrial critical systems.
Int. J. Softw. Tools Technol. Transf.
Matthias Güdemann, Manuel Núñez
2017 — conf
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
STAF Workshops
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
2017 B conf
Using Evolutionary Mutation Testing to improve the quality of test suites.
CEC
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez
2017 B conf
Using fuzzy automata to diagnose and predict heart problems.
CEC
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
2016 C conf
Controllability Through Nondeterminism in Distributed Testing.
ICTSS
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2015 Misc conf
A Methodology for Designing Energy-aware Systems for Computational Science.
ICCS
Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo
2015 J jnl
A survey on formal active and passive testing with applications to the cloud.
Ann. des Télécommunications
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2015 — ed.
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
ICCCI (2)
Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski
2015 — ed.
Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015. Proceedings, Part I
ICCCI (1)
Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawinski
2015 C ed.
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings
FMICS
Manuel Núñez, Matthias Güdemann
2015 J jnl
Special issue on formal active and passive testing of distributed and networked systems.
Ann. des Télécommunications
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2014 — conf
A Methodology for Aiding Users to Design and Model Cloud Computing Architectures.
SITIS
Alberto Nuñez, Pablo C. Cañizares, Manuel Núñez
2014 — ed.
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
SEFM Workshops
Steve Counsell, Manuel Núñez
2014 J jnl
Timed implementation relations for the distributed test architecture.
Distributed Comput.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013 — conf
Passive Testing with Asynchronous Communications.
FMOODS/FORTE
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013 J jnl
Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput.
Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2012 J jnl
A formal framework to test soft and hard deadlines in timed systems.
Softw. Test. Verification Reliab.
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2012 J jnl
Formal passive testing of timed systems: theory and tools.
Softw. Test. Verification Reliab.
César Andrés, Mercedes G. Merayo, Manuel Núñez
2012 J jnl
Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2012 J jnl
Preface: Special Issue QFM 2009.
J. Log. Algebraic Methods Program.
Suzana Andover, Annabelle McIver, Manuel Núñez
2012 — conf
Preventing Attacks by Classifying User Models in a Collaborative Scenario.
ICCCI (1)
César Andrés, Alberto Nuñez, Manuel Núñez
2012 B conf
Using Time to Add Order to Distributed Testing.
FM
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2012 J jnl
Using schedulers to test probabilistic distributed systems.
Formal Aspects Comput.
Robert M. Hierons, Manuel Núñez
2011 — conf
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.
IWANN (2)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2011 C conf
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM.
ALIFE
Carlos Molinero, Manuel Núñez, Robert M. Hierons
2011 — conf
Experimental Comparison of Different Techniques to Generate Adaptive Sequences.
IWANN (2)
Carlos Molinero, Manuel Núñez, Robert M. Hierons
2011 C conf
Formal Testing of Timed and Probabilistic Systems.
ICTSS
Manuel Núñez
2011 — ed.
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011.
QSIC
Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo
2011 J jnl
Scenarios-based testing of systems with distributed ports.
Softw. Pract. Exp.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2011 B conf
Self-adaptive fuzzy-timed systems.
IEEE Congress on Evolutionary Computation
César Andrés, Luis Llana, Manuel Núñez
2011 J jnl
Testing timed systems modeled by Stream X-machines.
Softw. Syst. Model.
Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons
2010 — conf
Formal Passive Testing of Service-Oriented Systems.
IEEE SCC
César Andrés, María-Emilia Cambronero, Manuel Núñez
2010 — conf
From Data Mining to User Models in Evolutionary Databases.
ACIIDS (1)
César Andrés, Manuel Núñez, Yaofeng Zhang
2010 C conf
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties.
SEKE
César Andrés, Mercedes G. Merayo, Manuel Núñez
2010 — ch.
Mutation Testing.
Encyclopedia of Software Engineering
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2010 — conf
Passive Testing of Web Services.
WS-FM
César Andrés, María-Emilia Cambronero, Manuel Núñez
2010 — conf
Scenarios-Based Testing of Systems with Distributed Ports.
QSIC
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2010 — conf
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.
FMOODS/FORTE
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
2010 — conf
Testing Probabilistic Distributed Systems.
FMOODS/FORTE
Robert M. Hierons, Manuel Núñez
2009 — conf
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.
ICCS (1)
César Andrés, Carlos Molinero, Manuel Núñez
2009 — conf
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems.
ICCCI (SCI Volume)
Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
2009 C conf
A Statistical Approach to Test Stochastic and Probabilistic Systems.
ICFEM
Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli
2009 J jnl
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
J. Log. Algebraic Methods Program.
Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
2009 — conf
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.
IWANN (1)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2009 C conf
Analysis of the OLSR Protocol by Using Formal Passive Testing.
APSEC
César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
2009 B conf
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.
SEFM
César Andrés, Mercedes G. Merayo, Manuel Núñez
2009 — conf
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.
IWANN (1)
Carlos Molinero, Manuel Núñez, César Andrés
2009 — conf
Formal Correctness of a Passive Testing Approach for Timed Systems.
ICST Workshops
César Andrés, Mercedes G. Merayo, Manuel Núñez
2009 A conf
Passive Testing of Stochastic Timed Systems.
ICST
César Andrés, Mercedes G. Merayo, Manuel Núñez
2009 — ed.
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009.
QFM
Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez
2009 B conf
Simulation Relations for Systems with Distributed Interfaces.
SEFM
Robert M. Hierons, Manuel Núñez
2009 — conf
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.
QSIC
César Andrés, Mercedes G. Merayo, Manuel Núñez
2009 J jnl
Testing Semantics for RTPA.
Fundam. Informaticae
Luis Fernando Llana Díaz, Manuel Núñez
2009 J jnl
Testing from a stochastic timed system with a fault model.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2009 — ed.
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
TestCom/FATES
Manuel Núñez, Paul Baker, Mercedes G. Merayo
2009 C conf
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.
SEKE
César Andrés, Mercedes G. Merayo, Manuel Núñez
2008 J jnl
A Comparative Study of STOPA and RTPA.
Trans. Comput. Sci.
Natalia López, Manuel Núñez, Fernando L. Pelayo
2008 — conf
A Formal Methodology to Specify Hierarchical Agent-Based Systems.
SITIS
César Andrés, Carlos Molinero, Manuel Núñez
2008 C conf
A Hierarchy of Equivalences for Probabilistic Processes.
FORTE
Manuel Núñez, Luis Fernando Llana Díaz
2008 — conf
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm.
ICONS
César Andrés, Manuel Núñez
2008 B conf
Controllable Test Cases for the Distributed Test Architecture.
ATVA
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008 — conf
Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
ICONS
Mercedes G. Merayo, Manuel Núñez
2008 J jnl
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
IEEE Trans. Computers
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008 B conf
Extending Stream X-Machines to Specify and Test Systems with Timeouts.
SEFM
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2008 — conf
Formal Development of a Complex Information System.
ICONS
César Andrés, Mercedes G. Merayo, Manuel Núñez
2008 J jnl
Formal testing from timed finite state machines.
Comput. Networks
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008 J jnl
HOTL: Hypotheses and observations testing logic.
J. Log. Algebraic Methods Program.
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2008 — conf
Implementation Relations for the Distributed Test Architecture.
TestCom/FATES
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008 B conf
Passive Testing of Timed Systems.
ATVA
César Andrés, Mercedes G. Merayo, Manuel Núñez
2008 — conf
THOTL: A Timed Extension of HOTL.
TestCom/FATES
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008 Misc conf
Using formal methods to develop a complex information system: a practical/theoretical experience.
SAC
César Andrés, Rafael G. Aranda, Manuel Núñez
2007 B conf
A Brief Introduction to
ATVA
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007 B conf
A Formal Methodology to Test Complex Heterogeneous Systems.
ATVA
Ismael Rodríguez, Manuel Núñez
2007 J jnl
A Formal Specification of the Memorization Process.
Int. J. Cogn. Informatics Nat. Intell.
Natalia López, Manuel Núñez, Fernando L. Pelayo
2007 J jnl
Cognitive Processes by Using Finite State Machines.
Int. J. Cogn. Informatics Nat. Intell.
Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2007 — conf
Formal Specification of Multi-agent Systems by Using EUSMs.
FSEN
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007 — conf
Formal Testing of Systems Presenting Soft and Hard Deadlines.
FSEN
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007 J jnl
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices.
J. Univers. Comput. Sci.
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2007 Misc conf
Generation of optimal finite test suites for timed systems.
TASE
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007 — conf
SPAMR: Extending PAMR with stochastic time.
EPEW
Natalia López, Manuel Núñez, Ismael Rodríguez
2007 — conf
Testing Finite State Machines Presenting Stochastic Time and Timeouts.
EPEW
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007 B conf
Testing conformance on Stochastic Stream X-Machines.
SEFM
Mercedes G. Merayo, Manuel Núñez
2006 — conf
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
TestCom
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2006 — conf
Assessing the Expressivity of Formal Specification Languages.
AMAST
Natalia López, Manuel Núñez, Ismael Rodríguez
2006 — conf
Customized Testing for Probabilistic Systems.
TestCom
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2006 C conf
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
FORTE
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2006 Misc conf
Editorial message: special track on e-commerce technologies.
SAC
Sviatoslav B. Braynov, Manuel Núñez, Fernando Rubio
2006 C conf
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.
FORTE
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2006 — ed.
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
FATES/RV
Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff
2006 — conf
Implementation Relations for Stochastic Finite State Machines.
EPEW
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2006 — conf
Market-Based Adaptive Discussion Forums.
SITIS
Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2006 J jnl
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci.
Natalia López, Manuel Núñez, Ismael Rodríguez
2006 — ed.
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
WS-FM
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
2005 — conf
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems.
IESS
Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
2005 J jnl
A passive testing approach based on invariants: application to the WAP
Comput. Networks
Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi
2005 — conf
Conformance Testing Relations for Timed Systems.
FATES
Manuel Núñez, Ismael Rodríguez
2005 Misc conf
Editorial message: special track on e-commerce technologies.
SAC
Sviatoslav B. Braynov, Manuel Núñez, Peter R. Wurman
2005 J jnl
Formal specification of multi-agent e-barter systems.
Sci. Comput. Program.
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2005 — conf
From Theoretical e-barter Models to an Implementation Based on Web Services.
FSEN
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2005 J jnl
Specification and testing of autonomous agents in e-commerce systems.
Softw. Test. Verification Reliab.
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2005 — conf
Specification-Based Testing of Real-Time Embedded Systems.
IESS
Manuel Núñez, Ismael Rodríguez
2005 — conf
Specifying the memorization process with STOPA.
IEEE ICCI
Fernando L. Pelayo, Manuel Núñez, Natalia López
2005 C conf
Weak Stochastic Bisimulation for Non-markovian Processes.
ICTAC
Natalia López, Manuel Núñez
2004 — conf
A Formal Framework to Reduce Communications in Communication Systems.
IICS
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 Misc conf
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.
AIMSA
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 J jnl
A formal framework for analyzing reusability complexity in component-based systems.
Inf. Softw. Technol.
Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2004 — conf
An Overview of Probabilistic Process Algebras and their Equivalences.
Validation of Stochastic Systems
Natalia López, Manuel Núñez
2004 J jnl
An integrated framework for the performance analysis of asynchronous communicating stochastic processes.
Formal Aspects Comput.
Natalia López, Manuel Núñez, Fernando Rubio
2004 — ed.
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
FORTE Workshops
Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
2004 — conf
Applying Occam's Razor to FSMs.
IEEE ICCI
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 Misc conf
Editorial message: special track on E-commerce technologies.
SAC
Sviatoslav B. Braynov, Manuel Núñez, Peter R. Wurman
2004 Misc conf
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.
SAC
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 — conf
Formal Specification of Symbolic-Probabilistic Systems.
FORTE Workshops
Natalia López, Manuel Núñez, Ismael Rodríguez
2004 C ed.
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
FORTE
David de Frutos-Escrig, Manuel Núñez
2004 J jnl
Improving privacy in Vickrey auctions.
SIGecom Exch.
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 J jnl
Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng.
Natalia López, Manuel Núñez, Fernando Rubio
2004 — conf
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
IEEE ICCI
Natalia López, Manuel Núñez, Fernando L. Pelayo
2004 — conf
Specification of Autonomous Agents in E-commerce Systems.
FORTE Workshops
Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2004 — conf
Testing of Autonomous Agents Described as Utility State Machines.
FORTE Workshops
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 — conf
Testing of Symbolic-Probabilistic Systems.
FATES
Natalia López, Manuel Núñez, Ismael Rodríguez
2003 Misc conf
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs.
SAC
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2003 J jnl
Algebraic theory of probabilistic processes.
J. Log. Algebraic Methods Program.
Manuel Núñez
2003 — conf
Fast Testing of Critical Properties through Passive Testing.
TestCom
José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez
2003 Misc conf
Introducing CEES: Complex Economic Environments Simulator.
International Conference on Computational Science
Ismael Rodríguez, Manuel Núñez
2003 — conf
TestNet: Let's Test Together!.
TestCom
Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez
2003 C conf
Towards Testing Stochastic Timed Systems.
FORTE
Manuel Núñez, Ismael Rodríguez
2003 — conf
Towards the Identification of Living Agents in Complex Computational Environments.
IEEE ICCI
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 — conf
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.
IICS
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 C conf
Encoding PAMR into (Timed) EFSMs.
FORTE
Manuel Núñez, Ismael Rodríguez
2002 B conf
Including Malicious Agents into a Collaborative Learning Environment.
Intelligent Tutoring Systems
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 — conf
Introducing the Golden Section to Computer Science.
IEEE ICCI
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 B conf
Stochastic Process Algebras Meet Eden.
IFM
Natalia López, Manuel Núñez, Fernando Rubio
2002 Misc conf
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2001 B conf
A Testing Theory for Generally Distributed Stochastic Processes.
CONCUR
Natalia López, Manuel Núñez
2001 J jnl
Condition-Measure Bounds on the Behavior of the Central Trajectory of a Semidefinite Program.
SIAM J. Optim.
Manuel Núñez, Robert M. Freund
2001 C conf
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.
FORTE
Manuel Núñez, Ismael Rodríguez
2000 — conf
NMSPA: A Non-Markovian Model for Stochastic Processes.
ICDCS Workshop on Distributed System Validation and Verification
Natalia López, Manuel Núñez
1999 — conf
An Axiomatization of Probabilistic Testing.
ARTS
Manuel Núñez
1999 C conf
Fair Testing through Probabilistic Testing.
FORTE
Manuel Núñez, David Rupérez
1999 C conf
Global Timed Bisimulation: An Introduction.
FORTE
David de Frutos-Escrig, Natalia López, Manuel Núñez
1998 J jnl
An invitation to friendly testing.
J. Comput. Sci. Technol.
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
1998 J jnl
Condition measures and properties of the central trajectory of a linear program.
Math. Program.
Manuel Núñez, Robert M. Freund
1998 — conf
Denotational Semantics for Probabilistic Refusal Testing.
PROBMIV
Carlos Gregorio-Rodríguez, Manuel Núñez
1997 C conf
Friendly Testing as a Conformance Relation.
FORTE
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
1997 — conf
Testing Semantics for Unbounded Nondeterminism.
Euro-Par
Luis Fernando Llana Díaz, Manuel Núñez
1997 — conf
Testing Semantics for a Probabilistic-Timed Process Algebra.
ARTS
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
1996 A conf
A New Look to Pattern Matching in Abstract Data Types.
ICFP
Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
1995 — conf
A Second Year Course on Data Structures Based on Functional Programming.
FPLE
Manuel Núñez, Pedro Palao, Ricardo Pena
1995 B conf
Acceptance Trees for Probabilistic Processes.
CONCUR
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz
1995 — conf
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness.
GULP-PRODE
Pedro Palao, Manuel Núñez
1995 — conf
Characterizing termination in LOTOS via testing.
PSTV
David de Frutos-Escrig, Manuel Núñez, Juan Quemada
1995 C conf
Testing Semantics for Probabilistic LOTOS.
FORTE
Manuel Núñez, David de Frutos-Escrig
1994 — conf
Non Homomorphic Reductions of Data Structures.
GULP-PRODE (2)
Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena