|
Programme
|
Mercredi 9 Juin 2010 |
| 8h30 |
Accueil des participants |
| 9h00 |
Ouverture de la conférence |
| 9h15 |
Conférence Invitée Egon BOERGER : Modeling Business Processes viewed through the OMG BPMN standard definition |
| 10h15 |
Pause Café |
| 10h45 |
Session 1 |
- Kevin Salabert, Jérémy Milhau, Benoit Fraikin, Marc Frappier, Frédéric Gervais et Régine Laleau "iastd : un interpréteur pour les astd"
- Roméo Courbis, Pierre-Cyrille Heam, Pierre Jourdan et Olga Kouchnarenko "Approximations par réécriture pour deux problèmes indécidables"
- Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson et Fabrice Bouquet "Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions"
|
| 12h15 |
Déjeuner - Hôtel Plazza |
| 14h00 |
Session 2 |
- Mathieu Jaume, Valérie Viet Triem Tong et Ludovic Mé "Contrôle d'accès versus Contrôle de flots"
- Adrian Caciula, Romeo Courbis, Violeta Féléa, Pierre-Cyrille Heam et Rasvan Ionescu "Une approche distribuée et parallèle pour la complétion d'automates d'arbre"
- Jean-Charles Chaudemar, Eric Bensana et Christel Seguin "Analyse de sécurité de systèmes autonomes: Formalisation et évaluation en Event--B"
|
| 15h30 |
Pause Café |
| 16h00 |
Session 3 |
- Thomas Bochot, Pierre Virelizier, Hélène Waeselynck et Virginie Wiels "STANCE: un outil d'analyse structurelle de contre-exemples"
- Idir Ait-Sadoune "BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement"
- Omar Chebaro "Outil SANTE : Détection d’erreurs par analyse statique et test structurel des programmes C"
|
| 17h30 |
Visite du Parc du Futuroscope |
| 20h30 |
Cocktail dinatoire dans le hall de l'ENSMA |
|
Jeudi 10 Juin 2010 |
| 9h00 |
Conférence Invitée Virginie WIELS : Méthodes formelles et certification de logiciels aéronautiques |
| 10h00 |
Pause Café |
| 10h30 |
Session 4 |
- Christophe Junke "Critères de tests pour les automates de modes et application au langage Scade 6"
- Lila Meziani, Thouraya Bouabana-Tebibel "Initialisation des modèles en mouvement"
- Laya Madani "Génération automatique de tests pour les systèmes interactifs multimodaux"
- Christian Fotsing, Annie Geniet et Guy Vidal-Naquet "Modélisation de la prise en compte de la sémantique dans les applications temps-réel: concepts et outils"
|
| 12h30 |
Déjeuner - Hôtel Plazza |
| 14h00 |
Session 5 |
- Yves Ledru et Lydie du Bousquet "De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet"
- Faqing Yang et Jean-Pierre Jacquot "Prouvé ? Et après ?"
- Mohamed Chaabani, Mohamed Mezghiche et Martin Strecker "Vérification d'une méthode de preuve pour la logique de description ALC
- Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon et Benoit Baudry "Contribution à la formalisation de contextes et d’exigences pour la validation formelle de logiciels embarqués"
|
| 16h00 |
Pause Café |
| 16h30 |
Session 6 |
- Marie De Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix et Mamoun Filali-Amine "Assistance à la conception de modèles à l’aide de contraintes"
- Mohamed-Amine Labiadh, Akram Idani et Yves Ledru "Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles"
- Cyril Faucher, Jean-Yves Lafaye, Frédéric Bertrand et Charles Teissèdre "Modélisation et reformulation d’expressions temporelles extraites de textes en langage naturel"
- Mounira Kezadri et Marc Pantel "Premières expériences pour l'édition correcte par construction de modèles"
|
| 19h00 |
Diner de Gala |
|
Vendredi 11 Juin 2010 |
| 8h30 |
Session 7 |
- Miloud Bennama et Thouraya Bouabana-Tebibel "Interprétation du diagramme global d’interaction"
- Pierre-Emmanuel Hladik, Florent Peres et Xiaomu Shi "Analyse d'un modèle AADL à l'aide de Pola"
- Julien Dormoy, Alois Dreyfus et Olga Kouchnarenko "EVA4Fractal : Adaptation de composants Fractal basée sur des événements"
- Rajaa Edaoudi, Marouane Hamdani, Khalid Bouragba, Mohammed Ouzzif, Hassan Mountassir et Mohammed Erradi "Architecture Formalisée d’une Application Collaborative Cas d’une Situation d’Urgence en Neurologie"
|
| 10h30 |
Pause Café |
| 11h00 |
Session 8 |
- Samir Chouali, Sebti Mouelhi et Hassan Mountassir "Adaptation des Protocoles des Composants par les Automates d’Interface"
- Xavier Dumas, Frédéric Boniol, Philippe Dhaussy et Eric Bonnafous "Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL"
- Nicolas Rempulski, Armelle Prigent et Pascal Estraillier "Supervision dynamique pour la scénarisation adaptative"
|
| 12h30 |
Clôture de l'Atelier |
| 12h45 |
Déjeuner - Hôtel Plazza |
|
