Search results for "Pascale Le Gall"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard	Embedding of Biological Regulatory Networks and Property Preservation.	Mathematics in Computer Science	2011	DBLP DOI BibTeX RDF
1	Thomas Bellet, Agnès Arnould, Pascale Le Gall	Rule-based transformations for geometric modelling	TERMGRAPH	2011	DBLP DOI BibTeX RDF
1	Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu	Handling State-Machines Specifications with GATeL.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Delphine Longuet, Marc Aiguier, Pascale Le Gall	Proof-Guided Test Selection from First-Order Specifications with Equality.	J. Autom. Reasoning	2010	DBLP DOI BibTeX RDF
1	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Testing Web Service Orchestrators in Context: A Symbolic Approach.	SEFM	2010	DBLP DOI BibTeX RDF
1	Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall	Designing a Topological Modeler Kernel: A Rule-Based Approach.	Shape Modeling International	2010	DBLP DOI BibTeX RDF
1	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
1	Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès	Spatial Information and Boolean Genetic Regulatory Networks.	BICoB	2009	DBLP DOI BibTeX RDF	Boolean Dynamics, Discrete Mathematical Modelling, Spatial Information, Genetic Regulatory Networks
1	Marie-Claude Gaudel, Pascale Le Gall	Testing data types implementations from algebraic specifications	CoRR	2008	DBLP BibTeX RDF
1	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall	Graph Transformation for Topology Modelling.	ICGT	2008	DBLP DOI BibTeX RDF	topology-based geometric modelling, graph transformation, generalized map
1	Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall	Generation of All-Paths Unit Test with Function Calls.	ICST	2008	DBLP DOI BibTeX RDF	all-paths unit test, unit test with function calls, unit test, constraint solving, structural testing, automatic generation, testing C programs
1	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	Emergent Properties in Reactive Systems.	APSEC	2008	DBLP DOI BibTeX RDF
1	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
1	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	A Formal Definition of Complex Software.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
1	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall	Property Preservation along Embedding of Biological Regulatory Networks.	AB	2008	DBLP DOI BibTeX RDF	Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
1	Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall	Symbolic Modeling of Genetic Regulatory Networks.	J. Bioinformatics and Computational Biology	2007	DBLP DOI BibTeX RDF
1	Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure	Topology-based Geometric Modelling for Biological Cellular Processes.	LATA	2007	DBLP BibTeX RDF
1	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
1	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
1	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
1	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
1	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
1	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil	A Temporal Logic for Input Output Symbolic Transition Systems.	APSEC	2005	DBLP DOI BibTeX RDF	input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
1	Helene Jouve, Pascale Le Gall, Sophie Coudert	An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.	FIW	2005	DBLP BibTeX RDF
1	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
1	Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier	An Environment for Interactive Service Specification.	FIW	2003	DBLP BibTeX RDF
1	Agnès Arnould, Pascale Le Gall	Test de conformité : une approche algébrique.	Technique et Science Informatiques	2002	DBLP BibTeX RDF
1	Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand	Spécifications formelles du chanfreinage.	Technique et Science Informatiques	2002	DBLP BibTeX RDF
1	Marc Aiguier, Christophe Gaston, Pascale Le Gall	Feature Logics and Refinement.	APSEC	2002	DBLP DOI BibTeX RDF	abstract logical framework, formal specification, refinement, feature, feature interaction
1	Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand	Geometric Modelling with CASL.	WADT	2001	DBLP DOI BibTeX RDF	CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications
1	Sophie Coudert, Pascale Le Gall	A Reuse-Oriented Framework for Hierarchical Specifications.	AMAST	2000	DBLP DOI BibTeX RDF	formal structured specification, structured inference, typed equational logic, language theory, reuse, proof system, monoid
1	Sophie Coudert, Gilles Bernot, Pascale Le Gall	Hierarchical Heterogeneous Specifications.	WADT	1998	DBLP DOI BibTeX RDF	structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
1	Gilles Bernot, Laurent Bouaziz, Pascale Le Gall	A Theory of Probabilistic Functional Testing.	ICSE	1997	DBLP DOI BibTeX RDF	probabilistic testing, reliability, formal specification, software testing, random testing, functional testing, partition testing
1	Gilles Bernot, Sophie Coudert, Pascale Le Gall	Towards Heterogeneous Formal Specification.	AMAST	1996	DBLP DOI BibTeX RDF
1	Agnès Arnould, Pascale Le Gall, Bruno Marre	Dynamic Testing from Bounded Data Type Specifications.	EDCC	1996	DBLP DOI BibTeX RDF	bounded data types, test data set selection, formal specifications, software verification, functional testing
1	Pascale Le Gall, Agnès Arnould	Formal Specifications and Test: Correctness and Oracle.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
1	Gilles Bernot, Pascale Le Gall, Marc Aiguier	Label Algebras and Exception Handling.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
1	Gilles Bernot, Pascale Le Gall	Exception Handling and Term Labelling.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications
1	Gilles Bernot, Pascale Le Gall	Label Algebras: A Systematic Use of Terms.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF

Publications of "Pascale Le Gall" ( http://dblp.L3S.de/Authors/Pascale_Le_Gall )