Manuel Núñez

Orcid: 0000-0001-9808-6401

Affiliations:
  • Complutense University of Madrid (UCM), Department of Information Systems and Computation, Spain


According to our database1, Manuel Núñez authored at least 178 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Machine learning algorithms to forecast air quality: a survey.
Artif. Intell. Rev., September, 2023

Squeeziness for non-deterministic systems.
Inf. Softw. Technol., June, 2023

Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model.
Eng. Appl. Artif. Intell., May, 2023

Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap.
IEEE Trans. Software Eng., February, 2023

Implementation relations and testing for cyclic systems: Adding probabilities.
Robotics Auton. Syst., 2023

Metamorphic testing of chess engines.
Inf. Softw. Technol., 2023

Computing performance requirements for web service compositions.
Comput. Stand. Interfaces, 2023

Implementation Relations for Distributed Testing.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022
SINPA: SupportINg the automation of construction PlAnning.
Expert Syst. Appl., 2022

Using Deep Transformer Based Models to Predict Ozone Levels.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

Using Deep Learning to Detect Anomalies in Traffic Flow.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

2021
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems.
IEEE Trans. Reliab., 2021

Using mutual information to test from Finite State Machines: Test suite selection.
Inf. Softw. Technol., 2021

Metamorphic testing of OpenStreetMap.
Inf. Softw. Technol., 2021

SqSelect: Automatic assessment of Failed Error Propagation in state-based systems.
Expert Syst. Appl., 2021

Using Ant Colony Optimisation to Select Features Having Associated Costs.
Proceedings of the Testing Software and Systems, 2021

2020
Implementation relations and testing for cyclic systems with refusals and discrete time.
J. Syst. Softw., 2020

Using a swarm to detect hard-to-kill mutants.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

An evolutionary technique for supporting the consensus process of group decision making.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Estimating fault masking using squeeziness based on Rényi's entropy.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

A Trading Framework Based on Fuzzy Moore Machines.
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2019
A methodology to analyze heart data using fuzzy automata.
J. Intell. Fuzzy Syst., 2019

Using Squeeziness to test component-based systems defined as Finite State Machines.
Inf. Softw. Technol., 2019

Grammar-based Tree Swarm Optimization.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures.
Proceedings of the Advances in Computational Intelligence, 2019

Conformance Relations for Fuzzy Automata.
Proceedings of the Advances in Computational Intelligence, 2019

Using Genetic Algorithms to Generate Test Suites for FSMs.
Proceedings of the Advances in Computational Intelligence, 2019

2018
Bounded Reordering in the Distributed Test Architecture.
IEEE Trans. Reliab., 2018

A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol., 2018

Passive testing with asynchronous communications and timestamps.
Distributed Comput., 2018

Test suite minimization for mutation testing of WS-BPEL compositions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018

2017
Preface of the special issue on formal methods in industrial critical systems.
Int. J. Softw. Tools Technol. Transf., 2017

Implementation relations and probabilistic schedulers in the distributed test architecture.
J. Syst. Softw., 2017

An extended framework for passive asynchronous testing.
J. Log. Algebraic Methods Program., 2017

Collective intelligent information and database systems.
J. Intell. Fuzzy Syst., 2017

Collective intelligence and databases in eHealth: A survey.
J. Intell. Fuzzy Syst., 2017

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
Proceedings of the Software Technologies: Applications and Foundations, 2017

A Formal Framework to Specify and Test Systems with Fuzzy-Time Information.
Proceedings of the Advances in Computational Intelligence, 2017

Using Evolutionary Mutation Testing to improve the quality of test suites.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

Using fuzzy automata to diagnose and predict heart problems.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
Controllability Through Nondeterminism in Distributed Testing.
Proceedings of the Testing Software and Systems, 2016

2015
A survey on formal active and passive testing with applications to the cloud.
Ann. des Télécommunications, 2015

Special issue on formal active and passive testing of distributed and networked systems.
Ann. des Télécommunications, 2015

A Methodology for Designing Energy-aware Systems for Computational Science.
Proceedings of the International Conference on Computational Science, 2015

2014
Timed implementation relations for the distributed test architecture.
Distributed Comput., 2014

