09:45 - 17:45 - Building G Welcome Desk & Registration
10:15 - 11:45 - Room G13 Parallel Session 6 - Models - ICSOFT-PT
  • 8: Semantic Version Management based on Formal Certification Jean-Yves Vion-Dury and Nikolaos Lagos
  • 9: Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach Lorenzo Bettini and Pierluigi Crescenzi
  • 18: Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui and Georg Frey
10:15 - 11:45 - Room G12 Parallel Session 6 - Software Engineering Methods and Techniques & Distributed and Mobile Software Systems - ICSOFT-EA
  • 9: Reverse Engineering an IPhone Applications using Dynamic Analysis Philippe Dugerdil and Roland Sako
  • 43: Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems Fatma Dhaou, Ines Mouakher, Christian Attiogbé and Khaled Bsaies
  • 94: Spatio-Temporal Normalization of Data from Heterogeneous Sensors Alessio Fanelli, Daniela Micucci, Marco Mobilio and Francesco Tisato
11:45 - 12:00 - Building K Coffee-Break
12:00 - 13:15 - Plenary G Industrial Panel

"Big data and efficient software: a new make or buy dilemma on data and software quality"

Chiara Francalanci, Politecnico di Milano, Italy

Mirco Veltri, SAP, Italy
Dario Regazzoni, EMC2, Italy
Anastasios Zafeiropoulos, Ubitech Ltd., Greece
Pascal Jansen, Thoughtworks, Italy
13:15 - 14:30 - Building RU Lunch
14:30 - 15:30 - Room G13 Parallel Session 7 - Software Engineering Methods and Techniques - ICSOFT-EA
  • 23: Change Effort Estimation based on UML Diagrams Application in UCP and COCOMOII Dhikra Kchaou, Nadia Bouassida and Hanene Ben-Abdallah
  • 83: Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems Bruno Mermet and Gaële Simon
  • 98: A UML KPI Profile for Energy Aware Design and Monitoring of Cloud Services Christophe Ponsard and Jean-Christophe Deprez
15:30 - 16:15 - Building K Coffee-Break
15:30 - 16:30 - Building K Posters Session 2
  • 5: Reactivity and Social Cooperation in a Multi-Robot System Atef Gharbi, Nadhir Ben Halima and Hamza Gharsellaoui
  • 8: How does Oracle Database In-Memory Scale out? Niloy Mukherjee, Kartik Kulkarni, Hui Jin, Jesse Kamp and Tirthankar Lahiri
  • 13: Business Modeling of a Measurement-based Context: A Methodological Process Giulio D'Emilia, Gaetanino Paolone, Emanuela Natale, Antonella Gaspari and Denis Del Villano
  • 24: A Domain Specific Platform for Engineering Well Founded Measurement Applications Florent Bourgeois, Philippe Studer, Bernard Thirion and Jean-Marc Perronne
  • 55: ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems Hanen Grichi, Olfa Mosbahi and Mohamed Khalgui
  • 62: Design and Implementation of Multiple Fiber Online Monitoring of and Fault Automatic Detecting System Wanchang Jiang, Liang Zhao and Shengda Wang
  • 67: Parallel Applications and On-chip Traffic Distributions: Observation, Implication and Modelling Thomas Canhao Xu, Jonne Pohjankukka, Paavo Nevalainen, Ville Leppänen and Tapio Pahikkala
  • 68: Towards a Unified Platform for Agent-based Cloud Robotics Francisca Rosique, Pedro Sánchez, Diego Alonso and Juan Antonio López
  • 72: Using Aspect-Oriented Approach for Software Product Line Development Lei Tan and Yuqing Lin
  • 92: Formalization of Secure Service Oriented Product Line Ines Achour, Lamia Labed and Henda Ben Ghezala
  • 93: Iterative Mapreduce MPI Oil Reservoir Simulator Madina Mansurova, Darkhan Akhmed-Zaki, Adai Shomanov, Bazargul Matkerim and Ermek Alimzhanov
  • 96: Wise Objects for Calm Technology Ilham Alloui, David Esale and Flavien Vernier
16:30 - 17:30 - Plenary G Keynote Lecture Connecting Services to the Web of Data John Domingue, The Open University, United Kingdom
17:30 - 17:45 - Plenary G Closing Session
17:45 - 18:15 - Building K Farewell Drink