Ismael Rodríguez

Testing finite state machines presenting stochastic time and timeouts ⋆ (2008)

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Abstract. In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate...

A brief introduction to THOTL ⋆ (2008)

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Abstract. In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of...

Formal specification of multi-agent systems by using EUSMs ⋆ (2008)

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Abstract. The behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has...

Testing Speculative Work in a Lazy/Eager Parallel Functional Language ⋆ (2008)

Ismael Rodríguez, O Rubio, Facultad Informática

Abstract Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to enable the...

No desearás la mujer de tu hijo / Realización de I. Rodríguez. (2007)

Rodríguez, Ismael (realización), Infante, Pedro (actuación), Llano, Amanda Del (actuación), Serret, Virginia (actuación)

Don Cruz, es una persona de edad avanzada que se quiere dejar morir por el remordimiento ante la muerte de su esposa, sin embargo su decisión es cambiada ante la presencia de Polita, una joven mujer...

Implementation relations for stochastic finite state machines (2006)

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Abstract. We present a timed extension of the classical finite state machines model where time is introduced in two ways. On the one hand, timeouts can be specified, that is, we can express that if...

La Cucaracha (1959)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Celis, José Luis (guión), Garibay, Ricardo (guión), Figueroa, Gabriel (fotografía), Lavista, Raúl (música), ...

Trigésimo quinto largometraje como director de la larga filmografía de Ismael Rodríguez, recordada principalmente por ser la única ocasión en que compartieran la pantalla la sonorense María...

Así era Pancho Villa : cuentos de Pancho Villa (1957)

Rodríguez, Ismael (realización), Celis, José Luis (guión), Pérez, Rafael A. (guión), Rodríguez, Ismael (guión), Solano, Rosalío (fotografía), Lavista, Raúl (música), ...

A través de siete cuentos se muestran diversos rasgos de la personalidad del Caudillo del Norte y sus huestes: No matarás; El hereje; Boda macabra; ¡Qué lindo pelao!; Las mujeres de mi general;...

[Amor indio] (1957)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Phillips, Alex (fotografía), Martínez, Fernando (montaje), Lavista, Raúl (música), ...

Festival Internacional de Cine de Berlín (7º: 1957): Premio a la Mejor Actuación Masculina (Oso de Plata)

Así era Pancho Villa : cuentos de Pancho Villa / Realización de I. Rodríguez. (1957)

Rodríguez, Ismael (realización), Celis, José Luis (guión), Pérez, Rafael A. (guión), Rodríguez, Ismael (guión), Solano, Rosalío (fotografía), Lavista, Raúl (música), ...

A través de siete cuentos se muestran diversos rasgos de la personalidad del Caudillo del Norte y sus huestes: No matarás; El hereje; Boda macabra; ¡Qué lindo pelao!; Las mujeres de mi general;...

