Publications

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

• Thèse

Moyens d'essais et de caractérisation de lois de comportement en dynamique moyennes vitesses, Experimental procedures to determine dynamic behaviour laws under moderate strain rates loadings

Grégory Haugou

La simulation des situations de crash des moyens de transport requiert la connaissance des paramètres de modèles de comportement viscoplastique. Leur identification repose sur des relations expérimentales fiables dans les domaines quasi-statique et dynamique. Pour établir un croisement des données…, Numerical simulation relative to transportation frameworks crashworthiness requires the knowledge of multiplicative work-hardening models' parameters. There identification is based on reliable experimental data from quasi-static to dynamic loadings. To verify the superposition of the…

Mécanique [physics.med-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0032⟩. ⟨tel-03433045⟩

• Chapitre d'ouvrage

Villes et campagnes dans le cadre des nouvelles institutions écossaises

Edwige Camp-Pietrain

Emmanuel Roudaut. Villes et campagnes britanniques. Confrontation ou (con)fusion?, Presses Universitaires de Valenciennes, pp.243-258, 2003, 9782905725561. ⟨hal-04082822⟩

• Communication dans un congrès

Vers une personnalisation de l'information dans les transports

Christelle Petit-Rozé, Emmanuelle Grislin-Le Strugeon, Guillaume Uster, Christophe Kolski, Mourad Abed

L'aide aux voyageurs dans la planification de leur déplacement consiste à leur proposer de l'information sous la forme d'un ou plusieurs chaînages possibles de modes de transports, en tenant compte des contraintes de lieux et d'horaires. La prise en compte de contraintes…, To help the passengers in the planning of their trip consists in proposing them the information in the shape of one or several chains of means of transport, by taking into account the constraints of places and timetables. The consideration of supplementary constraints for a particular person, as…

Colloque TILT, Innovation Technologique dans les Transports Terrestres, Dec 2003, Lille, France. ⟨hal-03429511⟩

• Communication dans un congrès

AgenPerso : IHM à base d'AGENts logiciels PERSOnnels d'information aux usagers des transports collectifs, AgenPerso: a user interface based on personal software agents for public transportation users

Christelle Petit-Rozé, Christophe Kolski, Emmanuelle Grislin-Le Strugeon, Abdouroihamane Anli, Mourad Abed, Guillaume Uster

This paper presents our research into intelligent agentsbased Human-Computer interactions. Our goal is to design personalized information systems. For that, the aim of their intelligent interfaces is to understand the users needs, to identify his/her preferences and, to satisfy his/her expectations…

the 15th French-speaking conference on human-computer interaction, Nov 2003, Caen, France. pp.260-263, ⟨10.1145/1063669.1063712⟩. ⟨hal-03270998⟩

• Communication dans un congrès

Les loisirs et les nouvelles institutions écossaises: une volonté de démocratisation?

Edwige Camp-Pietrain

Le loisir en Ecosse, Jean Berton, Oct 2003, Saint Etienne, France. ⟨hal-04518176⟩

• Thèse

Étude expérimentale de l'évaporation flash d'un film d'eau, Experimental study of the flash evaporation of a water film

Didier Saury

L'évaporation flash (ou flashing) est le procédé par lequel de la vapeur est libérée d'un écoulement de liquide ou d'un réservoir contenant un liquide par variation soudaine des propriétés thermodynamiques en dessous des conditions de saturation du liquide. Ce travail présente les…, Evaporation flash (or flashing) is the process which releases vapour from a liquid flow or a tank containing a liquid by sudden variation of the thermodynamic properties below the saturation conditions of this liquid. This work shows the experimental study of the influence of parameters such as the…

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, UVHC, (France), 2003. Français. ⟨NNT : 2003VALE0020⟩. ⟨tel-03001965⟩

• Rapport

Analyse, conception et évaluation de système interactif d'aide à la décision : application au choix des investissements dans le domaine ferroviaire

Sophie Lepreux, Mourad Abed, Christophe Kolski

[Rapport de recherche] Université de valenciennes et du Hainaut-Cambrésis; LAMIH, Valenciennes. 2003. ⟨hal-03484877⟩

• Communication dans un congrès

Les enjeux spécifiques de la modernisation des services publics en Ecosse

Edwige Camp-Pietrain

Les services publics britanniques, Gilles Leydier, Sep 2003, Toulon, France. ⟨hal-04518452⟩

• Communication dans un congrès

Modelling of agent oriented interaction using Petri Nets : application to HMI design for transport system supervision

Houcine Ezzedine, Abdelwaheb Trabelsi, Christophe Kolski

CESA2003 IMACS Multiconference Computational Engineering in Systems Applications, Jul 2003, Lille, France. pp.1-8. ⟨hal-03326765⟩