A Methodology for Aiding Users to Design and Model Cloud Computing Architectures.
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

2013
Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput., 2013

Passive Testing with Asynchronous Communications.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
A formal framework to test soft and hard deadlines in timed systems.
Softw. Test. Verification Reliab., 2012

Formal passive testing of timed systems: theory and tools.
Softw. Test. Verification Reliab., 2012

Preface: Special Issue QFM 2009.
J. Log. Algebraic Methods Program., 2012

Using schedulers to test probabilistic distributed systems.
Formal Aspects Comput., 2012

Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput., 2012

Preventing Attacks by Classifying User Models in a Collaborative Scenario.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Using Time to Add Order to Distributed Testing.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Scenarios-based testing of systems with distributed ports.
Softw. Pract. Exp., 2011

Testing timed systems modeled by Stream X-machines.
Softw. Syst. Model., 2011

Formal Testing of Timed and Probabilistic Systems.
Proceedings of the Testing Software and Systems, 2011

Experimental Comparison of Different Techniques to Generate Adaptive Sequences.
Proceedings of the Advances in Computational Intelligence, 2011

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.
Proceedings of the Advances in Computational Intelligence, 2011

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM.
Proceedings of the 2011 IEEE Symposium on Artificial Life, 2011

Self-adaptive fuzzy-timed systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010
Mutation Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Passive Testing of Web Services.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Testing Probabilistic Distributed Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2010

From Data Mining to User Models in Evolutionary Databases.
Proceedings of the Intelligent Information and Database Systems, 2010

Formal Passive Testing of Service-Oriented Systems.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Testing from a stochastic timed system with a fault model.
J. Log. Algebraic Methods Program., 2009

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
J. Log. Algebraic Methods Program., 2009

Testing Semantics for RTPA.
Fundam. Informaticae, 2009

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Simulation Relations for Systems with Distributed Interfaces.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.
Proceedings of the Ninth International Conference on Quality Software, 2009

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Formal Correctness of a Passive Testing Approach for Timed Systems.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Passive Testing of Stochastic Timed Systems.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Statistical Approach to Test Stochastic and Probabilistic Systems.
Proceedings of the Formal Methods and Software Engineering, 2009

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems.
Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.
Proceedings of the Computational Science, 2009

Analysis of the OLSR Protocol by Using Formal Passive Testing.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
A Comparative Study of STOPA and RTPA.
Trans. Comput. Sci., 2008

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
IEEE Trans. Computers, 2008

HOTL: Hypotheses and observations testing logic.
J. Log. Algebraic Methods Program., 2008

Formal testing from timed finite state machines.
Comput. Networks, 2008

A Formal Methodology to Specify Hierarchical Agent-Based Systems.
Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Extending Stream X-Machines to Specify and Test Systems with Timeouts.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Using formal methods to develop a complex information system: a practical/theoretical experience.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

THOTL: A Timed Extension of HOTL.
Proceedings of the Testing of Software and Communicating Systems, 2008

Implementation Relations for the Distributed Test Architecture.
Proceedings of the Testing of Software and Communicating Systems, 2008

Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
Proceedings of the Third International Conference on Systems, 2008

ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm.
Proceedings of the Third International Conference on Systems, 2008

Formal Development of a Complex Information System.
Proceedings of the Third International Conference on Systems, 2008

A Hierarchy of Equivalences for Probabilistic Processes.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Controllable Test Cases for the Distributed Test Architecture.
Proceedings of the Automated Technology for Verification and Analysis, 2008

Passive Testing of Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices.
J. Univers. Comput. Sci., 2007

Cognitive Processes by Using Finite State Machines.
Int. J. Cogn. Informatics Nat. Intell., 2007

A Formal Specification of the Memorization Process.
Int. J. Cogn. Informatics Nat. Intell., 2007

Generation of optimal finite test suites for timed systems.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Testing conformance on Stochastic Stream X-Machines.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Formal Specification of Multi-agent Systems by Using EUSMs.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Formal Testing of Systems Presenting Soft and Hard Deadlines.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Testing Finite State Machines Presenting Stochastic Time and Timeouts.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

SPAMR: Extending PAMR with stochastic time.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

