Accéder directement au contenu

Pascale LE GALL

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

940734
Image document

Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

 Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Communication dans un congrès cea-02301892v1
Image document

MetAcsl: Specification and Verification of High-Level Properties

 Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩
Communication dans un congrès cea-02019790v1

Fast Computation of Arbitrary Control Dependencies

 Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall
FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩
Communication dans un congrès hal-02539534v1
Image document

Coq a dit : fromage tranché ne peut cacher ses trous *

 Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Communication dans un congrès hal-01333605v1

Testing Software and Systems

 Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Ouvrages hal-02526347v1