| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo |
A centralized and a decentralized method to automatically derive choreography-conforming web service systems.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. |
Evolutionary Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez |
A Preliminary General Testing Method Based on Genetic Algorithms. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz |
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Web services composition, Conformance, FSM, WS-BPEL, WS-CDL |
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying RFD to Construct Optimal Quality-Investment Trees. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying River Formation Dynamics to the Steiner Tree Problem. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio |
Comparing Learning Methods. |
IJCINI |
2009 |
DBLP BibTeX RDF |
|
| 1 | César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez |
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying River Formation Dynamics to Solve NP-Complete Problems. |
Nature-Inspired Algorithms for Optimisation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez |
A General Testability Theory. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, Ismael Rodríguez |
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
A Formal Approach to Heuristically Test Restorable Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, Ismael Rodríguez |
Automatically Deriving Choreography-Conforming Systems of Services. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez |
Hybridizing River Formation Dynamics and Ant Colony Optimization. |
ECAL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying Evolutionary Computation Methods to Formal Testing and Model Checking. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez |
Testing Restorable Systems by Using RFD. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Testing the Behaviour of Entities in a Cognitive Language. |
IJCINI |
2008 |
DBLP 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 | César Andrés, Ismael Rodríguez, Fernando Rubio |
Formally Testing Liveness by Means of Compression Rates. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
Artificial Life, Compression Algorithms, Maximum Entropy Principle |
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. |
ANTS Conference |
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 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio |
A Debugger for Parallel Haskell Dialects. |
ICA3PP |
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 | 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, 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 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Using River Formation Dynamics to Design Heuristic Algorithms. |
UC |
2007 |
DBLP DOI BibTeX RDF |
Nature-based Algorithms, Ant Colony Optimization Algorithms, Traveling Salesman Problem, Heuristic Algorithms |
| 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 | Ismael Rodríguez, Natalia López |
Analyzing the Privacy of a Vickrey Auction Mechanism. |
IJEBR |
2006 |
DBLP 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 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Assessing the Expressivity of Formal Specification Languages. |
AMAST |
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 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Testing Entities in a Parallel Cognitive Language. |
IEEE ICCI |
2006 |
DBLP DOI 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 | 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 | Ismael Rodríguez, Natalia López |
Implementing private Vickrey auctions. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
privacy, Vickrey auctions |
| 1 | Manuel Núñez, Ismael Rodríguez |
Conformance Testing Relations for Timed Systems. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio |
Testing learning strategies. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio |
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. |
LCPC |
2005 |
DBLP DOI 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 | Natalia López, Manuel Núñez, Ismael Rodríguez |
Formal Specification of Symbolic-Probabilistic Systems. |
FORTE Workshops |
2004 |
DBLP DOI 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 | Ismael Rodríguez |
Formal specification of autonomous commerce agents. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
formal methods, e-commerce |
| 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 | Fernando Rubio, Ismael Rodríguez |
A Parallel Language for Cognitive Informatics. |
IEEE ICCI |
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 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Fernando Rubio |
A Framework for Selecting Components Automatically: A First Approach. |
Electr. Notes Theor. Comput. Sci. |
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 | Fernando Rubio, Ismael Rodríguez |
A Parallel Framework for Computational Science. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Parallel computing, skeletons |
| 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 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Towards the Identification of Living Agents in Complex Computational Environments. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Ismael Rodríguez, Fernando Rubio |
Defining Meta-Adaptable Living Agents. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez |
Encoding PAMR into (Timed) EFSMs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Including Malicious Agents into a Collaborative Learning Environment. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
Distributed learning environments, cooperative systems |
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Introducing the Golden Section to Computer Science. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
Golden section, problem solving, bio-inspired algorithms |
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
WHAT: Web-Based Haskell Adaptive Tutor. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Education, e-learning, Intelligent Tutors |
| 1 | Manuel Núñez, Ismael Rodríguez |
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")