 | 2009 |
|---|
| 98 |       | Manuel Núñez,
Paul Baker,
Mercedes G. Merayo:
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
Springer 2009 |
| 97 | | César Andrés,
Carlos Molinero,
Manuel Núñez:
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.
ICCS (1) 2009: 347-356 |
| 96 | | 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 (1) 2009: 327-334 |
| 95 | | Carlos Molinero,
Manuel Núñez,
César Andrés:
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.
IWANN (1) 2009: 343-350 |
| 94 |  | 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: 426-431 |
| 93 | | Luis Fernando Llana Díaz,
Manuel Núñez:
Testing Semantics for RTPA.
Fundam. Inform. 90(3): 305-335 (2009) |
| 92 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Testing from a stochastic timed system with a fault model.
J. Log. Algebr. Program. 78(2): 98-115 (2009) |
| 2008 |
|---|
| 91 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture.
ATVA 2008: 201-215 |
| 90 | | César Andrés,
Mercedes G. Merayo,
Manuel Núñez:
Passive Testing of Timed Systems.
ATVA 2008: 418-427 |
| 89 | | Manuel Núñez,
Luis Fernando Llana Díaz:
A Hierarchy of Equivalences for Probabilistic Processes.
FORTE 2008: 267-282 |
| 88 | | César Andrés,
Mercedes G. Merayo,
Manuel Núñez:
Formal Development of a Complex Information System.
ICONS 2008: 118-123 |
| 87 | | César Andrés,
Manuel Núñez:
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm.
ICONS 2008: 230-234 |
| 86 | | Mercedes G. Merayo,
Manuel Núñez:
Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
ICONS 2008: 97-102 |
| 85 | | 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: 848-849 |
| 84 | | Mercedes G. Merayo,
Robert M. Hierons,
Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts.
SEFM 2008: 201-210 |
| 83 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Implementation Relations for the Distributed Test Architecture.
TestCom/FATES 2008: 200-215 |
| 82 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
THOTL: A Timed Extension of HOTL.
TestCom/FATES 2008: 86-102 |
| 81 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal testing from timed finite state machines.
Computer Networks 52(2): 432-460 (2008) |
| 80 | | 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 57(6): 835-844 (2008) |
| 79 | | Ismael Rodríguez,
Mercedes G. Merayo,
Manuel Núñez:
HOTL: Hypotheses and observations testing logic.
J. Log. Algebr. Program. 74(2): 57-93 (2008) |
| 78 | | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Comparative Study of STOPA and RTPA.
Transactions on Computational Science 2: 224-245 (2008) |
| 2007 |
|---|
| 77 | | Ismael Rodríguez,
Manuel Núñez:
A Formal Methodology to Test Complex Heterogeneous Systems.
ATVA 2007: 394-409 |
| 76 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
A Brief Introduction to THOTL.
ATVA 2007: 501-510 |
| 75 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time.
EPEW 2007: 63-79 |
| 74 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts.
EPEW 2007: 97-111 |
| 73 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines.
FSEN 2007: 160-174 |
| 72 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs.
FSEN 2007: 318-333 |
| 71 | | Mercedes G. Merayo,
Manuel Núñez:
Testing conformance on Stochastic Stream X-Machines.
SEFM 2007: 227-236 |
| 70 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Generation of optimal finite test suites for timed systems.
TASE 2007: 149-158 |
| 69 | | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Cognitive Processes by Using Finite State Machines.
IJCINI 1(3): 52-65 (2007) |
| 68 | | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Formal Specification of the Memorization Process.
IJCINI 1(4): 47-60 (2007) |
| 67 | | 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 13(13): 2035-2075 (2007) |
| 2006 |
|---|
| 66 | | Mario Bravetti,
Manuel Núñez,
Gianluigi Zavattaro:
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
Springer 2006 |
| 65 | | Klaus Havelund,
Manuel Núñez,
Grigore Rosu,
Burkhart Wolff:
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
Springer 2006 |
| 64 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Assessing the Expressivity of Formal Specification Languages.
AMAST 2006: 220-234 |
| 63 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Implementation Relations for Stochastic Finite State Machines.
EPEW 2006: 123-137 |
| 62 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.
FORTE 2006: 372-387 |
| 61 | | Luis Fernando Llana Díaz,
Manuel Núñez,
Ismael Rodríguez:
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
FORTE 2006: 467-483 |
| 60 | | Sviatoslav Braynov,
Manuel Núñez,
Fernando Rubio:
Editorial message: special track on e-commerce technologies.
SAC 2006: 865-866 |
| 59 | | Natalia López,
Manuel Núñez,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Market-Based Adaptive Discussion Forums.
SITIS 2006: 149-160 |
| 58 | | Ismael Rodríguez,
Mercedes G. Merayo,
Manuel Núñez:
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
TestCom 2006: 39-54 |
| 57 | | Luis Fernando Llana Díaz,
Manuel Núñez,
Ismael Rodríguez:
Customized Testing for Probabilistic Systems.
TestCom 2006: 87-102 |
| 56 | | 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. 159: 241-264 (2006) |
| 55 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci. 353(1-3): 228-248 (2006) |
| 2005 |
|---|
| 54 | | Manuel Núñez,
Ismael Rodríguez:
Conformance Testing Relations for Timed Systems.
FATES 2005: 103-117 |
| 53 | | Natalia López,
Manuel Núñez:
Weak Stochastic Bisimulation for Non-markovian Processes.
ICTAC 2005: 454-468 |
| 52 | | Fernando L. Pelayo,
Manuel Núñez,
Natalia López:
Specifying the memorization process with STOPA.
IEEE ICCI 2005: 238-247 |
| 51 | | Sviatoslav Braynov,
Manuel Núñez,
Peter R. Wurman:
Editorial message: special track on e-commerce technologies.
SAC 2005: 789-790 |
| 50 | | Emmanuel Bayse,
Ana R. Cavalli,
Manuel Núñez,
Fatiha Zaïdi:
A passive testing approach based on invariants: application to the WAP
Computer Networks 48(2): 235-245 (2005) |
| 49 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Formal specification of multi-agent e-barter systems.
Sci. Comput. Program. 57(2): 187-216 (2005) |
| 48 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Specification and testing of autonomous agents in e-commerce systems.
Softw. Test., Verif. Reliab. 15(4): 211-233 (2005) |
| 2004 |
|---|
| 47 | | David de Frutos-Escrig,
Manuel Núñez:
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Springer 2004 |
| 46 | | Manuel Núñez,
Zakaria Maamar,
Fernando L. Pelayo,
Key Pousttchi,
Fernando Rubio:
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Springer 2004 |
| 45 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.
AIMSA 2004: 361-370 |
| 44 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems.
FATES 2004: 49-63 |
| 43 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Formal Specification of Symbolic-Probabilistic Systems.
FORTE Workshops 2004: 114-127 |
| 42 | | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Specification of Autonomous Agents in E-commerce Systems.
FORTE Workshops 2004: 30-44 |
| 41 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Testing of Autonomous Agents Described as Utility State Machines.
FORTE Workshops 2004: 322-336 |
| 40 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Applying Occam's Razor to FSMs.
IEEE ICCI 2004: 138-147 |
| 39 | | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
IEEE ICCI 2004: 64-73 |
| 38 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Formal Framework to Reduce Communications in Communication Systems.
IICS 2004: 69-80 |
| 37 | | Sviatoslav Braynov,
Manuel Núñez,
Peter R. Wurman:
Editorial message: special track on E-commerce technologies.
SAC 2004: 757-758 |
| 36 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.
SAC 2004: 952-956 |
| 35 | | Natalia López,
Manuel Núñez:
An Overview of Probabilistic Process Algebras and their Equivalences.
Validation of Stochastic Systems 2004: 89-123 |
| 34 | | Natalia López,
Manuel Núñez,
Fernando Rubio:
Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng. 19(6): (2004) |
| 33 | | Natalia López,
Manuel Núñez,
Fernando Rubio:
An integrated framework for the performance analysis of asynchronous communicating stochastic processes.
Formal Asp. Comput. 16(3): 238-262 (2004) |
| 32 | | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
A formal framework for analyzing reusability complexity in component-based systems.
Information & Software Technology 46(12): 791-804 (2004) |
| 31 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Improving privacy in Vickrey auctions.
SIGecom Exchanges 5(1): 1-12 (2004) |
| 2003 |
|---|
| 30 | | Manuel Núñez,
Ismael Rodríguez:
Towards Testing Stochastic Timed Systems.
FORTE 2003: 335-350 |
| 29 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Towards the Identification of Living Agents in Complex Computational Environments.
IEEE ICCI 2003: 151-160 |
| 28 | | Ismael Rodríguez,
Manuel Núñez:
Introducing CEES: Complex Economic Environments Simulator.
International Conference on Computational Science 2003: 658-667 |
| 27 | | 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: 587-594 |
| 26 | | Ana R. Cavalli,
Edgardo Montes de Oca,
Manuel Núñez:
TestNet: Let's Test Together!.
TestCom 2003: 258-264 |
| 25 | | José Antonio Arnedo,
Ana R. Cavalli,
Manuel Núñez:
Fast Testing of Critical Properties through Passive Testing.
TestCom 2003: 295-310 |
| 24 | | Manuel Núñez:
Algebraic theory of probabilistic processes.
J. Log. Algebr. Program. 56(1-2): 117-177 (2003) |
| 2002 |
|---|
| 23 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA 2002: 71-80 |
| 22 | | Manuel Núñez,
Ismael Rodríguez:
Encoding PAMR into (Timed) EFSMs.
FORTE 2002: 1-16 |
| 21 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Introducing the Golden Section to Computer Science.
IEEE ICCI 2002: 203-212 |
| 20 | | Natalia López,
Manuel Núñez,
Fernando Rubio:
Stochastic Process Algebras Meet Eden.
IFM 2002: 29-48 |
| 19 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.
IICS 2002: 217-228 |
| 18 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Including Malicious Agents into a Collaborative Learning Environment.
Intelligent Tutoring Systems 2002: 51-60 |
| 2001 |
|---|
| 17 | | Natalia López,
Manuel Núñez:
A Testing Theory for Generally Distributed Stochastic Processes.
CONCUR 2001: 321-335 |
| 16 | | Manuel Núñez,
Ismael Rodríguez:
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.
FORTE 2001: 169-184 |
| 2000 |
|---|
| 15 | | Natalia López,
Manuel Núñez:
NMSPA: A Non-Markovian Model for Stochastic Processes.
ICDCS Workshop on Distributed System Validation and Verification 2000: E33-E40 |
| 1999 |
|---|
| 14 | | Manuel Núñez:
An Axiomatization of Probabilistic Testing.
ARTS 1999: 130-150 |
| 13 | | Manuel Núñez,
David Rupérez:
Fair Testing through Probabilistic Testing.
FORTE 1999: 135-150 |
| 12 | | David de Frutos-Escrig,
Natalia López,
Manuel Núñez:
Global Timed Bisimulation: An Introduction.
FORTE 1999: 401-416 |
| 11 | | Carlos Gregorio-Rodríguez,
Manuel Núñez:
Denotational Semantics for Probabilistic Refusal Testing.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1997 |
|---|
| 10 | | Carlos Gregorio-Rodríguez,
Luis Fernando Llana Díaz,
Manuel Núñez,
Pedro Palao-Gostanza:
Testing Semantics for a Probabilistic-Timed Process Algebra.
ARTS 1997: 353-367 |
| 9 | | Luis Fernando Llana Díaz,
Manuel Núñez:
Testing Semantics for Unbounded Nondeterminism.
Euro-Par 1997: 538-545 |
| 8 | | David de Frutos-Escrig,
Luis Fernando Llana Díaz,
Manuel Núñez:
Friendly Testing as a Conformance Relation.
FORTE 1997: 283-298 |
| 1996 |
|---|
| 7 | | Pedro Palao-Gostanza,
Ricardo Pena,
Manuel Núñez:
A New Look to Pattern Matching in Abstract Data Types.
ICFP 1996: 110-121 |
| 1995 |
|---|
| 6 | | Manuel Núñez,
David de Frutos-Escrig,
Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes.
CONCUR 1995: 249-263 |
| 5 | | Manuel Núñez,
David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS.
FORTE 1995: 367-382 |
| 4 | | Manuel Núñez,
Pedro Palao,
Ricardo Pena:
A Second Year Course on Data Structures Based on Functional Programming.
FPLE 1995: 65-84 |
| 3 | | Pedro Palao,
Manuel Núñez:
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness.
GULP-PRODE 1995: 383-394 |
| 2 | | David de Frutos-Escrig,
Manuel Núñez,
Juan Quemada:
Characterizing termination in LOTOS via testing.
PSTV 1995: 237-250 |
| 1994 |
|---|
| 1 | | Luis A. Galán,
Manuel Núñez,
Cristóbal Pareja,
Ricardo Pena:
Non Homomorphic Reductions of Data Structures.
GULP-PRODE (2) 1994: 393-407 |
