|
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prévosto
,
Pascale Le Gall
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Oct 2024, Crete Island, Greece
Communication dans un congrès
hal-04663406
v1
|
|
Finite Automata synthesis from interactions
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
FormaliSE '24 -the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. pp.12-22, ⟨10.1145/3644033.3644382⟩
Communication dans un congrès
cea-04604956
v1
|
|
A framework for optimisation based stochastic process discovery
Pierre Cry
,
Paolo Ballarini
,
András Horváth
,
Pascale Le Gall
Proceedings of the International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Sep 2024, Calgary (Alberta), Canada. ⟨10.1007/978-3-031-68416-6_3⟩
Communication dans un congrès
hal-04720353
v1
|
|
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
Communication dans un congrès
hal-04185658
v1
|
|
Symbolic Path-guided Test Cases for Models with Data and Time
Boutheina Bannour
,
Arnault Lapitre
,
Pascale Le Gall
,
Thang Nguyen
Formal Aspects of Component Software (FACS), Oct 2023, Paris (en ligne), France
Communication dans un congrès
hal-04486318
v1
|
|
Certified verification of relational properties
Lionel Blatter
,
Nikolai Kosmatov
,
Virgile Prevosto
,
Pascale Le Gall
Communication dans un congrès
cea-03714381
v1
|
|
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
Communication dans un congrès
cea-03768250
v1
|
|
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
Boutheina Bannour
,
Arnault Lapitre
,
Pascale Le Gall
Communication dans un congrès
cea-04486240
v1
|
|
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⟩
Communication dans un congrès
cea-04224612
v1
|
|
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
Communication dans un congrès
cea-03179670
v1
|
|
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⟩
Communication dans un congrès
hal-02421125
v1
|
|
Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prévosto
,
Louis Rilling
,
Pascale Le Gall
Communication dans un congrès
cea-02301892
v1
|
|
MetAcsl: Specification and Verification of High-Level Properties
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prévosto
,
Louis Rilling
,
Pascale Le Gall
Communication dans un congrès
cea-02019790
v1
|
|
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-02539534
v1
|
|
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
Communication dans un congrès
cea-01835470
v1
|
|
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
Communication dans un congrès
cea-01835491
v1
|
|
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-01810693
v1
|
|
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
Thomas Bellet
,
Agnès Arnould
,
Hakim Belhaouari
,
Pascale Le Gall
Communication dans un congrès
hal-01817827
v1
|
|
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⟩
Communication dans un congrès
hal-01678964
v1
|
|
RPP: Automatic proof of relational properties by self-composition
L. Blatter
,
N. Kosmatov
,
P. Le Gall
,
V. Prevosto
Communication dans un congrès
cea-01808885
v1
|
|
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⟩
Communication dans un congrès
cea-01808894
v1
|
|
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⟩
Communication dans un congrès
cea-01302826
v1
|
|
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-01333605
v1
|
|
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-01810689
v1
|
|
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
Communication dans un congrès
hal-01110747
v1
|
|
Security Weaknesses Detection by Symbolic Analysis of Scenarios
Boutheïna Bannour
,
Boutheina Bannour
,
Jose Pablo Escobedo
,
Christophe Gaston
,
Pascale Le Gall
et al.
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Communication dans un congrès
hal-01812121
v1
|
|
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
Communication dans un congrès
hal-01819841
v1
|
|
JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling
Hakim Belhaouari
,
Agnès Arnould
,
Pascale Le Gall
,
Thomas Bellet
Communication dans un congrès
hal-01012851
v1
|
|
Designing Sequence Diagram Models for Robustness to Attacks
Boutheïna Bannour
,
Boutheina Bannour
,
Jose Pablo Escobedo
,
Christophe Gaston
,
Pascale Le Gall
et al.
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Communication dans un congrès
hal-01812124
v1
|
|
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
Communication dans un congrès
hal-01819866
v1
|
|
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
Communication dans un congrès
cea-01810746
v1
|
|
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
Communication dans un congrès
hal-00936743
v1
|
|
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
Boutheina Bannour
,
Jose Pablo Escobedo
,
Christophe Gaston
,
Pascale Le Gall
Communication dans un congrès
hal-01482398
v1
|
|
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
Communication dans un congrès
hal-00865432
v1
|
|
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⟩
Communication dans un congrès
hal-01306744
v1
|
|
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
Communication dans un congrès
hal-00488171
v1
|
|
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⟩
Communication dans un congrès
hal-01360755
v1
|
|
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
Communication dans un congrès
hal-00488533
v1
|
|
Spatial Information and Boolean Genetic Regulatory Networks.
Matthieu Manceny
,
Marc Aiguier
,
Pascale Le Gall
,
Joan Hérisson
,
Ivan Junier
et al.
Communication dans un congrès
hal-00812184
v1
|
|
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⟩
Communication dans un congrès
hal-01810199
v1
|
|
Graph Transformation for Topology Modelling.
Mathieu Poudret
,
Agnès Arnould
,
Jean-Paul Comet
,
Pascale Le Gall
Communication dans un congrès
istex
hal-00341176
v1
|
|
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⟩
Communication dans un congrès
hal-00289229
v1
|
|
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
et al.
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès
hal-00348154
v1
|
|
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
Communication dans un congrès
hal-00348152
v1
|
|
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
istex
hal-00353787
v1
|
|
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-00341977
v1
|
|
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
Communication dans un congrès
hal-00342082
v1
|
|
Testing from Abstract Data Type Specifications
Pascale Le Gall
Training And Research On Testing (TAROT) Summer School, 2005, France. pp.n.a
Communication dans un congrès
hal-00342088
v1
|
|
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
Communication dans un congrès
hal-00342087
v1
|
|
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-00341964
v1
|
|
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
Communication dans un congrès
hal-00342173
v1
|
|
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
Communication dans un congrès
hal-00342150
v1
|
|
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-00341980
v1
|
|
Spécifications formelles du chanfreinage
F. Ledoux
,
Jean-Marc Mota
,
A. Arnould
,
Catherine Dubois
,
P. Le Gall
et al.
AFADL2001, Jan 2001, X, France
Communication dans un congrès
hal-01124624
v1
|