2005 Collaboration Evaluation

3rd Year Students

• Tomas BARROS. PhD student Project OASIS. Formal Specification and Verification of Distributed Component Systems (PDF)
• Mauricio REYES. PhD student Project EPIDAURE.
• Gonzalo ROBLEDO. PhD student Project COMORE.
• Mauricio ARAYA. PhD student Project TROPICS.

2nd Year Students

• Javier BUSTOS. PhD student Project OASIS. Balancing Active Objects on a P2P Infrastructure (PDF)
• Carlos GRANDON. PhD student Project COPRIN. Solving Distance CSP with Uncertainties (PDF)
• Nelson MORALES. PhD student Project MASCOTTE. Gathering in Radio Static Networks. (PDF)

1st Year Students

• Angela GANZ. PhD student Project OMEGA Approximating the Stationary Solution of the Mc-Kean Vlasov Equation (PDF)
• Marcelo MOISAN. PhD student Project COMORE. Interval Observers for Non Monotone Systems Application to Byoprocess Models. (PDF)
• Marcos ZUÑIGA. PhD student Project ORION.
• Alfredo ILLANES. PhD student Project SOSSO2 INRIA-Rennes.

Zero Year Students (Arriving students)

• Marcela RIVERA. Project OASIS. Efficient Automatic tools for model -cheking distributed Java applications (PDF)
• Maria José ESCOBAR
• Patricio REYES
• Antonio CANSADO. PhD student Project OASIS.
• Mario LEYTON. PhD student Project OASIS. Skeletons and Component Reconfiguration for the Grid. (PDF)

Offsite Students

• Vicente ACUNA
• Michel TESMER
• Carito VARGAS