Joint Conference Program - Wednesday July 22
MondayTuesdayWednesday
09:45
09:45 - 17:45 - Building G Welcome Desk & Registration
10:15
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
11:45 - 12:00 - Building K Coffee-Break
12:00
12:00 - 13:15 - Plenary G Industrial Panel

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

Chair:
Chiara Francalanci, Politecnico di Milano, Italy

Panelists:
Mirco Veltri, SAP, Italy
Dario Regazzoni, EMC2, Italy
Anastasios Zafeiropoulos, Ubitech Ltd., Greece
Pascal Jansen, Thoughtworks, Italy
13:15
13:15 - 14:30 - Building RU Lunch
14:30
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
15:30 - 16:15 - Building K Coffee-Break
15:30
15:30 - 16:30 - Building K Posters Session 2
ICSOFT-EA
  • 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
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:30 - 17:45 - Plenary G Closing Session
17:45
17:45 - 18:15 - Building K Farewell Drink