Photo of Hubert Toussaint

Hubert Toussaint

  • 11 Citations
  • 1 h-Index
20072012
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.

  • 12 Similar Profiles
Transparency Engineering & Materials Science
Semantics Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Communication Engineering & Materials Science
Defects Engineering & Materials Science
Experiments Engineering & Materials Science
Modeling languages Engineering & Materials Science

Projects 2007 2011

Research Output 2007 2012

  • 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

Transparency
Semantics
Requirements engineering
Communication
Defects

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