Photo de Hubert TOUSSAINT

Hubert TOUSSAINT

  • 11 Citations
  • 1 h-Index
20072012

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Diplômes

2005 - Maîtrise en Informatique
2007 - DEA Inter-Universitaire en Informatique

Diplômes

2005 - Maîtrise en Informatique
2007 - DEA Inter-Universitaire en Informatique

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Hubert TOUSSAINT est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 14 Profils similaires

Projets

MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications

SCHOBBENS, P., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., ENGLEBERT, V., FAULKNER, S., GENON, N., Habra, N., HAINAUT, J., HEYMANS, P., HUBAUX, A., JURETA, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., TOUSSAINT, H., Trigaux, J., Vanderose, B. & Zeippen, J.

1/01/0731/12/11

Projet: Recherche

Résultat de recherche

  • 11 Citations
  • 1 h-Index
  • 3 Article dans les actes d'une conférence/un colloque
  • 1 Livre

Towards a More Semantically Transparent i* Visual Syntax

Genon, N., Caire, P. P., Toussaint, H., Heymans, P. & Moody, D., 2012, (Non publié) Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol 7195. p. 140-146 7 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

  • Tool support for code generation from a UMLsec property

    Montrieux, L., J{\"u}rjens, J., B. Haley, C., Yu, Y., Schobbens, P-Y. & Toussaint, H., 2010, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Pecheur, C., Andrews, J. & Di, E. (eds.). ACM Press, p. 357-358 2 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

    Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler

    Linden, I., Toussaint, H., Classen, A. & Schobbens, P-Y., 2008, ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008. Williams, R. (Ed.). p. 109-117 9 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

    File
    43 Téléchargements (Pure)

    AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007

    Saval, G. (Ed.), Toussaint, H. (Ed.), Schobbens, P-Y. & Potet, M-L. (Ed.), 2007, Namur: Presses universitaires de Namur. 304 p.

    Résultats de recherche: Livre/Rapport/RevueLivre

    Thèse

    Formalisation des politiques de contrôle d'accès

    Author: Toussaint, H., 2006

    Superviseur: Schobbens, P. (Promoteur)

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

    Formal Modeling and Verification of Access-Control Policies

    Author: Toussaint, H., 21 sept. 2011

    Superviseur: Schobbens, P. (Promoteur), Jacquet, J. (Président), Colin, J. (Jury), Morisset, C. (Personne externe) (Jury) & Le Traon, Y. (Personne externe) (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Fichier

    Méthodes de communication inter-processus

    Author: Toussaint, H., 2004

    Superviseur: Ramaekers, J. (Promoteur)

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