Ricardo Medel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

4EEEduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel: Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: 37-56
3EERicardo Medel, Adriana B. Compagnoni, Eduardo Bonelli: A Typed Assembly Language for Non-interference. ICTCS 2005: 360-374
2EEMartín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum: A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC 2004: 59-66
1EENina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48

Coauthor Index

1Jorge Aguirre [2]
2Nina Amla [1]
3Gabriel Baum (Gabriel A. Baum) [2]
4Francisco Bavera [2]
5Eduardo Bonelli [3] [4]
6Adriana B. Compagnoni [3] [4]
7Robert P. Kurshan [1]
8Kenneth L. McMillan [1]
9Martín Nordio [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)