Manuel Núñez
Orcid: 0000-0001-9808-6401Affiliations:
- Complutense University of Madrid (UCM), Department of Information Systems and Computation, Spain
According to our database1,
Manuel Núñez
authored at least 180 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
5
10
15
1
1
7
1
4
1
2
3
5
2
1
1
5
2
3
4
3
1
3
4
1
1
2
2
2
1
4
5
2
4
1
1
1
1
2
5
6
12
11
8
8
7
10
6
6
2
1
3
1
3
1
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Reliab., December, 2024
2023
Artif. Intell. Rev., September, 2023
Eng. Appl. Artif. Intell., May, 2023
IEEE Trans. Software Eng., February, 2023
Robotics Auton. Syst., 2023
Comput. Stand. Interfaces, 2023
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2023
2022
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022
2021
IEEE Trans. Reliab., 2021
Inf. Softw. Technol., 2021
Expert Syst. Appl., 2021
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
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
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
J. Intell. Fuzzy Syst., 2019
Inf. Softw. Technol., 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the Advances in Computational Intelligence, 2019
Proceedings of the Advances in Computational Intelligence, 2019
Proceedings of the Advances in Computational Intelligence, 2019
2018
A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol., 2018
Distributed Comput., 2018
Proceedings of the Genetic and Evolutionary Computation Conference, 2018
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Implementation relations and probabilistic schedulers in the distributed test architecture.
J. Syst. Softw., 2017
J. Log. Algebraic Methods Program., 2017
J. Intell. Fuzzy Syst., 2017
J. Intell. Fuzzy Syst., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Advances in Computational Intelligence, 2017
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
2016
Proceedings of the Testing Software and Systems, 2016
2015
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
Proceedings of the International Conference on Computational Science, 2015
2014
Distributed Comput., 2014
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014
2013
Soft Comput., 2013
Proceedings of the Formal Techniques for Distributed Systems, 2013
2012
Softw. Test. Verification Reliab., 2012
Softw. Test. Verification Reliab., 2012
Formal Aspects Comput., 2012
Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput., 2012
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Proceedings of the Testing Software and Systems, 2011
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
Proceedings of the IEEE Congress on Evolutionary Computation, 2011
2010
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
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Intelligent Information and Database Systems, 2010
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
J. Log. Algebraic Methods Program., 2009
J. Log. Algebraic Methods Program., 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
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
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
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009
Proceedings of the Computational Science, 2009
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
2008
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
IEEE Trans. Computers, 2008
J. Log. Algebraic Methods Program., 2008
Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008
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
Proceedings of the Testing of Software and Communicating Systems, 2008
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
Proceedings of the Third International Conference on Systems, 2008
Proceedings of the Third International Conference on Systems, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
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
Int. J. Cogn. Informatics Nat. Intell., 2007
Int. J. Cogn. Informatics Nat. Intell., 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci., 2006
Proceedings of the Advanced Internet Based Systems and Applications, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Testing of Communicating Systems, 2006
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
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Softw. Test. Verification Reliab., 2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
Comput. Networks, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
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
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005
2004
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
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
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
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
J. Log. Algebraic Methods Program., 2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Computational Science - ICCS 2003, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003
2002
Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002
Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
Proceedings of the Artificial Intelligence: Methodology, 2002
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
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
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1998
Math. Program., 1998
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
Proceedings of the Euro-Par '97 Parallel Processing, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
1996
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
Proceedings of the Functional Programming Languages in Education, 1995
Testing Semantics for Probabilistic LOTOS.
Proceedings of the Formal Description Techniques VIII, 1995
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