The Community for Technology Leaders
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) (2015)
Montreal, QC, Canada
May 4, 2015 to May 8, 2015
ISBN: 978-1-4503-3471-6
TABLE OF CONTENTS

[Front Cover] (PDF)

pp. i-x

A reconfigurable component model for HPC (Abstract)

Vincent Lanore , ENS de Lyon, LIP, ENS de Lyon, 46 allee d'Italie, 69364 Lyon Cedex 07, France
Christian Perez , Inria, LIP, ENS de Lyon, 46 allee d'Italie, 69364 Lyon Cedex 07, France
pp. 1-10

Measuring the superfluous functionality in software components (Abstract)

Marcus Kessel , University of Mannheim, 68131 Mannheim, Germany
Colin Atkinson , University of Mannheim, 68131 Mannheim, Germany
pp. 11-20

Change-driven consistency for component code, architectural models, and contracts (Abstract)

Max E. Kramer , Karlsruhe Institute of Technology, Karlsruhe, Germany
Michael Langhammer , Karlsruhe Institute of Technology, Karlsruhe, Germany
Dominik Messinger , Microsoft Canada, Development Centre Vancouver, Canada
Stephan Seifermann , FZI - Research Center for Information Technology, Karlsruhe, Germany
Erik Burger , Karlsruhe Institute of Technology, Karlsruhe, Germany
pp. 21-26

Refraction: low-cost management of reflective meta-data in pervasive component-based applications (Abstract)

Wilfried Daniels , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Jose Proenca , HASLab/INESC TEC, Universidade do Minho, Portugal
Dave Clarke , Computing Science Division, Uppsala University, Box 337, SE-751 05, Uppsala, Sweden
Wouter Joosen , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Danny Hughes , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
pp. 27-36

Real-time multi-core components for cyber-physical systems (Abstract)

Michael Wahler , ABB Corporate Research, Baden-Daettwil, Switzerland
Manuel Oriol , ABB Corporate Research, Baden-Daettwil, Switzerland
Aurelien Monot , ABB Corporate Research, Baden-Daettwil, Switzerland
pp. 37-42

Hitch hiker: a remote binding model with priority based data aggregation for wireless sensor networks (Abstract)

Gowri Sankar Ramachandran , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Wilfried Daniels , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
José Proença , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Sam Michiels , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Wouter Joosen , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Danny Hughes , iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium
Barry Porter , School of Computing and Communications, Lancaster University, Bailrigg, Lancaster LA1 4YW, United Kingdom
pp. 43-48

Object-oriented component-based design using behavioral contracts: application to railway systems (Abstract)

Sebti Mouelhi , SafeRiver, 92120, Montrouge, France
Khalid Agrou , UPMC Pro, 75005, Paris, France
Samir Chouali , FEMTO-ST, UMR CNRS 6174, 25030, Besançon, France
Hassan Mountassir , FEMTO-ST, UMR CNRS 6174, 25030, Besançon, France
Sebti Mouelhi , SafeRiver, 92120, Montrouge, France
Khalid Agrou , UPMC Pro, 75005, Paris, France
Samir Chouali , FEMTO-ST, UMR CNRS 6174, 25030, Besançon, France
Hassan Mountassir , FEMTO-ST, UMR CNRS 6174, 25030, Besançon, France
pp. 49-58

Employing domain knowledge for optimizing component communication (Abstract)

Michal Kit , Mathematics and Physics, Charles University in Prague, Prague, Czech Republic
Frantisek Plasil , Mathematics and Physics, Charles University in Prague, Prague, Czech Republic
Vladimir Matena , Mathematics and Physics, Charles University in Prague, Prague, Czech Republic
Tomas Bures , Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic
Ondrej Kovac , Mathematics and Physics, Charles University in Prague, Prague, Czech Republic
pp. 59-64

Architectural abstractions for hybrid programs (Abstract)

Ivan Ruchkin , Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA
Bradley Schmerl , Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA
David Garlan , Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA
pp. 65-74

Matchbox: a framework for dynamic configuration of service matching processes (Abstract)

Marie C. Platenius , Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany
Wilhelm Schafer , Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany
Svetlana Arifulina , Database and Information Systems, Department of Computer Science, University of Paderborn, Germany
pp. 75-84

A component model to manage the heterogeneity and dynamism in mobile applications (Abstract)

Clement Escoffier , Ubidreams, F-17000, La Rochelle, France
Philippe Lalanda , Grenoble University, LIG, F-38041, Grenoble, France
Ozan Gunalp , Grenoble University, LIG, F-38041, Grenoble, France
pp. 85-90

Quantitative schedulability analysis of continuous probability tasks in a hierarchical context (Abstract)

Jin Hyun Kim , INRIA/IRISA, Rennes
Abdeldjalil Boudjadar , Queen's University
Ulrik Nyman , Aalborg University
Marius Mikucionis , Aalborg University
Kim G. Larsen , Arne Skou, Aalborg University
Insup Lee , Linh Thi Xuan Phan, University of Pennsylvania
pp. 91-100

Complete composition operators for ioco-testing theory (Abstract)

Nikola Benes , Informatics, Masaryk University, Brno, Czech Republic
Przemyslaw Daca , IST Austria, Klosterneuburg, Austria
Thomas A. Henzinger , IST Austria, Klosterneuburg, Austria
Jan Kretinsky , IST Austria, Klosterneuburg, Austria
Dejan Nickovic , AIT Austrian Institute of Technology GmbH, Vienna, Austria
pp. 101-110

Stochastic contracts for runtime checking of component-based real-time systems (Abstract)

Chandrakana Nandi , Department of Computer, Science, ETH Zurich
Aurelien Monot , ABB Corporate Research
Manuel Oriol , ABB Corporate Research
pp. 111-116

Author index (PDF)

pp. 117
83 ms
(Ver 3.3 (11022016))