Publications

• Article dans une revue

Mise en évidence de la sensibilité à la vitesse de déformation des composites unidirectionnels verre époxy. Proposition d'un modèle numérique

Daniel Coutellier, Patrick Rozycki

La vitesse de déformation est un paramètre essentiel au cours des crash-tests : en effet, il est impératif pour les industriels du domaine des transports de satisfaire les procédures de certification de leurs véhicules, notamment pour la sécurité de leurs occupants. Si le rôle de la vitesse de…

Revue des composites et des matériaux avancés = Journal of Composite and Advanced Materials, 2004, 14 (1), pp.31-50. ⟨10.3166/rcma.14.31-50⟩. ⟨hal-01490187⟩

• 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

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⟩

• Communication dans un congrès

Modélisation orientée agents d'IHM dans un contexte de supervision lié aux transports

Houcine Ezzedine, André Péninou, Christophe Kolski

Cet article décrit une recherche en cours concernant une approche de conception orientée agents d'Interface Homme-Machine. A partir d'un bref rappel des modèles d'architecture de la littérature, nous présentons les motivations de cette approche multi-agents ainsi que ses principes…

Conférence Internationale : Sciences Electroniques, Technologies de l'Information et des Télécommunications, SETIT 2004, Mar 2004, Sousse, Tunisie. pp.295-300. ⟨hal-05368496⟩

• Article dans une revue

Design of intelligent distributed control systems: A dependability point of view

Laurent Cauffriez, Joseph Ciccotelli, Blaise Conrard, Mireille Bayart

The use of fieldbuses and the emergence of intelligent sensors and actuators are opening up new possibilities for distributed control systems, but are also introducing additional constraints in terms of achieving dependability objectives. The type of production environment will greatly determine…

Reliability Engineering and System Safety, 2004, 84 (1), pp.19-32. ⟨10.1016/S0951-8320(03)00174-1⟩. ⟨hal-00289496⟩

• Communication dans un congrès

Conception des systèmes multi-agents : pistes de réflexion en vue de futures coopérations entre ergonomes et informaticiens

Christophe Kolski, Emmanuelle Grislin-Le Strugeon, Emmanuel Adam, Philippe Mathieu

Issus de l’Intelligence Artificielle Distribuée, les agents et systèmes multi-agents sont de plus en plus présents dans les systèmes en interaction avec les utilisateurs. En conséquence, leur utilisation devrait nécessiter l’adaptation ou la définition de méthodes d’analyse, conception et…, Issued from Distributed Artificial Intelligence, agents and multi-agent systems are more and more present in systems in interaction with users. Consequently, their using may necessitate the adaptation or definition of analysis, design and evaluation methods, dedicated to new agent-based systems.…

Actes de la conférence Ergo-IA 2004 (ErgoIA'2004), Nov 2004, Biarritz, France. pp.147--154. ⟨hal-00731990⟩

• Article dans une revue

Contribution to the definition of a partial overlapping plastic strain rates domain for moderate loadings - application to tensile testing on metallic materials

Grégory Haugou, Eric Markiewicz, Jacky Fabis, Gérard Gary

Generally, tensile testing on Hopkinson bars requires some particular considerations. Most of the specific devices, designed to hold tensile sheet specimens on the bars, involve the degradation of the pulses in particular case of no-direct tensile loadings. A tensile testing configuration for sheet…

International Journal of Crashworthiness, 2004, 9 (2), pp.187-194. ⟨10.1533/ijcr.2004.0278⟩. ⟨hal-00111426⟩

• 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

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⟩