| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Suzana Andover, Annabelle McIver, Manuel Núñez |
Preface: Special Issue QFM 2009.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation relations and test generation for systems with distributed interfaces. |
Distributed Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons |
Testing timed systems modeled by Stream X-machines. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-based testing of systems with distributed ports. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Luis Llana, Manuel Núñez |
Self-adaptive fuzzy-timed systems. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez |
Formal Testing of Timed and Probabilistic Systems. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo (eds.) |
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. |
QSIC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carlos Molinero, Manuel Núñez, Robert M. Hierons |
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Mutation Testing. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan José Pardo, Manuel Núñez, M. Carmen Ruiz |
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez |
Testing Probabilistic Distributed Systems. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Passive Testing of Web Services. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Manuel Núñez, Yaofeng Zhang |
From Data Mining to User Models in Evolutionary Databases. |
ACIIDS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Formal Passive Testing of Service-Oriented Systems. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-Based Testing of Systems with Distributed Ports. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Frantzen, Mercedes G. Merayo, Manuel Núñez |
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Testing from a stochastic timed system with a fault model. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fernando Llana Díaz, Manuel Núñez |
Testing Semantics for RTPA. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez (eds.) |
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Passive Testing of Stochastic Timed Systems. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli |
A Statistical Approach to Test Stochastic and Probabilistic Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez |
Simulation Relations for Systems with Distributed Interfaces. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Carlos Molinero, Manuel Núñez |
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Pardo, Manuel Núñez, M. Carmen Ruiz |
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. |
ICCCI (SCI Volume) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.) |
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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic formal models, Formal methods, Passive testing |
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Molinero, Manuel Núñez, César Andrés |
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Fernando L. Pelayo |
A Comparative Study of STOPA and RTPA. |
Transactions on Computational Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez |
HOTL: Hypotheses and observations testing logic. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Testing and Debugging, Specification techniques |
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal testing from timed finite state machines. |
Computer Networks |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Luis Fernando Llana Díaz |
A Hierarchy of Equivalences for Probabilistic Processes. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Formal Development of a Complex Information System. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Manuel Núñez |
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez |
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Extending Stream X-Machines to Specify and Test Systems with Timeouts. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Rafael G. Aranda, Manuel Núñez |
Using formal methods to develop a complex information system: a practical/theoretical experience. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Passive Testing of Timed Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Controllable Test Cases for the Distributed Test Architecture. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation Relations for the Distributed Test Architecture. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
THOTL: A Timed Extension of HOTL. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
Cognitive Processes by Using Finite State Machines. |
IJCINI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Fernando L. Pelayo |
A Formal Specification of the Memorization Process. |
IJCINI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez |
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez |
Testing conformance on Stochastic Stream X-Machines. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal Specification of Multi-agent Systems by Using EUSMs. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Formal specification of multi-agent systems, e-commerce, autonomous agents |
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal Testing of Systems Presenting Soft and Hard Deadlines. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Manuel Núñez |
A Formal Methodology to Test Complex Heterogeneous Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
A Brief Introduction to THOTL. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Generation of optimal finite test suites for timed systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez |
SPAMR: Extending PAMR with stochastic time. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Testing Finite State Machines Presenting Stochastic Time and Timeouts. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Specification, testing and implementation relations for symbolic-probabilistic systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez |
From Theoretical e-barter Models to an Implementation Based on Web Services. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez |
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Market-Based Adaptive Discussion Forums. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
E-learning, discussion forums |
| 1 | Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) |
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings |
WS-FM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Assessing the Expressivity of Formal Specification Languages. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sviatoslav Braynov, Manuel Núñez, Fernando Rubio |
Editorial message: special track on e-commerce technologies. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez |
Customized Testing for Probabilistic Systems. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez |
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (eds.) |
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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Implementation Relations for Stochastic Finite State Machines. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Formal specification of multi-agent e-barter systems. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi |
A passive testing approach based on invariants: application to the WAP |
Computer Networks |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Specification and testing of autonomous agents in e-commerce systems. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez |
Weak Stochastic Bisimulation for Non-markovian Processes. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman |
Editorial message: special track on e-commerce technologies. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez |
Conformance Testing Relations for Timed Systems. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Manuel Núñez, Natalia López |
Specifying the memorization process with STOPA. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Fernando Rubio |
An integrated framework for the performance analysis of asynchronous communicating stochastic processes. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Functional programming, Stochastic process algebras |
| 1 | Natalia López, Manuel Núñez, Fernando Rubio |
Predicting performance in the presence of stochastic information. |
Comput. Syst. Sci. Eng. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Improving privacy in Vickrey auctions. |
SIGecom Exchanges |
2004 |
DBLP DOI BibTeX RDF |
privacy, Vickrey auctions |
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
A formal framework for analyzing reusability complexity in component-based systems. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
Specification of Autonomous Agents in E-commerce Systems. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.) |
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 |
FORTE Workshops |
2004 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Formal Specification of Symbolic-Probabilistic Systems. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David de Frutos-Escrig, Manuel Núñez (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings |
FORTE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Testing of Autonomous Agents Described as Utility State Machines. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez |
An Overview of Probabilistic Process Algebras and their Equivalences. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman |
Editorial message: special track on E-commerce technologies. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
e-learning, discussion forums |
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Formal Framework to Reduce Communications in Communication Systems. |
IICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Testing of Symbolic-Probabilistic Systems. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Applying Occam's Razor to FSMs. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
Occam´s razor, Chomsky´s classification, Cognitive Informatics |
| 1 | Natalia López, Manuel Núñez, Fernando L. Pelayo |
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez |
Algebraic theory of probabilistic processes. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez |
Towards Testing Stochastic Timed Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Conformance testing, performance testing, test theory |
| 1 | Ismael Rodríguez, Manuel Núñez |
Introducing CEES: Complex Economic Environments Simulator. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Macroeconomics, Simulators, Complex Systems |
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez |
Fast Testing of Critical Properties through Passive Testing. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez |
TestNet: Let's Test Together!. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")