Edit Profile Le Gall, Pascale Compute Distance To: Compute Author ID: le-gall.pascale Published as: Le Gall, P.; Le Gall, Pascale Documents Indexed: 21 Publications since 1962, including 1 Book all top 5 Co-Authors 0 single-authored 7 Aiguier, Marc 6 Arnould, Agnès 3 Comet, Jean-Paul 2 Belhaouari, Hakim 2 Bellet, Thomas 2 Bernot, Gilles 2 Coudert, Sophie 2 Gaston, Christophe 2 Kosmatov, Nikolai 2 Léchenet, Jean-Christophe 2 Longuet, Delphine 2 Mabrouki, Mbarka 2 Rapin, Nicolas 2 Touil, Assia 1 Berkani, Karim 1 Bertrand, Yves 1 Boin, Clément 1 Klay, Francis 1 Ledoux, Franck 1 Marre, Bruno 1 Poudret, Mathieu 1 Richard, Adrien Serials 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Mathematics in Computer Science Fields 17 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications 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.68413Gaston, 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.33201Le Gall, P. 5 1962 Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, 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.68447Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine 2 2007 Stochastic integral equations applied to telecommunications traffic without delay. Zbl 0301.60041Le Gall, P. 2 1974 Cut branches before looking for bugs: sound verification on relaxed slices. Zbl 1378.68023Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale 1 2016 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024Mabrouki, 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.68221Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale 1 2010 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 1 2008 Symbolic execution techniques for refinement testing. Zbl 1196.68049Le Gall, Pascale; Rapin, Nicolas; Touil, Assia 1 2007 Label algebras and exception handling. Zbl 0830.68089Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc 1 1994 Comments on the paper, ”Stochastic integral equations applied to telecommunications traffic without delay”. Zbl 0373.60125Le Gall, P. 1 1978 Cut branches before looking for bugs: sound verification on relaxed slices. Zbl 1378.68023Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale 1 2016 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024Mabrouki, 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.68221Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale 1 2010 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 1 2008 Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine 2 2007 Symbolic execution techniques for refinement testing. Zbl 1196.68049Le Gall, Pascale; Rapin, Nicolas; Touil, Assia 1 2007 Symbolic execution techniques for test purpose definition. Zbl 1185.68413Gaston, Christophe; Le Gall, Pascale; Rapin, Nicolas; Touil, Assia 8 2006 Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno 3 2006 Label algebras and exception handling. Zbl 0830.68089Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc 1 1994 Comments on the paper, ”Stochastic integral equations applied to telecommunications traffic without delay”. Zbl 0373.60125Le Gall, P. 1 1978 Stochastic integral equations applied to telecommunications traffic without delay. Zbl 0301.60041Le 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.33201Le Gall, P. 5 1962 all cited Publications top 5 cited Publications all top 5 Cited by 40 Authors 6 Aiguier, Marc 5 Le Gall, Pascale 2 Asmussen, Søren 2 Longuet, Delphine 2 Rodríguez, Ismael 1 Arbab, Farhad 1 Arnould, Agnès 1 Bahrami, Diane 1 Bockmayr, Alexander 1 Boin, Clément 1 Boulanger, Frédéric 1 Bruneel, Herwig 1 Cohen, Jacob Willem 1 Comet, Jean-Paul 1 Gallois, Jean-Pierre 1 Hojjat, Hossein 1 Jéron, Thierry 1 Kanso, Bilal 1 Klüppelberg, Claudia 1 König, Dieter 1 Kosmatov, Nikolai 1 Labbe, Sebastien 1 Laevens, Koenraad 1 Léchenet, Jean-Christophe 1 Lorenz, Therese 1 Mabrouki, Mbarka 1 Marre, Bruno 1 Pontier, Jacques 1 Pourvatan, Bahman 1 Rapin, Nicolas 1 Richard, Adrien 1 Rogiest, Wouter 1 Rosa-Velardo, Fernando 1 Rubio, Fernando 1 Rykov, Vladimir Vasil’evich 1 Schmidt, Volker 1 Siebert, Heike 1 Sigman, Karl 1 Sirjani, Marjan 1 Walraevens, Joris all top 5 Cited in 14 Serials 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Stochastic Processes and their Applications 1 Bulletin of Mathematical Biology 1 Journal of Soviet Mathematics 1 Statistica Neerlandica 1 Theoretical Computer Science 1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 1 Science of Computer Programming 1 Annals of Operations Research 1 The Bulletin of Mathematical Biophysics 1 Mathematics in Computer Science 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 13 Computer science (68-XX) 6 Probability theory and stochastic processes (60-XX) 3 Mathematical logic and foundations (03-XX) 3 Biology and other natural sciences (92-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year