Accéder directement au contenu

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay
3
Documents
Identifiants chercheurs

Présentation

Professeur en Informatique, CentraleSupélec, CNU 27, laboratoire MICS **Thèmes de recherche :** Génie logiciel, Méthodes formelles, Validation et Vérification, Test de conformité, Modélisation des systèmes communicants temps-réel distribués, Modélisation géométrique à base topologique, Transformations de graphes **Enseignenments :** Théorie des jeux, Sémantique des langages de programmation, Logique, Automates, Bio-informatique

Publications

856039
"marc-aiguier"
Image document

A Temporal Logic for Input Output Symbolic Transition Systems

 Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil
12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Communication dans un congrès hal-00341980v1

A temporal logic for input output symbolic transition systems

 Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil
2005
Autre publication scientifique hal-00341981v1

Feature specification: a logic-independent approach

 Marc Aiguier , Christophe Gaston , Pascale Le Gall
2005
Autre publication scientifique hal-00341979v1