Towards an Architecture for Runtime Interoperability

Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville. Towards an Architecture for Runtime Interoperability. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 206-220, Springer, 2010. [doi]

Authors

Amel Bennaceur

This author has not been identified. Look up 'Amel Bennaceur' in Google

Gordon S. Blair

This author has not been identified. Look up 'Gordon S. Blair' in Google

Franck Chauvel

This author has not been identified. Look up 'Franck Chauvel' in Google

Gang Huang

This author has not been identified. Look up 'Gang Huang' in Google

Nikolaos Georgantas

This author has not been identified. Look up 'Nikolaos Georgantas' in Google

Paul Grace

This author has not been identified. It may be one of the following persons: Look up 'Paul Grace' in Google

Falk Howar

This author has not been identified. Look up 'Falk Howar' in Google

Paola Inverardi

This author has not been identified. Look up 'Paola Inverardi' in Google

Valérie Issarny

This author has not been identified. Look up 'Valérie Issarny' in Google

Massimo Paolucci

This author has not been identified. Look up 'Massimo Paolucci' in Google

Animesh Pathak

This author has not been identified. Look up 'Animesh Pathak' in Google

Romina Spalazzese

This author has not been identified. Look up 'Romina Spalazzese' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google

Bertrand Souville

This author has not been identified. Look up 'Bertrand Souville' in Google