×

zbMATH — the first resource for mathematics

Le Gall, Pascale

Compute Distance To:
Author ID: le-gall.pascale Recent zbMATH articles by "Le Gall, Pascale"
Published as: Le Gall, P.; Le Gall, Pascale
Documents Indexed: 21 Publications since 1962, including 1 Book

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 27 times in 21 Documents Cited by Year
Symbolic execution techniques for test purpose definition. Zbl 1185.68413
Gaston, Christophe; Le Gall, Pascale; Rapin, Nicolas; Touil, Assia
8
2006
Les systèmes avec ou sans attente et les processus stochastiques. Tome I: Généralites, applications à la recherche opérationnelle. (Collection technique et scientifique du C. N. E. T.). Zbl 0105.33201
Le Gall, P.
5
1962
Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno
3
2006
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Stochastic integral equations applied to telecommunications traffic without delay. Zbl 0301.60041
Le Gall, P.
2
1974
Cut branches before looking for bugs: sound verification on relaxed slices. Zbl 1378.68023
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale
1
2016
Embedding of biological regulatory networks and property preservation. Zbl 1270.92024
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien
1
2011
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Property preservation along embedding of biological regulatory networks. Zbl 1171.92302
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale
1
2008
Symbolic execution techniques for refinement testing. Zbl 1196.68049
Le Gall, Pascale; Rapin, Nicolas; Touil, Assia
1
2007
Label algebras and exception handling. Zbl 0830.68089
Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc
1
1994
Comments on the paper, ”Stochastic integral equations applied to telecommunications traffic without delay”. Zbl 0373.60125
Le Gall, P.
1
1978
Cut branches before looking for bugs: sound verification on relaxed slices. Zbl 1378.68023
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale
1
2016
Embedding of biological regulatory networks and property preservation. Zbl 1270.92024
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien
1
2011
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Property preservation along embedding of biological regulatory networks. Zbl 1171.92302
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale
1
2008
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Symbolic execution techniques for refinement testing. Zbl 1196.68049
Le Gall, Pascale; Rapin, Nicolas; Touil, Assia
1
2007
Symbolic execution techniques for test purpose definition. Zbl 1185.68413
Gaston, Christophe; Le Gall, Pascale; Rapin, Nicolas; Touil, Assia
8
2006
Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno
3
2006
Label algebras and exception handling. Zbl 0830.68089
Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc
1
1994
Comments on the paper, ”Stochastic integral equations applied to telecommunications traffic without delay”. Zbl 0373.60125
Le Gall, P.
1
1978
Stochastic integral equations applied to telecommunications traffic without delay. Zbl 0301.60041
Le Gall, P.
2
1974
Les systèmes avec ou sans attente et les processus stochastiques. Tome I: Généralites, applications à la recherche opérationnelle. (Collection technique et scientifique du C. N. E. T.). Zbl 0105.33201
Le Gall, P.
5
1962

Citations by Year