Photo of Hubert TOUSSAINT

Hubert TOUSSAINT

  • 11 Citations
  • 1 h-Index
20072012

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Diplomas

PhD in Science (Computer Science)

Title of the thesis : "Formal Modeling and Verification of Access-Control Policies" (http://hdl.handle.net/2078.2/90861)

Diplomas

PhD in Science (Computer Science)

Title of the thesis : "Formal Modeling and Verification of Access-Control Policies" (http://hdl.handle.net/2078.2/90861)

Fingerprint Dive into the research topics where Hubert TOUSSAINT is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

Projects

MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software

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

Project: Research

Research Output

  • 11 Citations
  • 1 h-Index
  • 3 Conference contribution
  • 1 Book

Towards a More Semantically Transparent i* Visual Syntax

Genon, N., Caire, P. P., Toussaint, H., Heymans, P. & Moody, D., 2012, (Unpublished) 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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • 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.

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    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.

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    File

    Thesis

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

    Author: Toussaint, H., 2006

    Supervisor: Schobbens, P. (Supervisor)

    Student thesis: DEA typesDEA in Computer Science

    Formal Modeling and Verification of Access-Control Policies

    Author: Toussaint, H., 21 Sep 2011

    Supervisor: Schobbens, P. (Supervisor), Jacquet, J. (President), Colin, J. (Jury), Morisset, C. (External person) (Jury) & Le Traon, Y. (External person) (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Méthodes de communication inter-processus

    Author: Toussaint, H., 2004

    Supervisor: Ramaekers, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science