A Formal Methodology to Test Complex Heterogeneous Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2007

A Brief Introduction to <i>THOTL</i>.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci., 2006

Market-Based Adaptive Discussion Forums.
Proceedings of the Advanced Internet Based Systems and Applications, 2006

Editorial message: special track on e-commerce technologies.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
Proceedings of the Testing of Communicating Systems, 2006

Customized Testing for Probabilistic Systems.
Proceedings of the Testing of Communicating Systems, 2006

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Implementation Relations for Stochastic Finite State Machines.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Assessing the Expressivity of Formal Specification Languages.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Specification and testing of autonomous agents in e-commerce systems.
Softw. Test. Verification Reliab., 2005

Formal specification of multi-agent e-barter systems.
Sci. Comput. Program., 2005

From Theoretical e-barter Models to an Implementation Based on Web Services.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

A passive testing approach based on invariants: application to the WAP
Comput. Networks, 2005

Editorial message: special track on e-commerce technologies.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Specification-Based Testing of Real-Time Embedded Systems.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Weak Stochastic Bisimulation for Non-markovian Processes.
Proceedings of the Theoretical Aspects of Computing, 2005

Conformance Testing Relations for Timed Systems.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Specifying the memorization process with STOPA.
Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004
Improving privacy in Vickrey auctions.
SIGecom Exch., 2004

A formal framework for analyzing reusability complexity in component-based systems.
Inf. Softw. Technol., 2004

An integrated framework for the performance analysis of asynchronous communicating stochastic processes.
Formal Aspects Comput., 2004

Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng., 2004

An Overview of Probabilistic Process Algebras and their Equivalences.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Formal Framework to Reduce Communications in Communication Systems.
Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004

Specification of Autonomous Agents in E-commerce Systems.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Testing of Autonomous Agents Described as Utility State Machines.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Formal Specification of Symbolic-Probabilistic Systems.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Testing of Symbolic-Probabilistic Systems.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.
Proceedings of the Artificial Intelligence: Methodology, 2004

Applying Occam's Razor to FSMs.
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

2003
Algebraic theory of probabilistic processes.
J. Log. Algebraic Methods Program., 2003

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

TestNet: Let's Test Together!.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Fast Testing of Critical Properties through Passive Testing.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Introducing CEES: Complex Economic Environments Simulator.
Proceedings of the Computational Science - ICCS 2003, 2003

Towards Testing Stochastic Timed Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Towards the Identification of Living Agents in Complex Computational Environments.
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

2002
Including Malicious Agents into a Collaborative Learning Environment.
Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.
Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Stochastic Process Algebras Meet Eden.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Encoding PAMR into (Timed) EFSMs.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

WHAT: Web-Based Haskell Adaptive Tutor.
Proceedings of the Artificial Intelligence: Methodology, 2002

Introducing the Golden Section to Computer Science.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
Condition-Measure Bounds on the Behavior of the Central Trajectory of a Semidefinite Program.
SIAM J. Optim., 2001

PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

A Testing Theory for Generally Distributed Stochastic Processes.
Proceedings of the CONCUR 2001, 2001

2000
NMSPA: A Non-Markovian Model for Stochastic Processes.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999
Fair Testing through Probabilistic Testing.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Global Timed Bisimulation: An Introduction.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

An Axiomatization of Probabilistic Testing.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998
Condition measures and properties of the central trajectory of a linear program.
Math. Program., 1998

An invitation to friendly testing.
J. Comput. Sci. Technol., 1998

Denotational Semantics for Probabilistic Refusal Testing.
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997
Friendly Testing as a Conformance Relation.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Testing Semantics for Unbounded Nondeterminism.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Testing Semantics for a Probabilistic-Timed Process Algebra.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
A New Look to Pattern Matching in Abstract Data Types.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1995
Characterizing termination in LOTOS via testing.
Proceedings of the Protocol Specification, 1995

A Second Year Course on Data Structures Based on Functional Programming.
Proceedings of the Functional Programming Languages in Education, 1995

Testing Semantics for Probabilistic LOTOS.
Proceedings of the Formal Description Techniques VIII, 1995

Acceptance Trees for Probabilistic Processes.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Non Homomorphic Reductions of Data Structures.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...