Ismael Rodríguez

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 37

Top Venues

SMC

CEC

IEEE Robotics Autom. Lett.

CoRR

Publications

Samuel Bustamante, Ismael Rodríguez, Gabriel Quere, Peter Lehner, Maged Iskandar, Daniel Leidner, Andreas Dömel, Alin Albu-Schäffer, Jörn Vogel, Freek Stulp
Feasibility Checking and Constraint Refinement for Shared Control in Assistive Robotics. IEEE Robotics Autom. Lett. 9 (9) (2024)
María García, Natalia López, Ismael Rodríguez
A full process algebraic representation of Ant Colony Optimization. Inf. Sci. 658 (2024)
Aitor Godoy, Ismael Rodríguez, Fernando Rubio
Voting according to one's political stances is difficult: Problems definition, computational hardness, and approximate solutions. J. Comput. Sci. 80 (2024)
Fernando Rubio, Ismael Rodríguez
Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. CoRR (2024)
Jianxiang Feng, Matan Atad, Ismael Rodríguez, Maximilian Durner, Stephan Günnemann, Rudolph Triebel
Density-based Feasibility Learning with Normalizing Flows for Introspective Robotic Assembly. CoRR (2023)
Matan Atad, Jianxiang Feng, Ismael Rodríguez, Maximilian Durner, Rudolph Triebel
Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. CoRR (2023)
Ismael Rodríguez, David Rubio, Fernando Rubio
Complexity of adaptive testing in scenarios defined extensionally. Frontiers Comput. Sci. 17 (3) (2023)
Matan Atad, Jianxiang Feng, Ismael Rodríguez, Maximilian Durner, Rudolph Triebel
Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. IROS (2023)
Aitor Godoy, Ismael Rodríguez, Fernando Rubio
Majority Problems: Formal Study and Practical Resolution. SMC (2023)
Javier Galiana, Ismael Rodríguez, Fernando Rubio
How to stop undesired propagations by using bi-level genetic algorithms. Appl. Soft Comput. 136 (2023)
Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68 (2022)
Aitor Godoy, Ismael Rodríguez, Fernando Rubio
On the hardness of finding good pacts. CEC (2022)
Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
A tool to certify dynamic benchmarks. SMC (2022)
Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. CEC (2022)
Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
A contract among autonomous agents to deal with egalitarian social welfare. ICCI*CC (2021)
Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
Measuring the benefits of lying in MARA under egalitarian social welfare. SMC (2020)
Ismael Rodríguez, Korbinian Nottensteiner, Daniel Leidner, Maximilian Durner, Freek Stulp, Alin Albu-Schäffer
Pattern Recognition for Knowledge Transfer in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 5 (2) (2020)
Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio
Introducing complexity to formal testing. J. Log. Algebraic Methods Program. 111 (2020)
Fernando Rubio, Ismael Rodríguez
Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. Complex. 2019 (2019)
Ismael Rodríguez, Korbinian Nottensteiner, Daniel Leidner, Michael Kaßecker, Freek Stulp, Alin Albu-Schäffer
Iteratively Refined Feasibility Checks in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 4 (2) (2019)
Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
The Problems of Selecting Problems. IWANN (2) (2019)
Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodríguez, Gaurav Trivedi
A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. SMC (2019)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Towards Applying River Formation Dynamics in Continuous Optimization Problems. IWANN (2) (2019)
Andrés Ferragut, Ismael Rodríguez, Fernando Paganini
Optimal timer-based caching policies for general arrival processes. Queueing Syst. Theory Appl. 88 (3-4) (2018)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Guest editorial. J. Syst. Inf. Technol. 20 (4) (2018)
Mauro Avila, Francisco Kiss, Ismael Rodríguez, Albrecht Schmidt, Tonja Machulla
Tactile sheets: using engraved paper overlays to facilitate access to a digital document's layout and logical structure. PETRA (2018)
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
A Parallel Swarm Library Based on Functional Programming. IWANN (1) (2017)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Applications of river formation dynamics. J. Comput. Sci. 22 (2017)
Ismael Rodríguez, Pablo Rabanal, Fernando Rubio
How to make a best-seller: Optimal product design problems. Appl. Soft Comput. 55 (2017)
Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces 53 (2017)
Ismael Rodríguez, Fernando Rubio, Pablo Rabanal
Automatic media planning: Optimal advertisement placement problems. CEC (2016)
Andrés Ferragut, Ismael Rodríguez, Fernando Paganini
Optimizing TTL Caches under Heavy-Tailed Demands. SIGMETRICS (2016)
Ismael Rodríguez, Andrés Ferragut, Fernando Paganini
Improving performance of multiple-level cache systems. LANCOMM@SIGCOMM (2016)
Patricia Pesado, Nicolás Galdámez, César Estrebou, Adrian Pousa, Ismael Rodríguez, Sebastián Rodríguez Eguren, Franco Chichizola, Ariel Pasini, Armando De Giusti
Experiences with Electronic Vote: Challenges and Solutions. ICEGOV (2016)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Assessing Metaheuristics by Means of Random Benchmarks. ICCS (2016)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. GECCO (Companion) (2015)
Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
. ICCS (2015)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
pHood: Tool Description, Analysis Techniques, and Case Studies. New Gener. Comput. 32 (1) (2014)
Ismael Rodríguez, Luis Llana, Pablo Rabanal
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng. 40 (9) (2014)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Parallelizing Particle Swarm Optimization in a Functional Programming Environment. Algorithms 7 (4) (2014)
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. ICCS (2013)
Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Comparing Problem Solving Strategies for NP-hard Optimization Problems. Fundam. Informaticae 124 (1-2) (2013)
Pablo Rabanal, Ismael Rodríguez
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. SAC (2013)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
An ACO-RFD hybrid method to solve NP-complete problems. Frontiers Comput. Sci. 7 (5) (2013)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. Formal Aspects Comput. 25 (5) (2013)
Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz
Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS (2012)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22 (8) (2012)
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. Algebraic Methods Program. 81 (2) (2012)
Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez
A Preliminary General Testing Method Based on Genetic Algorithms. IWANN (2) (2011)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. Evol. Intell. 4 (1) (2011)
Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS (2011)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Applying RFD to Construct Optimal Quality-Investment Trees. J. Univers. Comput. Sci. 16 (14) (2010)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Applying River Formation Dynamics to the Steiner Tree Problem. IEEE ICCI (2010)
Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio
Comparing Learning Methods. Int. J. Cogn. Informatics Nat. Intell. 3 (3) (2009)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) (2009)
Ismael Rodríguez
A General Testability Theory. CONCUR (2009)
Pablo Rabanal, Ismael Rodríguez
Hybridizing River Formation Dynamics and Ant Colony Optimization. ECAL (2) (2009)
Gregorio Díaz, Ismael Rodríguez
Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC (2009)
Pablo Rabanal, Ismael Rodríguez
Testing Restorable Systems by Using RFD. IWANN (1) (2009)
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. Algebraic Methods Program. 78 (6) (2009)
Gregorio Díaz, Ismael Rodríguez
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE (2009)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
A Formal Approach to Heuristically Test Restorable Systems. ICTAC (2009)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Solving Dynamic TSP by Using River Formation Dynamics. ICNC (1) (2008)
César Andrés, Luis Llana, Ismael Rodríguez
Formally comparing user and implementer model-based testing methods. ICST Workshops (2008)
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) (2008)
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74 (2) (2008)
César Andrés, Ismael Rodríguez, Fernando Rubio
Formally Testing Liveness by Means of Compression Rates. PPSN (2008)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
A Debugger for Parallel Haskell Dialects. ICA3PP (2008)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Testing the Behaviour of Entities in a Cognitive Language. Int. J. Cogn. Informatics Nat. Intell. 2 (1) (2008)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
THOTL: A Timed Extension of HOTL. TestCom/FATES (2008)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference (2008)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal testing from timed finite state machines. Comput. Networks 52 (2) (2008)
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13 (13) (2007)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW (2007)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Generation of optimal finite test suites for timed systems. TASE (2007)
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Using River Formation Dynamics to Design Heuristic Algorithms. UC (2007)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
. ATVA (2007)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN (2007)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN (2007)
Ismael Rodríguez, Manuel Núñez, Fernando Rubio
Cognitive Processes by Using Finite State Machines. Int. J. Cogn. Informatics Nat. Intell. 1 (3) (2007)
Natalia López, Manuel Núñez, Ismael Rodríguez
SPAMR: Extending PAMR with stochastic time. EPEW (2007)
Ismael Rodríguez, Manuel Núñez
A Formal Methodology to Test Complex Heterogeneous Systems. ATVA (2007)
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
From Theoretical e-barter Models to an Implementation Based on Web Services. Electron. Notes Theor. Comput. Sci. 159 (2006)
Natalia López, Ismael Rodríguez, Fernando Rubio
Defining and testing metaadaptable agents. IEEE Trans. Syst. Man Cybern. Syst. 36 (2) (2006)
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE (2006)
Natalia López, Manuel Núñez, Ismael Rodríguez
Assessing the Expressivity of Formal Specification Languages. AMAST (2006)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Testing Entities in a Parallel Cognitive Language. IEEE ICCI (2006)
Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Market-Based Adaptive Discussion Forums. SITIS (2006)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE (2006)
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom (2006)
Ismael Rodríguez, Natalia López
Analyzing the Privacy of a Vickrey Auction Mechanism. Int. J. E Bus. Res. 2 (3) (2006)
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Implementation Relations for Stochastic Finite State Machines. EPEW (2006)
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Customized Testing for Probabilistic Systems. TestCom (2006)
Natalia López, Manuel Núñez, Ismael Rodríguez
Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353 (1-3) (2006)
Manuel Núñez, Ismael Rodríguez
Specification-Based Testing of Real-Time Embedded Systems. IESS (2005)
Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS (2005)
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57 (2) (2005)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC (2005)
Manuel Núñez, Ismael Rodríguez
Conformance Testing Relations for Timed Systems. FATES (2005)
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. 15 (4) (2005)

Ismael Rodríguez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ismael Rodríguez