Ricardo H. Medel

According to our database, Ricardo H. Medel authored at least 5 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2005

A Typed Assembly Language for Non-interference.

Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.

Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel

Proceedings of the Construction and Analysis of Safe, 2005

2004

A Framework for Execution of Secure Mobile Code based on Static Analysis.

Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

2003

Experimental Analysis of Different Techniques for Bounded Model Checking.

Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

1998

Our experiences teaching functional programming at University of Rio Cuarto (Argentina).

Ariel Ferreira Szpiniak, Carlos Daniel Luna, Ricardo H. Medel

ACM SIGCSE Bull., 1998