Aucune photo de Isabelle Pollet

Isabelle Pollet

  • 0 Citations
  • 0 h-Index
19982007
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Static analysis, abstract interpretation, object oriented programming, requirements

Charges externes

Business analyst Smals

Diplômes

Licence en Sciences Mathématiques (1995)
Licence et Maîtrise en Informatique (1997)
DEA en Informatique (1999)
Doctorat en Sciences Appliquées (informatique)

Domaines de compétence

Static analysis, abstract interpretation, object oriented programming, requirements

Charges externes

Business analyst Smals

Diplômes

Licence en Sciences Mathématiques (1995)
Licence et Maîtrise en Informatique (1997)
DEA en Informatique (1999)
Doctorat en Sciences Appliquées (informatique)

Empreinte digitale Examinez les sujets de recherche où Isabelle Pollet est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 2 Profils similaires
engineering sciences sociales
language sciences sociales
ontology sciences sociales
popularity sciences sociales
semantics sciences sociales
paradigm sciences sociales
cause sciences sociales
evaluation sciences sociales

Projets 2003 2007

Résultat de recherche 1998 2005

  • 2 Chapitre
  • 1 Autre rapport
  • 1 Article dans les actes d'une conférence/un colloque

A Template-based Analysis of GRL

Dallons, G., Heymans, P. & Pollet, I., 2005, Proc. of EMMSAD'05 (@CAiSE'05), Tenth International Workshop on Exploring Modeling Methods in Systems Analysis and Design. Castro, J., Teniente, E., Halpin, T., Krogstie, J. & Siau, K. (eds.). Porto: FEUP Edicoes, p. 493-504 12 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

A Template-based Analysis of GRL

Dallons, G., Heymans, P. & Pollet, I., 2005, FUNDP Institut d'Informatique.

Résultats de recherche: Livre/Rapport/RevueAutre rapport

A Template-Based Analysis of GRL: Chapter 8

Heymans, P., Saval, G., Dallons, G. & Pollet, I., 2005, Advanced Topics in Database Research . Siau, K. (Ed.). Hershey, PA, USA: Idea group Publishing, Vol 5. p. 124-146 23 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

engineering
language
ontology
popularity
semantics

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Baldan, D., Le Charlier, B., Leclère, C. & Pollet, I., 1998, LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Flener, P. (Ed.). Springer Verlag, Vol 1559. p. 21-40 20 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Thèse

Analyse de strictness des langages applicatifs par l'interprétation abstraite

Auteur: Pollet, I., 1997

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java

Auteur: Pollet, I., 1999

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: DEA typesDEA en Informatique

Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java

Auteur: Dony, G., 2001

Superviseur: Le Charlier, B. (Promoteur) & Pollet, I. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques