| 2015 | CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2015 | A Self-Optimized Storage for Distributed Data as a Service. | Klaithem Al Nuaimi, Nader Mohamed, Mariam Al Nuaimi, Jameela Al-Jaroodi |
| 2015 | Web2Touch 2015 Track Report: Modeling the Collaborative Web Knowledge. | Olga Nabuco, Rodrigo Bonacin, Mariagrazia Fugini |
| 2015 | Cognitive Application Area Networks: A New Paradigm for Distributed Computing and Intelligent Service Orchestration. | Rao Mikkilineni, Giovanni Morana, Daniele Zito |
| 2015 | Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2015 | CDCGM 2015 Track Report: Convergence of Distributed Clouds, Grids and their Management. | Fabrizio Messina, Rao Mikkilineni, Giovanni Morana |
| 2015 | Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition. | Raoudha Maraoui, Bechir Ayeb |
| 2015 | Analyzing Social Web Services' Capabilities. | Zakaria Maamar, Hamdi Yahyaoui, Azzam Mourad, Mohamed Sellami |
| 2015 | Collaborative Enterprise Applications Based on Business and Social Artifacts. | Zakaria Maamar, Vanilson Arruda Burgio, Mohamed Sellami |
| 2015 | Formal Modeling for Verifying SCA Dynamic Composition with Event-B. | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
| 2015 | Contrology - An Ontology-Based Cloud Assurance Approach. | Ulrich Koinig, Simon Tjoa, Jungwoo Ryoo |
| 2015 | Engineering Self-Adaptive Systems with the Role-Based Architecture of Helena. | Annabelle Klarl |
| 2015 | A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2015 | AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. | Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2015 | FISA 2015 Track Report: Future Internet Services and Applications. | Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre |
| 2015 | Collaborative Infrastructure for On-Demand Crowdsourced Tasks. | Julian Jarrett, M. Brian Blake |
| 2015 | CSP 2015 Track Report: Collaborative Software Processes. | Yassine Jamoussi, Bernard Coulette |
| 2015 | Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2015 | Understanding the Effect of Multiple Factors on a Parallel File System's Performance. | Eduardo Camilo Inacio, Larcio Lima Pilla, Mrio Antnio Ribeiro Dantas |
| 2015 | Towards an Architecture for End-to-End-Encrypted File Synchronization Systems. | Christian Hoffmann, Christoph Brand, Steffen Heinzl |
| 2015 | ATP: An Aggregation and Transmission Protocol for Conserving Energy in Periodic Sensor Networks. | Hassan Harb, Abdallah Makhoul, Raphal Couturier, Maguy Medlej |
| 2015 | Impact Analysis of Process Change at Run-Time. | Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agns Front, Claudia Roncancio |
| 2015 | MADYNE 2015 Track Report: Management of Dynamic Networked Enterprises. | Nawal Guermouche, Sad Tazi |
| 2015 | FVSBS 2015 Track Report: Formal Verification of Service Based Systems. | Mohamed Graiet, Kais Klai |
| 2015 | Privacy-Aware Cloud Services Composition. | Samer Abdul Ghafour, Parisa Ghodous, Christine Bonnet |