Frédéric Boniol, Rémy Wyss, Claire Pagetti et
Julien Forget
A synchronous language with partial delay specification for
real-time systems programming
Henri Debrat et Stephan Merz
Preuve formelle d'algorithmes distribués de Consensus
Faqing Yang et Jean-Pierre Jacquot
JeB : un cadre de simulation en JavaScript pour B événementiel
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
Franck Lebeau, Bruno Legeard, Fabien Peureux et Alexandre Vernotte
Génération de tests de vulnérabilité web
à partir de modèles
David Delahaye, Catherine Dubois et Pierre-Nicolas Tollitte
Synthèse de code à partir de spécifications
inductives : RelExt
Manamiary Bruno Andriamiarina
Prise en Compte des Aspects Probabilistes dans le Raffinement
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
David Deharbe, Pablo Federico Dobal et Pascal Fontaine
Le solveur SMT veriT
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
Amira Radhouani, Khaoula Marzouki et Narjes Ben Rajeb
Vérification automatique d’un protocole de vote en ligne