Pepe el Toro (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Torres, Ignacio (fotografía), Esperón, Manuel (música), Infante, Pedro (actuación), ...

Tercera parte de la serie Nosotros los pobres-Ustedes los ricos. En ésta, Pepe el Toro busca trabajo como boxeador, y con la ayuda de un amigo, consigue peleas en provincia. Como parte de las...

Del rancho a la televisión (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Draper, Jack (fotografía), Esperón, Manuel (música), Aguilar, Luis (actuación), ...

Un joven provinciano llega a la ciudad de México con la ilusión de triunfar como cantante en la televisión. Su sueño es posible gracias al apoyo y amistad que le brindan una muchacha y su padre,...

Dos tipos de cuidado (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Figueroa, Gabriel (fotografía), Schoemann, Gloria (montaje), Esperón, Manuel (música), ...

El largometraje número 21 de los 61 que integran la filmografía dirigida por el mexicano Ismael Rodríguez (1917-2004) fue también la décimo cuarta de las 16 películas de su fructífera...

Pepe el Toro / Realización de I. Rodríguez. (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Torres, Ignacio (fotografía), Martínez, Fernando (montaje), Esperón, Manuel (música), ...

Tercera y última entrega de la serie de películas protagonizada por el personaje de Pepe el Toro. En ésta, el antes carpintero y hoy viudo busca trabajo como boxeador, y con la ayuda de un amigo,...

Del rancho a la televisión / Realización de I. Rodríguez. (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Draper, Jack (fotografía), Esperón, Manuel (música), Aguilar, Luis (actuación), ...

Un joven provinciano llega a la ciudad de México con la ilusión de triunfar como cantante en la televisión. Su sueño es posible gracias al apoyo y amistad que le brindan una muchacha y su padre,...

Dos tipos de cuidado (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Figueroa, Gabriel (fotografía), Schoemann, Gloria (montaje), Esperón, Manuel (música), ...

El largometraje número 21 de los 61 que integran la filmografía dirigida por el mexicano Ismael Rodríguez (1917-2004) fue también la décimo cuarta de las 16 películas de su fructífera...

Pepe el Toro (1952)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Orellana, Carlos (guión), Torres, Ignacio (fotografía), Martínez, Fernando (montaje), Esperón, Manuel (música), ...

Tercera y última entrega de la serie de películas protagonizada por el personaje de Pepe el Toro. En ésta, el antes carpintero y hoy viudo busca trabajo como boxeador, y con la ayuda de un amigo,...

Qué te ha dado esa mujer (1951)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Urdimalas, Pedro De (Jesús Camacho Villaseñor) (guión), Draper, Jack (fotografía), Lavista, Raúl (música), Infante, Pedro (actuación), ...

Continuación de A toda máquina, en que la relación entre los personajes interpretados por Pedro Infante y Luis Aguilar se ve amenazada por una mujer: cuando la novia del segundo muestra interés...

A toda máquina = ATM (1951)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Urdimalas, Pedro De (Jesús Camacho Villaseñor) (guión), Draper, Jack (fotografía), Lavista, Raúl (música), Infante, Pedro (actuación), ...

Pedro Infante encarna a un vagabundo con mala suerte; Luis Aguilar interpreta a un motociclista de tránsito. Sus vidas cambian cuando se conocen y trabajan ambos como motociclistas, dando así...

Los tres huastecos (1949)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), González, Rogelio A. (guión), Stahl, Jorge (fotografía), Lavista, Raúl (música), Infante, Pedro (actuación), ...

Pedro Infante interpreta a unos triates con personalidades muy distintas: el bandolero duro, el militar mujeriego y el sacerdote bonachón. Entre los tres confunden al criminal que incrimina al...

Ustedes los ricos (1948)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Urdimalas, Pedro De (Jesús Camacho Villaseñor) (guión), Ortiz Ramos, José (fotografía), Esperón, Manuel (música), Infante, Pedro (actuación), ...

Segunda parte de la serie Nosotros los pobres-Ustedes los ricos. Cuando Pepe el Toro está felizmente casado, su sobrina decide irse a vivir con su padre rico. En el mismo período, Pepe el Toro y su...

Los tres huastecos / Realización de I. Rodríguez. (1948)

Rodríguez, Ismael (realización), González, Rogelio A. (guión), Rodríguez, Ismael (guión), Martínez, Fernando (montaje), Lavista, Raúl (música), ...

Pedro Infante interpreta a unos triates con personalidades muy distintas: el bandolero duro, el militar mujeriego y el sacerdote bonachón. Entre los tres confunden al criminal que incrimina al...

Ustedes los ricos / Realización de I. Rodríguez. (1948)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), González, Rogelio A. (guión), Ortiz Ramos, José (fotografía), Martínez, Fernando (montaje), Esperón, Manuel (música), ...

Segunda entrega de la trilogía protagonizada por el personaje de Pepe el Toro. Cuando Pepe el Toro está felizmente casado, su sobrina decide irse a vivir con su padre rico. En el mismo período,...

Los tres huastecos (1948)

Rodríguez, Ismael (realización), González, Rogelio A. (guión), Rodríguez, Ismael (guión), Martínez, Fernando (montaje), Lavista, Raúl (música), ...

Pedro Infante interpreta a unos triates con personalidades muy distintas: el bandolero duro, el militar mujeriego y el sacerdote bonachón. Entre los tres confunden al criminal que incrimina al...

Nosotros los pobres (1947)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Urdimalas, Pedro De (Jesús Camacho Villaseñor) (guión), González Dueñas, Carlos (guión), Ortiz Ramos, José (fotografía), Esperón, Manuel (música), ...

Primera parte de la trilogía de Pepe el Toro. Alrededor de éste y de su sobrina gira la vida de un vecindario humilde en la Ciudad de México. La cotidianidad se interrumpe cuado el carpintero es...

Nosotros los pobres (1947)

Rodríguez, Ismael (realización), Urdimalas, Pedro De (Jesús Camacho Villaseñor) (guión), Rodríguez, Ismael (guión), González Dueñas, Carlos (guión), Ortiz Ramos, José (fotografía), Martínez, Fernando (montaje), ...

Festival Internacional de Cine de San Sebastián (37º: 1989): Participante mexicana, sección retrospectiva Grandes Melodramas de América Latina

Los tres García (1946)

Rodríguez, Ismael (realización), Rodríguez, Ismael (guión), Méndez, Fernando (guión), Orellana, Carlos (guión), Fischer, Ross (fotografía), Portillo, Rafael (montaje), ...

En un pequeño pueblo de México viven tres primos, quienes rivalizan en todos los actos cotidianos y tienen deseos de vengar la muerte de sus respectivos padres en la figura de los hijos de los...

¡¡¡Mátenme porque me muero!!! / Realización de I. Rodríguez.

Rodríguez, Ismael (realización), Valdés, Germán (Tin Tan) (actuación), Pulido, Oscar (actuación), Chávez, Marcelo (actuación)

Tin Tan ha ganado la lotería y planea dar ese dinero a un orfanatorio. Un par de bribones prefieren quedarse ellos con la ganancia, por lo que le hacen creer que tiene una enfermedad incurable y que...