- 5
- 3
- 2
- 1
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
11
Documents
Identifiants chercheurs
- pascale-le-gall
- 0000-0002-8955-6835
- IdRef : 081059310
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
- 11
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
Exhaustive test sets for algebraic specification correctnessJournal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue
hal-01318362v1
|
|
|
Embedding of biological regulatory networks and property preservationMathematics in Computer Science, 2011, 5 (1), pp.263-288
Article dans une revue
hal-00782867v1
|
|
Proof-Guided Test Selection from First-Order Specifications with EqualityJournal of Automated Reasoning, 2010, 45 (4), pp.437-473
Article dans une revue
hal-00782871v1
|
|
Complex software systems : Formalization and ApplicationsInternational Journal On Advances in Software, 2009, 2 (1), pp.47-62
Article dans une revue
hal-00782879v1
|
|
Spatial Information and Boolean Genetic Regulatory Networks.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 specifications2nd 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
|
|
|
Feature specification and static analysis for interaction resolution14th 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
|
|
Testing from algebraic specifications: test data set selection by unfolding axioms5th 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
|
|
A Temporal Logic for Input Output Symbolic Transition Systems12th 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 systems2005
Autre publication scientifique
hal-00341981v1
|
|
Feature specification: a logic-independent approach2005
Autre publication scientifique
hal-00341979v1
|