| 2014 | Knowledge Engineering or Conformism Engineering? | Xavier Aim, Jean Charlet |
| 2014 | Towards Formal Reasoning about Molecular Pathways in HOL. | Sohaib Ahmad, Osman Hasan, Umair Siddique |
| 2014 | An Integrated Eclipse Plug-In for Engineering and Implementing Self-Adaptive Systems. | Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli |
| 2014 | Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. | Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul |
| 2014 | Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. | Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane |
| 2014 | A Collaborative Process for Developing Secure Component Based Applications. | Rahma Bouaziz, Slim Kallel, Bernard Coulette |
| 2013 | CPS Track Report. | ZhangBing Zhou, Walid Gaaloul, Jianwei Niu |
| 2013 | Decentralized Resource Coordination across Service Workflows in a Cloud Environment. | Yi Wei, M. Brian Blake |
| 2013 | Coupling Case Based Reasoning and Process Mining for a Web Based Crisis Management Decision Support System. | Sameh Triki, Narjs Bellamine Ben Saoud, Julie Dugdale, Chihab Hanachi |
| 2013 | From Event-B Specifications to Programs for Distributed Algorithms. | Mohamed Tounsi, Mohamed Mosbah, Dominique Mry |
| 2013 | An Approach for Modeling and Formalizing SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | MADYNE Track Report. | Sad Tazi, Nawal Guermouche |
| 2013 | Checking Non-functional Properties of UML2.0 Components Assembly. | Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech |
| 2013 | CAGing Track Report. | Patricia Stolf, Thierry Monteil |
| 2013 | Platform for General-Purpose Distributed Data-Mining on Large Dynamic Graphs. | Matthias Steinbauer, Gabriele Kotsis |
| 2013 | Scalable and Configurable Monitoring System for Cloud Environments. | Antonella Di Stefano, Giovanni Morana, Daniele Zito |
| 2013 | Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. | Mohammad Hadi Soudkhah, Ryszard Janicki |
| 2013 | A Data Management in a Private Cloud Storage Environment Utilizing High Performance Distributed File Systems. | Tiago S. Soares, Mario A. R. Dantas, Douglas D. J. de Macedo, Michael A. Bauer |
| 2013 | A Delayed Checkpoint Approach for Communication-Induced Checkpointing in Autonomic Computing. | Alberto Calixto Simon, Sal E. Pomares Hernndez, Jose Roberto Perez Cruz |
| 2013 | Agent Behaviour Monitoring in Virtual Organizations. | Mahdieh Shadi, Hamideh Afsarmanesh, Mehdi Dastani |
| 2013 | CKDD Track Report. | Ilias K. Savvas, M. Tahar Kechadi |
| 2013 | CT2CM Track Report. | Narjs Bellamine Ben Saoud, Franois Charoy, Chihab Hanachi, Serge Stinckwich |
| 2013 | Application of Equivalence Checking in a Loan Origination Process in Banking Industry. | Antonella Santone, Valentina Intilangelo, Domenico Raucci |
| 2013 | A Decision Method for Business Process Outsourcing Based on Enterprise Context. | Mouna Rekik, Khouloud Boukadi, Hanne Ben-Abdallah |
| 2013 | Cost/Performance Evaluation for Cloud Applications Using Simulation. | Massimiliano Rak, Antonio Cuomo, Umberto Villano |