Dates clés

résumés: 15 avril
soumission: 5 juin
notification: 16 juillet
version finale: 12 septembre
posters: 30 septembre
conférence: 18-20 novembre

Contact

msr2015@inria.fr

10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015)

Programme du colloque

Mercredi 18 novembre 2015

09h30 Ouverture du colloque
10h00 Nathalie Bertrand (exposé invité)
Fault diagnosis for probabilistic systems
11h00
Pause
11h30 Quentin Gaudel, Pauline Ribot, Elodie Chanthery
Vers une architecture de surveillance de santé d'un système hybride sous incertitudes
12h00 Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots
12h30 Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam-Eddine Gougam
Modélisation et Analyse de chroniques pour le diagnostic
13h00
Déjeuner
14h30 Kabland Toussaint Gautier Tigori, Jean-Luc Béchennec, Olivier Henri Roux
Approche formelle pour la spécialisation de systèmes d'exploitation temps réel
15h00 Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Amélioration de la procédure de déterminisation des automates (max,+)
15h30 Présentation des posters (session plénière)
16h00
Pause
16h30 Discussion autour des posters
18h30
Visite du Musée lorrain et apéritif d'accueil

Jeudi 19 novembre 2015

09h00 Jean-Louis Colaço (exposé invité)
De LUSTRE à Scade 6
10h00 Session GT SED et AFSEC : présentation générale
11h00
Pause
11h30 Abderraouf Boussif, Mohamed Ghazel
Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des Systèmes à Evènements Discrets par Model-Checking
12h00 Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel
Méthodologie et application du méta-diagnostic de systèmes complexes sur un banc d'intégration avionique
12h30 Nizar Chatti, Rémy Guyonneau, Laurent Hardouin
Diagnostic à base de modèles et aide à la prise de décision robuste par une approche ensembliste
13h00
Déjeuner
14h30 Jean-Jacques Lesage (exposé invité)
Identification comportementale des Systèmes à Événements Discrets
15h30 Adja Ndeye Sylla, Maxime Louvel, François Pacull, Eric Rutten
Génération de règles de coordination à partir de réseaux de Petri colorés
16h00 Laurent Truffet
Comparaison de Chaînes de Bellman par Couplage Croissant
16h30 Dimitri Bouche, Jean Bresson
Articulation dynamique de structures temporelles pour l'informatique musicale
17h00
Pause
17h30 Session GT SED et AFSEC : démonstrations d'outils
20h00
Dîner au restaurant Les Pissenlits

Vendredi 20 novembre 2015

09h00 Marc Antoni (exposé invité)
Why do railways need formal specifications and proofs?
10h00
Pause
10h30 Frederico Alvares De Oliveira, Eric Rutten, Lionel Seinturier
Modèles comportementaux pour le contrôle de composants logiciels autonomes
11h00 Mohamed Escheikh, Bilen Ben Abbes, Ahmed Ameur, Kamel Barkaoui, Hana Jouini
Modélisation et étude de performance de l'équilibrage de charge LTE par ajustement dynamique des paramètres du handover
11h30 Laurent Piétrac, Emil Dumitrescu, Eric Niel
Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets
12h00 Bernard Riera, Alexandre Philippot, David Annebicque, François Gellot
La commande par contraintes logiques de sécurité : principe, applications et mise en œuvre
12h30 Clôture
13h00
Déjeuner