Accéder directement au contenu

Pascale LE GALL

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

"marc-aiguier"

Exhaustive test sets for algebraic specification correctness

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue hal-01318362v1
Image document

Embedding of biological regulatory networks and property preservation

Mbarka Mabrouki , Marc Aiguier , Jean-Paul Comet , Pascale Le Gall , Adrien Richard
Mathematics in Computer Science, 2011, 5 (1), pp.263-288
Article dans une revue hal-00782867v1
Image document

Proof-Guided Test Selection from First-Order Specifications with Equality

Delphine Longuet , Marc Aiguier , Pascale Le Gall
Journal of Automated Reasoning, 2010, 45 (4), pp.437-473
Article dans une revue hal-00782871v1
Image document

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki
International Journal On Advances in Software, 2009, 2 (1), pp.47-62
Article dans une revue hal-00782879v1
Image document

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny , Marc Aiguier , Pascale Le Gall , Joan Hérisson , Ivan Junier
Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Communication dans un congrès hal-00812184v1

Test selection criteria for quantifier-free first-order specifications

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès hal-00353787v1
Image document

Feature specification and static analysis for interaction resolution

Marc Aiguier , Karim Berkani , Pascale Le Gall
14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩
Communication dans un congrès hal-00341977v1
Image document

Testing from algebraic specifications: test data set selection by unfolding axioms

Marc Aiguier , Agnès Arnould , Clément Boin , Pascale Le Gall , Bruno Marre
5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
Communication dans un congrès hal-00341964v1
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