Ismael Rodrı́guez

Formal testing from timed finite state machines

Mercedes G. Merayo, Manuel Núñez, Ismael Rodrı́guez · Computer Networks · 2007 · 89 citations

Engineering, Finite State Machines, Automated Reasoning +9

Optimizing TTL Caches under Heavy-Tailed Demands

Andrés Ferragut, Ismael Rodrı́guez, Fernando Paganini · 2016 · 47 citations

Distributed File System, Engineering, Computer Architecture +17

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

Mercedes G. Merayo, Manuel Núñez, Ismael Rodrı́guez · IEEE Transactions on Computers · 2008 · 45 citations

Engineering, Conformance Relations, Verification +21

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"> <mml:mrow> <mml:mi mathvariant="script">HOTL</mml:mi> </mml:mrow> </mml:math> : Hypotheses and observations testing logic

Ismael Rodrı́guez, Mercedes G. Merayo, Manuel Núñez · The Journal of Logic and Algebraic Programming · 2007 · 39 citations

Solving Dynamic TSP by Using River Formation Dynamics

Pablo Rabanal, Ismael Rodrı́guez, Fernando Rubio · 2008 · 35 citations

Gradient Orientation, Hydrogeology, Engineering +13