Access content directly

Pascale LE GALL

77
Documents
Researcher identifiers

Presentation

Professeur en Informatique, CentraleSupélec, CNU 27, laboratoire MICS

Publications

Image document

Preserving consistency in geometric modeling with graph transformations

Agnès Arnould , Hakim Belhaouari , Thomas Bellet , Pascale Le Gall , Romain Pascual
Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Journal articles hal-03821122v1
Image document

Topological consistency preservation with graph transformation schemes

Romain Pascual , Pascale Le Gall , Agnès Arnould , Hakim Belhaouari
Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩
Journal articles hal-03380327v1
Image document

Revisiting semantics of interactions for trace validity analysis

Erwan Mahe , Christophe Gaston , Pascale Le Gall
Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩
Journal articles cea-04224596v1

Cut branches before looking for bugs: certifiably sound verification on relaxed slices

J.-C. Léchenet , N. Kosmatov , P. Le Gall
Formal Aspects of Computing, 2018, 30 (1), pp.107-131. ⟨10.1007/s00165-017-0439-x⟩
Journal articles cea-01801601v1

Symbolic execution of transition systems with function summaries

I. Boudhiba , C. Gaston , P. Le Gall , V. Prevosto
Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩
Journal articles cea-01808888v1

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⟩
Journal articles hal-01318362v1
Image document

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Journal articles hal-01819818v1
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
Journal articles hal-00782867v1

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall
Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77
Journal articles hal-01137358v1
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
Journal articles 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
Journal articles hal-00782879v1
Image document

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall , Philippe Meseure
Theorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Journal articles hal-00352003v1

Symbolic modeling of genetic regulatory networks

Daniel Mateus , Jean-Pierre Gallois , Jean-Paul Comet , Pascale Le Gall
Journal of Bioinformatics and Computational Biology, 2007, 5 (2B), pp.627-640
Journal articles hal-00293530v1
Image document

Spécifications formelles du chanfreinage

Franck Ledoux , Jean-Marc Mota , Agnès Arnould , Catherine Dubois , Pascale Le Gall
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (8), pp.1-26
Journal articles hal-00352083v1
Image document

Test de conformité : une approche algébrique

Agnès Arnould , Pascale Le Gall
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (9), pp.1219-1242
Journal articles hal-00352131v1
Image document

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould
22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Conference papers hal-04185658v1
Image document

An efficient VCGen-based modular verification of relational properties

Lionel Blatter , Nikolai Kosmatov , V. Prevosto , Pascale Le Gall
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece
Conference papers cea-03768250v1
Image document

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
Conference papers cea-03179670v1
Image document

A small-step approach to multi-trace checking against interactions

Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall
SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, ACM (SIGAPP), Mar 2021, Virtual Event, South Korea. pp.1815-1822, ⟨10.1145/3412841.3442054⟩
Conference papers cea-04224612v1
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⟩
Conference papers 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⟩
Conference papers cea-02019790v1

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Ngo Minh Thang Nguyen , Boutheina Bannour , Arnault Lapitre , Pascale Le Gall
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Conference papers hal-02421125v1

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⟩
Conference papers hal-02539534v1
Image document

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Conference papers cea-01835491v1
Image document

Static and Dynamic Verification of Relational Properties on Self-Composed C Code

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto , Guillaume Petiot
Tests and Proofs - TAP, Jun 2018, Toulouse, France
Conference papers cea-01835470v1
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
Conference papers cea-01810693v1

RPP: Automatic proof of relational properties by self-composition

L. Blatter , N. Kosmatov , P. Le Gall , V. Prevosto
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩
Conference papers cea-01808885v1

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Conference papers hal-01817827v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Gabriel Pedroza , Pascale Le Gall , Christophe Gaston , Fabrice Bersey
19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Conference papers cea-01302826v1
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
Conference papers hal-01333605v1
Image document

Cut branches before looking for bugs: Sound verification on relaxed slices

J.-C. Léchenet , N. Kosmatov , P. Le Gall
International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩
Conference papers cea-01808894v1
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
Conference papers cea-01810689v1

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Conference papers hal-01110747v1

Designing Sequence Diagram Models for Robustness to Attacks

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers hal-01812124v1

JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall , Thomas Bellet
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Conference papers hal-01012851v1

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Conference papers hal-01812121v1
Image document

An LTL Model Checking Approach for Biological Parameter Inference

E Gallet , M Manceny , P Le Gall , Paolo Ballarini
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Conference papers hal-01819841v1
Image document

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Conference papers hal-01819866v1
Image document

