 | 2009 |
|---|
| 67 |       | Ismael Rodríguez:
A General Testability Theory.
CONCUR 2009: 572-586 |
| 66 | | Gregorio Díaz,
Ismael Rodríguez:
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.
FMOODS/FORTE 2009: 231-236 |
| 65 | | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
A Formal Approach to Heuristically Test Restorable Systems.
ICTAC 2009: 292-306 |
| 64 | | Gregorio Díaz,
Ismael Rodríguez:
Automatically Deriving Choreography-Conforming Systems of Services.
IEEE SCC 2009: 9-16 |
| 63 | | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Applying Evolutionary Computation Methods to Formal Testing and Model Checking.
IWANN (1) 2009: 310-317 |
| 62 | | Pablo Rabanal,
Ismael Rodríguez:
Testing Restorable Systems by Using RFD.
IWANN (1) 2009: 351-358 |
| 61 | | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Applying River Formation Dynamics to Solve NP-Complete Problems.
Nature-Inspired Algorithms for Optimisation 2009: 333-368 |
| 60 | | Mercedes Hidalgo-Herrero,
Ismael Rodríguez,
Fernando Rubio:
Comparing Learning Methods.
IJCINI 3(3): 12-26 (2009) |
| 2008 |
|---|
| 59 | | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics.
ANTS Conference 2008: 60-71 |
| 58 | | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
A Debugger for Parallel Haskell Dialects.
ICA3PP 2008: 282-293 |
| 57 | | César Andrés,
Ismael Rodríguez,
Fernando Rubio:
Formally Testing Liveness by Means of Compression Rates.
PPSN 2008: 347-357 |
| 56 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
THOTL: A Timed Extension of HOTL.
TestCom/FATES 2008: 86-102 |
| 55 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal testing from timed finite state machines.
Computer Networks 52(2): 432-460 (2008) |
| 54 | | 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) |
| 53 | | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Testing the Behaviour of Entities in a Cognitive Language.
IJCINI 2(1): 29-43 (2008) |
| 52 | | Ismael Rodríguez,
Mercedes G. Merayo,
Manuel Núñez:
HOTL: Hypotheses and observations testing logic.
J. Log. Algebr. Program. 74(2): 57-93 (2008) |
| 2007 |
|---|
| 51 | | Ismael Rodríguez,
Manuel Núñez:
A Formal Methodology to Test Complex Heterogeneous Systems.
ATVA 2007: 394-409 |
| 50 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
A Brief Introduction to THOTL.
ATVA 2007: 501-510 |
| 49 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time.
EPEW 2007: 63-79 |
| 48 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts.
EPEW 2007: 97-111 |
| 47 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines.
FSEN 2007: 160-174 |
| 46 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs.
FSEN 2007: 318-333 |
| 45 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Generation of optimal finite test suites for timed systems.
TASE 2007: 149-158 |
| 44 | | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Using River Formation Dynamics to Design Heuristic Algorithms.
UC 2007: 163-177 |
| 43 | | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Cognitive Processes by Using Finite State Machines.
IJCINI 1(3): 52-65 (2007) |
| 42 | | 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 |
|---|
| 41 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Assessing the Expressivity of Formal Specification Languages.
AMAST 2006: 220-234 |
| 40 | | Mercedes G. Merayo,
Manuel Núñez,
Ismael Rodríguez:
Implementation Relations for Stochastic Finite State Machines.
EPEW 2006: 123-137 |
| 39 | | 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 |
| 38 | | 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 |
| 37 | | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Testing Entities in a Parallel Cognitive Language.
IEEE ICCI 2006: 344-355 |
| 36 | | Natalia López,
Manuel Núñez,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Market-Based Adaptive Discussion Forums.
SITIS 2006: 149-160 |
| 35 | | Ismael Rodríguez,
Mercedes G. Merayo,
Manuel Núñez:
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
TestCom 2006: 39-54 |
| 34 | | Luis Fernando Llana Díaz,
Manuel Núñez,
Ismael Rodríguez:
Customized Testing for Probabilistic Systems.
TestCom 2006: 87-102 |
| 33 | | 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) |
| 32 | | 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 |
|---|
| 31 | | Manuel Núñez,
Ismael Rodríguez:
Conformance Testing Relations for Timed Systems.
FATES 2005: 103-117 |
| 30 | | Mercedes Hidalgo-Herrero,
Ismael Rodríguez,
Fernando Rubio:
Testing learning strategies.
IEEE ICCI 2005: 212-221 |
| 29 | | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
Testing Speculative Work in a Lazy/Eager Parallel Functional Language.
LCPC 2005: 274-288 |
| 28 | | Ismael Rodríguez,
Natalia López:
Implementing private Vickrey auctions.
SAC 2005: 796-800 |
| 27 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Formal specification of multi-agent e-barter systems.
Sci. Comput. Program. 57(2): 187-216 (2005) |
| 26 | | 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 |
|---|
| 25 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.
AIMSA 2004: 361-370 |
| 24 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems.
FATES 2004: 49-63 |
| 23 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Formal Specification of Symbolic-Probabilistic Systems.
FORTE Workshops 2004: 114-127 |
| 22 | | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Specification of Autonomous Agents in E-commerce Systems.
FORTE Workshops 2004: 30-44 |
| 21 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Testing of Autonomous Agents Described as Utility State Machines.
FORTE Workshops 2004: 322-336 |
| 20 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Applying Occam's Razor to FSMs.
IEEE ICCI 2004: 138-147 |
| 19 | | Fernando Rubio,
Ismael Rodríguez:
A Parallel Language for Cognitive Informatics.
IEEE ICCI 2004: 32-41 |
| 18 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Formal Framework to Reduce Communications in Communication Systems.
IICS 2004: 69-80 |
| 17 | | Ismael Rodríguez:
Formal specification of autonomous commerce agents.
SAC 2004: 774-778 |
| 16 | | 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 |
| 15 | | 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) |
| 14 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Improving privacy in Vickrey auctions.
SIGecom Exchanges 5(1): 1-12 (2004) |
| 2003 |
|---|
| 13 | | Manuel Núñez,
Ismael Rodríguez:
Towards Testing Stochastic Timed Systems.
FORTE 2003: 335-350 |
| 12 | | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Towards the Identification of Living Agents in Complex Computational Environments.
IEEE ICCI 2003: 151-160 |
| 11 | | Natalia López,
Ismael Rodríguez,
Fernando Rubio:
Defining Meta-Adaptable Living Agents.
IEEE ICCI 2003: 161-170 |
| 10 | | Fernando Rubio,
Ismael Rodríguez:
A Parallel Framework for Computational Science.
International Conference on Computational Science 2003: 1002-1011 |
| 9 | | Ismael Rodríguez,
Manuel Núñez:
Introducing CEES: Complex Economic Environments Simulator.
International Conference on Computational Science 2003: 658-667 |
| 8 |  | 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 |
| 7 | | Ismael Rodríguez,
Fernando Rubio:
A Framework for Selecting Components Automatically: A First Approach.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 2002 |
|---|
| 6 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA 2002: 71-80 |
| 5 | | Manuel Núñez,
Ismael Rodríguez:
Encoding PAMR into (Timed) EFSMs.
FORTE 2002: 1-16 |
| 4 | | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Introducing the Golden Section to Computer Science.
IEEE ICCI 2002: 203-212 |
| 3 | | 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 |
| 2 | | 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 |
|---|
| 1 | | Manuel Núñez,
Ismael Rodríguez:
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.
FORTE 2001: 169-184 |
