Titre du groupe
FORWAL - Formalismes et Outils pour la Vérification et la Validation
Responsables
Yohan BOICHUT, LIFO, Université d'Orléans (
Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.
) Pierre-Cyrille Héam, LIFC, Université de Franche-Comté (
Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.
)
Thématique scientifique
Notre objectif principal est l'élaboration d'outils et de méthodes pour la vérification de protocoles de sécurité, de services web, de systèmes embarqués et pour l'analyse de documents semi-structurés.
Les principaux thèmes abordés dans le projet FORWAL sont :
- Formalismes à base d'automates (de mots et d'arbres) et de contraintes pour la vérification de protocoles de sécurité, de services web et de systèmes embarqués
- Langage d'arbres et de DAG pour l'analyse de documents semi-structurés
- Calcul symbolique à base d'automates pour la vérification de systèmes à variables hétérogènes
- Langage (non régulier) d'arbres et vérification de protocoles de sécurité et services web
- Vérification par des techniques ordre partiel et logique de la concurrence
La participation aux activités du groupe FORWAL est naturellement ouverte à tous les chercheurs dont les domaines de travaux sont proches, quel que soit leur GDR de rattachement.
Equipes participantes
PAMDA - Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - Orléans VESONTIO - Franche-Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies (FEMTO-ST) - Besançon CASSIS, PAREO - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) - Nancy CELTIQUE, S4 - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) - Rennes MoVe - Laboratoire d'Informatique de Paris 6 (LIP6) - Paris MFMV - Laboratoire Bordelais de Recherche en Informatique (LaBRI) - Bordeaux
Participants principaux
Siva Anantharaman (LIFO, Orléans), Yohan Boichut (LIFO, Besançon), Jean-Michel Couvreur (LIFO, Orléans), Thomas Genet (IRISA, Rennes), Alain Giorgetti (FEMTO-ST, Besançon), Pierre-Cyrille Héam (FEMTO-ST, Besançon), Olga Kouchnarenko (FEMTO-ST, Besançon), Axel Legay (IRISA, Rennes), Sébastien Limet (LIFO, Orléans), Pierre-Etienne Moreau (LORIA, Nancy), Sophie Pinchinat (IRISA, Rennes), Denis Poitrenaud (LIP6, Paris), Grégoire Sutre (LaBRI, Bordeaux), Pierre Réty (LIFO, Orléans), Michaël Rusinowitch (LORIA, Nancy), Laurent Vigneron (LORIA, Nancy).
Mode de fonctionnement - Organisation des activités du groupe
Des rencontres de deux (ou une) journée(s), en moyenne une fois par an. Elles se compléteront par des visites ``inter-équipes'' de chercheurs et de thésards, chaque fois que cela semble souhaitable sur le plan scientifique.
Conférences et ateliers associés au groupe
- Ecole d'été MOdelling and VErifying parallel Processes (MOVEP)
Réunion du 23 Mai 2012 à Paris 6.
Une vingtaine de présent pour cette prémière réunion du nouveau quadriennal, des tous les sites.
Exposés :
- Vincent Hugot (FEMTO-ST, doctorant)
- Yohan Boichut (LIFO)
- Sophie Pinchinat (IRISA)
- Frédéric Herbreteau (LABRI)
- Jean-Michel Couvreur (LIFO)
- Mohamadou Diouf (IRISA, doctorant)
|