Keynote talk on Event-based Communication

The slides from a keynote talk on "Modeling of Event-based Communication in Component-based Architectures" presented at FESCA @ ETAPS 2012 are now available for download.

A keynote talk on "Modeling of Event-based Communication in Component-based Architectures" was presented by Samuel Kounev at the 9th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA @ ETAPS 2012), Satellite event of ETAPS, Tallinn, Estonia, March 31, 2012.

The keynote summarizes the work done by Christoph Rathfelder from the Descartes Research Group as part of his PhD thesis on "Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation" supervised by Samuel Kounev.

The keynote slides can be downloaded here.

The following paper was published in the FESCA @ ETAPS 2012 proceedings which will appear in a special issue of the Electronic Notes in Theoretical Computer Science (ENTCS):

Samuel Kounev, Christoph Rathfelder, and Benjamin Klatt. Modeling of Event-based Communication in Component-based Architectures. In 9th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA @ ETAPS 2012), Electronic Notes in Theorethical Computer Science (ENTCS), Satellite event of ETAPS, Tallinn, Estonia, March 31, 2012. [ bib | slides | http | .pdf ]