Publications

• Communication dans un congrès

Spécification d'IHM dans les systèmes critiques : retour d'expérience sur une pratique en enseignement de l'IHM

Christophe Kolski, Mouldi Sagar, Pierre Loslever

HCI teaching about critical systems requires the use of pedagogical approaches adapted to the specificities linked to the application field. This paper aims at providing a feedback after nine years of practice in a 4 years course program in Electrical Engineering and Industrial Informatics,…, L’enseignement de l’IHM en rapport avec les systèmes critiques nécessite l’emploi de démarches pédagogiques adaptées en raison des spécificités et en-jeux liés à ce domaine d’application. Cet article a pour objectif de fournir un retour d’expérience sur neuf années de pratique dans une formation d’…

IHM '04: Proceedings of the 16th Conference on l'Interaction Homme-Machine, Aug 2004, Namur, Belgium. pp.157-164, ⟨10.1145/1148613.1148635⟩. ⟨hal-03270945⟩

• Article dans une revue

Analyse et conception d'un outil interactif d'aide à la gestion des emplois du temps basé sur les points de vue

Sylvain Piechowiak, Christophe Kolski

La gestion des emplois du temps est un problème difficile, notamment dans les universités, et qui consomme de nombreuses ressources humaines et donc financières. Cet article est relatif à l’analyse et la conception d’un outil interactif d’aide à la gestion des emplois du temps capable de prendre en…

Revue d’Interaction Homme Machine , 2004, 5 (2), pp.1-30. ⟨hal-03390782⟩

• Article dans une revue

Démarche d'évaluation d'IHM dans les systèmes complexes, application à un poste de supervision du trafic ferroviaire

Houcine Ezzedine, Christophe Kolski

Dans cet article, nous présentons une méthode d’évaluation d’Interface Homme-Machine basée sur l’utilisation d’un oculomètre, outil de mesure de mouvements oculaires, associé à d’autres techniques traditionnelles d’évaluation : mouchard électronique, verbalisations et questionnaire ; un de nos…

Revue d’Interaction Homme Machine , 2004, 7 (2), pp.91-122. ⟨hal-03390958⟩

• Article dans une revue

A genetic algorithm for robust schedules in a just-in-time environment

Anirut Kantasa-Ard, Maroua Nouiri, Abdelghani Bekrar, Abdessamad Ait El Cadi, Yves Sallez

AAPS PharmSciTech, 2004, pp.1-25. ⟨hal-03369143⟩

• Article dans une revue

Evaluation of multimedia applications using inspection methods: the Cognitive Walkthrough case

Julien Huart, Christophe Kolski, Mouldi Sagar

Many evaluation methods are to be found in research literature: they can be formal, automatic, empirical or informal. The informal methods include the so-called inspection methods, which provide a good compromise between the cost and implementation time on the one hand, and the results they make it…

Interacting with Computers, 2004, 16 (2), pp.183-215. ⟨10.1016/j.intcom.2003.12.005⟩. ⟨hal-03279454⟩

• N°spécial de revue/special issue

Special Issue on Computer-Aided Design of User Interfaces

Christophe Kolski, Jean Vanderdonckt

Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, 5 (1), 2004. ⟨hal-03270010⟩

• Article dans une revue

Towards A Generic Object Oriented Decision Support System for University Timetabling : An Interactive Approach

Sylvain Piechowiak, Christophe Kolski

Timetable management in universities is a complicated issue which uses up a great deal of human resources and is therefore very costly. This article deals with the analysis and design of an interactive decision support system for timetable management. This tool will be able to take hierarchical…

International Journal of Information Technology and Decision Making, 2004, 3 (1), pp.179-208. ⟨10.1142/S0219622004000982⟩. ⟨hal-03279470⟩

• Article dans une revue

Les odeurs, une préoccupation de santé publique urbaine.

Isabelle Roussel, Guillaume Schmitt

Pollution Atmosphérique : climat, santé, société, 2004, 181, pp.7-14. ⟨hal-04500626⟩

• Article dans une revue

A genetic algorithm for robust schedules in a just-in-time environment

Marc Sevaux, Kenneth Sorensen

Computing a schedule for a single machine problem is often difficult for irregular criteria, but when the data are uncertain, the problem is much more complicated. In this paper, we modify a genetic algorithm to compute robust schedules when release dates are subject to small variations. Two types…

AAPS PharmSciTech, 2004, pp.1-25. ⟨10.1007/s10288-003-0028-0⟩. ⟨hal-03368987⟩

• Thèse

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B, Automatic generation of reliable components from B formal specifications

Dorian Petit

Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un…, These works are related to the study of the code generation from B formal specifications. The main aspect that should be studied in the code generation is the modularity of the B language. We have expressed the B modularity with an Harper-Lillibridge-Leroy module system (an ML-like module system).…

Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0039⟩. ⟨tel-03420740⟩