• François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, Noel Plouzeau, Jean-Marc Jézéquel, (IRISA, U. Rennes & SINTEF ICT, Oslo, Norvège)
• A Dynamic Component Model for Cyber Physical Systems
• Vincent Aranega, Anne Etien, Sébastien Mosser (LIFL, U. Lille & I3S, UNSA)
  Using Feature Model to Build Model Transformation Chains
• Chouki Tibermacine, Mohamed Lamine Kerdoudi (LIRMM, U. Montpellier & U. de Biskra, Algérie)
  Migrating Component-Based Web Applications to Web Services : Towards Considering a "Web Interfaceas a Service" 

• Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko (Femto-ST, Inria, U. Besançon)
  Automates d’arbre avec un nombre fixe de contraintes
• Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat (IRISA/Inria, U. Rennes & CEA LIST)
  Model Checking régulier pour automate d’arbres à treillis
• Jean-Michel Couvreur, Mouhamadou Tafsir Sakho (LIFO, U. Orléans)
  Gamma Pomset 

• Sylvain Conchon, Alain Mebsout et Fatiha Zaidi, (LRI, U. Paris XI & Inria)
  Vérification de systèmes paramétrés avec Cubicle
• Jean-Yves Marion, Daniel Reynaud, (LORIA, U. Lorraine & U. Berkeley)
  Wave analysis of Advanced Self-Modifying Behaviors
• Martin Bodin, Alan Schmitt (INRIA Rennes- Bretagne Atlantique)
  A Certified JavaScript Interpreter 

• Arnaud Cuccuru, (CEA LIST)
  Precise Semantics of UML Composite Structures : Overview of an Ongoing OMG Standard
• El Arbi Aboussoror, Ileana Ober, Iulian Ober (IRIT, U. Toulouse) 
  Visualisation orientée modèle de trace de simulation
• Catherine Devic, Jean-Christophe Blanchon, Jean-François Cabadi, François-Xavier Dor- moy, Daniele Lanneau, Valérie Zille (EDF R&D & Corys Tess & Alstom Poware Automation and Controls & Esterel Technologies & Atos Worldgrid & AREVA)
  IDM et contrôle-commande nucléaire : défis et enjeux dans le cluster CONNEXION

• Mickael Delahaye, Nikolai Kosmatov, Julien Signoles, (LIG, U. Grenoble & CEA-LIST)
  Towards a Common Specification Language for Static and Dynamic Analysis of C Programs
• Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb (CEDRIC-ENSIIE & Inria & Simula Research Lab, Norvège)
  Vers les outils de test formellement vérifiés, de la génération de tests á la résolution de contraintes
• Huu Nghia Nguyen, Pascal Poizat and Fatiha Zaidi (LRI, Paris XI & U. Evry) 
  A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies 

• Pitch Ecole EJCP, Alan Schmitt [5min]
• Keynote speaker : 
  Yves Le Traon, University of Luxembourg, FSTC/SnT
  Security testing: a key challenge for software engineering 

• posters + demos

Jeudi 4 avril

• table ronde :
  green computing
  animée par Jean-Marc Menaud (LINA, Ecole des Mines, Nantes) et Romain Rouvoy (LIFL, U. Lille)
• invités :
• Alain Anglade, Ademe
• Laurent Lefevre, Inria
• Frédéric Bordage, Alliance Green IT
• Olivier Philippot, Kaliterre

• Keynote speaker : 
  Laurent Voisin, Systerel
  Validation Formelle de Données 

• Tewik Ziadi, Luz Frias , Marcos Aurelio Almeida da Silva, Mikal Ziane, (LIP6, U. Paris VI & INDRA, Spain)
  Feature Identification from the Source Code of Product Variants
• Minh Tu Ton That, Salah Sadou, and Flavio Oquendo, (IRISA, U Bretagne Sud)
  Using Architectural Patterns to Dene Architectural Decisions
• Rafat AL-msie’deen, Abdelhak D. Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal Salman (LIRMM, U. Montpellier & LGI2P / Ecole des Mines d’Alès)
  Feature Mining From a Collection of Software Product Variants 

• Benoît Barbot, Marco Beccuti, G. Franceschinis, Serge Haddad (ENS Cachan, LSV, Inria & U. Torino & U. Piemonte Orientale, Italie)
  Partially Observed Markov Decision Process, for Energy Management in Wireless Sensor Networks
• Frédéric Boniol et Virginie Wiels, ONERA, Toulouse
  Ingénierie formelle pour logiciels aéronautiques certifiés
• Sylvain Cotard, Sébastien Faucou, Jean-Luc Bechennec, Audrey Queudet, Yvon Trinquet (Renault SAS & LUNAM, IRCCyN, U. Nantes) 
  Runtime Verification for Real-Time Automotive Embedded Software
• Iulia Dragomir, Iulian Ober, Christian Percebois, (IRIT, U. Toulouse)
  Contrats pour composants réactifs temporisés 

Vendredi 5 Avril

• Keynote speaker : 
  Bruno Legeard, Femto-st & Smartesting
  Génération de tests à partir de modèle – Retour sur 10 ans d’expérience de transfert de technologie 

• Olivier Zendra (INRIA Nancy Grand Est)
  Vers une compilation energy-aware
• Christophe Calvès (LORIA, U. Lorraine)
  Règles de Réécriture Multi-Focus, un point de vue orienté compilation
