researcher / Pascale Le Gall

Pascale Le Gall

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Les algebres etiquetees : une semantique pour les specifications algebriques fondee sur une utilisation systematique des termes. application au test de logiciel avec traitement d'exceptions

Directed Thesis:

An operational semantics of interactions for verifying partially observed executions of distributed systems
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol
Relational properties for specification and verification of C programs in Frama-C
Certified algorithms for program slicing
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem
Model-Based Testing over IOSTS enriched with function calls
Techniques de model-checking pour l’inférence de paramètres et l’analyse de réseaux biologiques
Transformations de graphes pour la modélisation géométrique à base topologique
Vers un environnement générique pour la prise en compte de la topologie des structures cellulaires dans les modèles de processus biologiques
Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,
Etude de la préservation des propriétés temporelles des réseaux de régulation génétique au travers du plongement : vers une caractérisation des systèmes complexes par l'émergence de propriétés
Symbolic test case generation for testing orchestrators in context
Transformations de graphes pour les opérations topologiques en modélisation géométrique : application à l'étude de la dynamique de l'appareil de Golgi
Automatisation du test de tous-les-chemins en présence d'appels de fonction
Systèmes multi-agents adaptatifs avec contraintes temps-réel : De la spécification formelle à la vérification et à la génération de code
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques
Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution
Un cadre méthodologique pour l'intégration de services par évitement des interactions
Caractérisation et détection automatique d'interactions de services à partir de spécifications graphiques
Une description générique formelle des systèmes à base de services : Application du raffinement et de l' enrichissement algébrique au problème des interactions de services
Etude et spécifications formelles de l'arrondi d'objets géométriques