Accéder directement au contenu

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay
2
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

1032908
Image document

Symbolic execution of transition systems with function summaries

 Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto
11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany
Communication dans un congrès cea-01810693v1
Image document

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

 Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto
The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates
Communication dans un congrès cea-01810689v1