• Laure Gonnord (LIFL, U. Lille)
  Analyses statiques pour la génération de code synchrone 

• Francesco Bongiovanni, Ludovic Henrio (LIG, U. Grenoble & I3S, Inria, UNSA)
  Broadcast Algorithms for CAN: Design and Mechanisation
• Pierre Estérie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy (LRI, U. Paris XI & Metascale, Orsay, & IP, U. Blaise Pascal) 
  Boost.SIMD: Generic Programming for Portable SIMDization
• Joeffrey Legaux, LIFO, U. Orléans
  OSL: An Algorithmic Skeleton Library with Exceptions
• Aurélien Deharbe, Frédéric Peschanski (LIP6, U. Paris VI)
  Analyse statique de programmes concurrents et dynamiques 

Programme détaillé CIEL

Mardi 2 avril

• Keynote speaker : 
  Benoît Combemale, IRISA

• Pascal André, Gilles Ardourel and Jean-Marie Mottu, 
  Assistance au test de modèles à composants et services (papier long)
• Jean-Marie Gauthier. 
  Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML: Contexte, Motivations et Objectifs (papier court)
• Salam Hajjar. 
  Safe Design Method of Control Embedded Systems based on COTS (papier long)
• Mohamed Habib Essoussi, Anthony Fernandes Pires and Stéphane Duprat. 
  Preuve formelle de code à partir de diagramme d'activités UML (papier court)

Mercredi 3 avril

• Pitch Ecole EJCP, Alan Schmitt [5min]
• Keynote speaker : 
  Yves Le Traon, University of Luxembourg, FSTC/SnT
  Security testing: a key challenge for software engineering 

Jeudi 4 avril

• Amine El Kouhen, Cedric Dumoulin, Sebastien Gerard and Pierre Boulet. 
  Spécifiez vos éditeurs de diagrammes à l'aide de composants réutilisables (papier long)
• Valerio Cosentino, Philippe Bauquel, Jacques Perronnet, Patrick Albert and Jordi Cabot. 
  Un Framework dirigé par les modèles pour l'extraction de règles métier à partir d'applications COBOL (papier court)
• Clôture CIEL

Programme détaillé AFADL

Mercredi 3 avril

• Keynote speaker : 
  Laurent Vigneron, LORIA
  Déduction automatique appliquée à l'analyse et à la vérification de systèmes infinis 

• Tutoriel : 
  Mathieu Turuani, LORIA
  Analyse de protocoles cryptographiques et composition de services Web

• Pitch Ecole EJCP, Alan Schmitt [5min]
• Keynote speaker : 
  Yves Le Traon, University of Luxembourg, FSTC/SnT
  Security testing: a key challenge for software engineering 

• (Poster) Stephan Merz et Hernán Vanzetto
  Automatic Verification of TLA+ Proofs with SMT Solvers
• (Demo) David Deharbe, Pablo Frederico Dobal et Pascal Fontaine
  Solver : Le solveur SMT veriT
• (Demo) Faqing Yang et Jean-Pierre Jacquot
  JeB : un cadre de simulation en JavaScript pour B événementiel
• (Demo) Devid Delahaye, Catherine Dubois et Pierre-Nicolas
  Tollite RelExt : Synthèse de code à partir de spécifications inductives

Jeudi 4 avril

• 9h00-9h40 Frédéric Boniol, Rémy Wyss, Claire Pagetti et Julien Forget 
  A synchronous language with partial delay specification for real-time systems programming
• 9h40-10h20 Henri Debrat et Stephan Merz
  Preuve formelle d'algorithmes distribués de Consensus
• 10h20-10h30 Faqing Yang et Jean-Pierre Jacquot
  JeB : un cadre de simulation en JavaScript pour B événementiel

• 11h00-11h40 Romain Aïssat et Jean-Yves Pierron 
  Méthode de validation par génération aléatoire de chemins dans des modèles à base d’automates communicants
• 11h40-12h20 Franck Lebeau, Bruno Legeard, Fabien Peureux et Alexandre Vernotte 
  Génération de tests de vulnérabilité web à partir de modèles
• 12h20-12h30 David Delahaye, Catherine Dubois et Pierre-Nicolas Tollitte 
  Synthèse de code à partir de spécifications inductives : RelExt

• Keynote speaker : 
  Laurent Voisin, Systerel
  Validation Formelle de Données 

• 16h00-16h40 Manamiary Bruno Andriamiarina
  Prise en Compte des Aspects Probabilistes dans le Raffinement
• 16h40-17h00 Akram Idani, Yves Ledru et Mohamed-Amine Labiadh
  B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécuritéen Systèmes d'Information
• 17h00-17h10 David Deharbe, Pablo Federico Dobal et Pascal Fontaine
  Le solveur SMT veriT

Vendredi 5 Avril

• Keynote speaker : 
  Bruno Legeard, Femto-st & Smartesting
  Génération de tests à partir de modèle – Retour sur 10 ans d’expérience de transfert de technologie 

• 11h00-11h40 Frédéric Boniol, Rémy Wyss, Claire Pagetti et Julien Forget 
  Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique
• 11h40-12h00 Amira Radhouani, Khaoula Marzouki et Narjes Ben Rajeb 
  Vérification automatique d’un protocole de vote en ligne
• 12h00-12h30 Discussion sur l'avenir et la suite d'AFADL