| 2013 | PROMASC Track Report. | Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati |
| 2013 | Autonomic Energy-Aware Tasks Scheduling. | Tom Gurout, Mahdi Ben Alaya |
| 2013 | Knowledge as a Service Framework for Disaster Data Management. | Katarina Grolinger, Miriam A. M. Capretz, Emna Mezghani, Ernesto Exposito |
| 2013 | Kaqudai: A Dependable Web Infrastructure Made Out of Existing Components. | Rosario Giunta, Fabrizio Messina, Giuseppe Pappalardo, Emiliano Tramontana |
| 2013 | Application of Radio Frequency Identification for Museum Environment. | Romeo Giuliano, Franco Mazzenga, Marco Petracca, Francesco Vatalaro |
| 2013 | Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation. | Wafa Gabsi, Bechir Zalila |
| 2013 | Towards an Aspect Oriented Language Compliant with Real Time Constraints. | Wafa Gabsi, Rahma Bouaziz, Bechir Zalila |
| 2013 | Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. | Vincent Filou, Mohamed Mosbah, Mohamed Tounsi |
| 2013 | Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes. | Ibrahima Fall, Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc |
| 2013 | Towards the Formal Performance Analysis of Wireless Sensor Networks. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2013 | Graph-Based Formalism for Machine-to-Machine Self-Managed Communications. | Cdric Eichler, Ghada Gharbi, Nawal Guermouche, Thierry Monteil, Patricia Stolf |
| 2013 | AROSA Track Report. | Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez |
| 2013 | Mobility Management in the HIP-based M2M Overlay Network. | Amine Dhraief, Mohamed Amine Ghorbali, Tarek Bouali, Abdelfettah Belghith |
| 2013 | Surveying Collaborative and Content Management Platforms for Enterprise. | Salsabil Dhouib, Riadh Ben Halima |
| 2013 | Organizing Capabilities Using Formal Concept Analysis. | Wassim Derguech, Souleiman Hasan, Sami Bhiri, Edward Curry |
| 2013 | A Causal Graph Based Method to Evaluate e-Collaboration Scenarios. | Raoudha Chebil, Wided Lejouad Chaari, Stefano A. Cerri, Khaled Ghdira |
| 2013 | Modeling Elasticity Trade-Offs in Adaptive Mixed Systems. | Muhammad Z. C. Candra, Hong Linh Truong, Schahram Dustdar |
| 2013 | Combinatorial Validation Testing of Java Card Byte Code Verifiers. | Andrea Calvagna, Emiliano Tramontana |
| 2013 | VSC Track Report. | Andrea Calvagna, Emiliano Tramontana |
| 2013 | QoS-aware Automatic Web Service Composition based on Cooperative Agents. | Zaki Brahmi |
| 2013 | An Engineering Process for Security Patterns Application in Component Based Models. | Rahma Bouaziz, Slim Kallel, Bernard Coulette |
| 2013 | On Pairwise Comparisons Based Internal and External Measures for Software Evaluation. | Agnieszka D. Bogobowicz, Ryszard Janicki |
| 2013 | Collective Awareness for Human-ICT Collaboration in Smart Cities. | Nicola Bicocchi, Alket Cecaj, Damiano Fontana, Marco Mamei, Andrea Sassi, Franco Zambonelli |
| 2013 | ACEC Track Report. | Federico Bergenti, Giacomo Cabri, M. Brian Blake, Usman Wajid |
| 2013 | Application of a Wireless Sensor Network Technology Based on GPS for Structural Health Monitoring. | Michela Basili, Berta Buttarazzi, Kenji Oguni |