Paris (F)  CNAM du 10 au 12 Juin 2014

3ème Conférence en IngénieriE du Logiciel

Liste des papiers : Papiers Courts, Papiers Longs, Résumés Thèses, Papiers Conf. Inter, Démonstrations

Actes de la conférence CIEL2014

Programme au format pdf

 

CIEL 2014

Dates importantes :

Résumés :24/02/2014

Prolongé au 03/03/2014

Papiers:  : 3/03/2014

Prolongé au 10/03/2014

Notification: 14/04/2014

Prolongé au 30/04/2014

Ver.Finale: 28/05/2014

Conférence : 10-12/06/2014

Mardi 10 Juin 2014

 

 

10h30-11h

Pause café - accueil

11h-12h30

Ouverture de la conférence CIEL
Christelle Urtado, LGI2P / Ecole Nationale Supérieure des Mines d’Alès

Conférence invitée CAL/ CIEL,

Didier Donsez LIG

Internet des Choses, Cloud Computing et Big Data : nouvelles frontières pour le Génie Logiciel

 

Session 1 commune CIEL/CAL : Composants :
Abdelkader-Djamel  Seriai Université de Montpellier 2 - LIRMM

12h30–13h

Compatibility Checking for Asynchronously Communicating Software

 

Meriem Ouederni, Gwen Salaun and Tevfik Bultan

13h-14h

Repas

14h-15h30

Session 2 : IDM et validation:
Olivier Zendra, INRIA Nancy Grand Es

Une revue des techniques de vérification formelle pour la transformation de modèles : Une classification  tridimensionnelle

Moussa Amrani, Benoit Combemale, Pierre Kelsen et Yves Le Traon

Alignement de modèles métiers et applicatifs : Une approche pragmatique par transformations de modèles

Jonathan Pépin, Pascal André, Christian Attiogbe et Erwan Breton

Vers la vérification formelle de transformations de modèles orientées objet

Moussa Amrani, Pierre Kelsen et Yves Le Traon

15h30-16h

Pause Café

16h-18h

Session 3 commune CIEL/CAL : Cycle de vie des architectures logicielles
Noël Plouzeau,  Université de Rennes 1 - IRISA

Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA

Seza Adjoyan, Abdelhak-Djamel Seriai et Anas Shatnawi

Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels

Salim Kebir et Djamel Meslati

Génération de métaprogrammes Java à partir de contraintes architecturales OCL

Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony et Ahmed Hadj Kacem

Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux d’abstraction

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier et Huaxi Yulin Zhang

 

 

Mercredi 11 Juin 2014

 

 

9h-10h30

Ouverture officielle GDR

Conférence invitée CAL/CIEL/AFADL/GDR

Roland Ducourneau LIRMM
Les talons d’Achille de la programmation par objets

10h30-11h

Pause café

11h-13h

Session 4 :  Travaux de doctorants
Antoine Beugnard, Telecom Bretagne - IRISA et Pascal Poizat,  Université Paris Ouest Nanterre La Défense - LIP6

Framework for heterogeneous modeling and composition

Matias Vara Larsen, Julien Deantoni et Frédéric Mallet

Graphe de dépendance pour la recontextualisation de modèles

Paola Vallejo, Mickael Kerboeuf et Jean-Philippe Babau

Simulation orientée utilisateur des Systèmes d'Information des Smart Grids

Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy et Claire Lecocq

Contribution to model verification: operational semantic for System Engineering modeling languages

Blazo Nastov

13h-14h

Repas

14h-15h30

Session 5 : Modélisation de la dynamique

Bernard Coulette, Université de Toulouse 2 Le Mirail - IRIT

Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS

Daniel Chaves Café, Filipe Vinci Dos Santos, Cécile Hardebolle, Christophe Jacquet et Frédéric Boulanger

Etendre les patrons de flot de contrôle dynamique avec des dépendances transactionnelles

Imed Abbassi et Graiet Mohamed

15h30-16h

Pause café

 

Session commune Posters/démos CAL/CIEL/AFADL/GDR

 

ModHel'X, un outil expérimental pour la modélisation multi-paradigmes

 

Christophe Jacquet, Cecile Hardebolle et Frédéric Boulanger

 

Evaluation de la substituabilité comportementale de composants UML

16h-18h

Thomas Lambolais, Anne-Lise Courbis et Thanh Liem Phan

 

BUT4Reuse Feature identifier: Identifying reusable features on software variants

 

Jabier Martinez, Tewfik Ziadi, Jacques Klein et Yves Le Traon

 

Recherche de sous-modèles

 

Gilles Vanwormhoudt, Bernard Carré, Olivier Caron et Christophe Tombelle

 

Jeudi 12 Juin 2014

 

 

9h-10h30

Conférence invitée CIEL/AFADL/GDR  

Christine Paulin LRI
Preuves formelles d'algorithmes probabilistes

10h30-11h

Pause café

11h-13h

Session 6 : Modélisation de propriétés non fonctionnelles
Xavier Blanc, Université de Bordeaux 1 - LaBRI

ORQA : modélisation de l'énergie et de la qualité de service

Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau

Mise à jour dynamique des applications JavaCard: Une approche pour une mise à jour sûre du tas.

Razika Lounas, Mohamed Mezghiche et Lanet Jean-Louis

Challenges in security engineering of systems-of-systems

Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte et Vincent Lalanne

 

Clôture de la conférence CIEL
Marie-Agnès Peraldi-Frati, Université Nice Sophia Antipolis – I3S/CNRS.

13h-14h

Repas

 

 

Vendredi 13 Juin 2014

 

 

9h-10h30

Conférence invitée GDR/CIEL

Gérard Morin Esterel Tech
S
CADE Model-Based Req. Engineering