An implementation relation and test framework for timed distributed systems

Christophe Gaston , Robert M. Hierons , Pascale Le Gall
International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey
Conference papers cea-01810746v1
Image document

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Conference papers hal-01482398v1
Image document

JERBOA : un modeleur géométrique à base de règles

Thomas Bellet , Agnès Arnould , Pascale Le Gall
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France
Conference papers hal-00936743v1

Rule-based transformations for geometric modeling

Thomas Bellet , Agnès Arnould , Pascale Le Gall
6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS 2011, Apr 2011, Saarbrücken, Germany. 20p
Conference papers hal-00865432v1

Testing web service orchestrators in context : a symbolic approach

Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , Ana Rosa Cavalli
SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Conference papers hal-01306744v1

Designing a Topological Modeler Kernel: A Rule-Based Approach

Thomas Bellet , Mathieu Poudret , Agnès Arnould , Laurent Fuchs , Pascale Le Gall
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Conference papers hal-00488171v1

Observability and controllability issues in conformance testing of Web service compositions

Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , Ana Rosa Cavalli
TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩
Conference papers hal-01360755v1

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
Conference papers hal-00488533v1

Testing of Software and Communicating Systems

Alain Faivre , Christophe Gaston , Pascale Le Gall , Assia Touil
20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩
Conference papers hal-00289229v1

Generation of All-Paths Unit Test with Function Calls

Patricia Mouy , Bruno Marre , Nicky Williams , Pascale Le Gall
First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩
Conference papers hal-01810199v1

Graph Transformation for Topology Modelling.

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall
 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩
Conference papers hal-00341176v1
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⟩
Conference papers hal-00812184v1
Image document

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Conference papers hal-00348154v1
Image document

Topology-based Geometric Modelling for Biological Cellular Processes

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , Agnès Arnould , Philippe Meseure
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508
Conference papers hal-00348152v1

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⟩
Conference papers hal-00353787v1

Symbolic execution techniques for test purpose definition

Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil
Proceedings of the 18th international conference on Testing of Communicating Systems (TestCom), 2006, United States. pp.1--18
Conference papers hal-00342082v1
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⟩
Conference papers hal-00341977v1

Testing from Abstract Data Type Specifications

Pascale Le Gall
Training And Research On Testing (TAROT) Summer School, 2005, France. pp.n.a
Conference papers hal-00342088v1
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⟩
Conference papers hal-00341964v1

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications

Hélène Jouve , Pascale Le Gall , Sophie Coudert
Proceedings of the 8th International Conference on Feature Interactions in Telecommunications and Software Systems (FIW'05), 2005, United Kingdom. pp.131--146
Conference papers hal-00342087v1

Automatic generation of symbolic test purposes

Assia Touil , Christophe Gaston , Pascale Le Gall
Proceedings of the second MoDeVa (Model Design and Validation) workshop, 2005, Jamaica. pp.n.a
Conference papers hal-00342173v1

Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Daniel Mateus , Jean-Pierre Gallois , Pascale Le Gall
Journée Thématique <>, 2005, France. pp.n.a
Conference papers hal-00342150v1
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⟩
Conference papers hal-00341980v1

Spécifications formelles du chanfreinage

F. Ledoux , Jean-Marc Mota , A. Arnould , Catherine Dubois , P. Le Gall
AFADL2001, Jan 2001, X, France
Conference papers hal-01124624v1

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⟩
Books hal-02526347v1
Image document

Transformations de graphes décorés

Pascale Le Gall , Romain Pascual
Laurent Fuchs (éd.). Informatique Mathématique Une photographie en 2023, CNRS, Chapitre 4, pp. 133 -- 178, 2023, CNRS Alpha, 978-2-271-14930-5
Book sections hal-04187816v1
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
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections hal-01470156v1

Symbolic Execution-Based Techniques for Conformance Testing

C. Gaston , P. Le Gall , N. Rapin , A. Touil
Model‐Driven Engineering for Distributed Real‐Time Systems: MARTE Modeling, Model Transformations and their Usages, John Wiley and Sons, pp.73-103, 2013, 9781848211155. ⟨10.1002/9781118558096.ch4⟩
Book sections cea-01818541v1
Image document

Testing data types implementations from algebraic specifications

Marie-Claude Gaudel , Pascale Le Gall
R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78917-8_7⟩
Book sections hal-00270574v1

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Book sections hal-00353755v1