| 2013 | Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice. Fatih Gey, Stefan Walraven, Dimitri Van Landuyt, Wouter Joosen |
| 2013 | Compositional Development of BPMN. Peter Y. H. Wong |
| 2013 | Implementing Feature Interactions with Generic Feature Modules. Fuminobu Takeyama, Shigeru Chiba |
| 2013 | Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches. Wakana Takeshita, Shigeru Chiba |
| 2013 | Neverlang 2 - Componentised Language Development for the JVM. Walter Cazzola, Edoardo Vacchi |
| 2013 | Preserving Confidentiality in Component Compositions. Andreas Fuchs, Sigrid Gürgens |
| 2013 | Reusable Components for Lightweight Mechanisation of Programming Languages. Seyed H. Haeri, Sibylle Schupp |
| 2013 | Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification. José Sánchez, Gary T. Leavens |
| 2013 | Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings Walter Binder, Eric Bodden, Welf Löwe |
| 2013 | Verifying Data Independent Programs Using Game Semantics. Aleksandar S. Dimovski |