The FAUST toolset was developed to help reaching high quality in requirements document, especially for complex systems with critical aspects. FAUST provides tools for the validation, verification (...)
Belgium is among the first countries to deploy an electronic identity card (eID). The topic of the last eWish conference was precisely to explain what the eID was about and what kind of applications could be (...)
EXPOFORUM of CharleroiExpo organised a two day event on September 28th to 29th on the theme of security: "Security and Innovations, New Technologies Serving the Enterprise". CETIC was present at EXPOFORUM-Security (...)
Dallons G., Massonet P., Molderez J.F., Ponsard C., Arenas A., ’An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in Grid-based Virtual Organisations’, First International (...)
C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical systems’, in Journal of Formal Methods in System Design (...)
C. Ponsard, C. Broekman, C. Lamy, M. Fraiture, ’Towards a Service Integration Portal for Deaf People’, in proc. International Conference on Computer Helping People (ICCHP’06), LNCS 4061, Linz (...)
C. Ponsard, V. Snoeck, ’Objective Accessibility Assessment of Public Infrastructures’, in proc. International Conference on Computer Helping People (ICCHP’06), LNCS 4061, Linz (Austria), July (...)
Université Catholique de Louvain \ Pôle d’ingénierie informatique
