Marcela Rivera

According to our database, Marcela Rivera authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

An Asynchronous Distributed Component Model and Its Semantics.

Ludovic Henrio, Florian Kammüller, Marcela Rivera

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.

Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Model-checking Distributed Components: The Vercors Platform.

Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006