Publications

• Rapport

Bridging the gap between KAOS requirements models and B specifications

Abderrahman Matoussi, Régine Laleau, Dorian Petit

Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the…

[Research Report] TR-LACL-2009-5, LACL. 2009. ⟨hal-01224650⟩

• Poster de conférence

Impact of the Expertise on the Gathering of Information Contained in the Anesthetic File

Bruno Marciniak, Romaric Marcilly, Julien Aldegheri, Françoise Anceaux

Annual Meeting of the American Society of Anesthesiologists, 2009, New Orleans, United States. ⟨hal-04147019⟩

• Thèse

Laminage à froid des aciers : analyse des mécanismes de lubrification et de leurs impacts sur l'usure et le frottement, Cold rolling of steels : Analysis of the lubrification mechanisms and their impact on friction and wear

Kevin Louaisil

Dans un souci d’augmentation de la productivité et de la qualité de l’acier prélaqué produit à Myriad, le laminoir à froid Sendzimir ZR-22B se doit de suivre cette progression. Que ce soit en limitant la formation trop importante de fines de fer ou en limitant les incidents de laminage, cela…, To improve productivity and quality of Myriad coil coating steel, the cold rolling process (Sendzimir ZR 22-B) has to follow this progress by limiting the production of ferrous residues or by decreasing rolling problems. To achieve these goals the mechanisms of the strip-work roll contact, which is…

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0047⟩. ⟨tel-03015705⟩

• Thèse

Proposition et validation d'un modèle d'amélioration continue pour les processus hospitaliers, A proposal and validation for a generic continuous quality improvement model for hospital processes

Lahcen El Hiki

Sous l'impulsion d'organismes d'accréditation ou d'autres acteurs politico-socio-économique, l'amélioration continue de la qualité (ACQ) est en passe de devenir progressivement une composante à part entière dans le management hospitalier. Cependant, même si certains…, Under the impetus of accreditation agencies and other institutional actors, many hospital organizations have undertaken ambitious projects designed to implement continuous quality improvement (CQI). However, although many have begun, the failure rate of such projects is quite significant. This…

Automatique. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0044⟩. ⟨tel-03012784⟩

• Communication dans un congrès

Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search

Sylvain Boussier, Michel Vasquez, Yannick Vimont, Said Hanafi, Philippe Michelon

We propose an exact method which combines the resolution search and branch & bound algorithms for solving the 0–1 Multidimensional Knapsack Problem. This algorithm is able to prove large–scale strong correlated instances. The optimal values of the 10 constraint, 500 variable instances of the OR…

VI ALIO/EURO Workshop on Applied Combinatorial Optimization, Dec 2008, Buenos Aires, Argentina. ⟨hal-00381898⟩

• Thèse

Exploitation des techniques de modélisation du GL et de l'IHM pour la création de supports communs entre intervenants de projet de développement de systèmes interactifs et pour la modélisation des situations de travail complexes, Use of Software Engineering and Human-Computer Interaction modeling techniques to create common supports between Interactive System development project partners and to support complex work situation modeling, application case: ordering-dispensing-administration medication process in hospital

Stéphanie Bernonville

Ces travaux s'intéressent aux projets de développement visant l'informatisation des situations de travail complexes où les facteurs humains et organisationnels ont un rôle important et où les enjeux de sécurité sont considérables. De tels projets impliquent la participation d'…, This thesis concerns development projects of complex interactive systems and particularly the collaboration between project partners. In complex work situation (where safety issues, risk of organisational changes are important), interactive system design or re-engineering projects involve the…

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2008. Français. ⟨NNT : ⟩. ⟨tel-00393044⟩

• Thèse

Wireless and Wired Ethernet for Intelligent Transportation Systems, Ethernet câblé et sans-fil pour les systèmes de transport intelligents

Ramez Daoud

This study focuses on the wireless as well as the wired aspect of Intelligent Transportation Systems (ITS). The On-Board network of a future smart vehicle is designed using Switched Ethernet as a backbone. This architecture aims at minimizing the amount of wiring present in today’s cars. With the…, Cette étude se focalise sur les aspects de communications filaires et sans fil des systèmes de transports intelligents. Dans une première partie, le réseau embarqué d’un véhicule est constitué à l’aide du réseau Ethernet. Cette approche vise à diminuer la quantité de câbles présents dans les…

Automatic Control Engineering. Université de Valenciennes et du Hainaut-Cambrésis, 2008. English. ⟨NNT : 2008VALE0033⟩. ⟨tel-03012174⟩

• Thèse

PERCOMOM : une méthode de modélisation des applications interactives personnalisées appliquée à l'information voyageur dans le domaine des transports collectifs., PERCOMOM: a modeling method for personalized interactive application Application to traveler information in public transportation

Arnaud Brossard

Cette thèse propose une première version d'une méthode de modélisation des applications interactives personnalisées à travers une approche dirigée par les modèles. Cette méthode, appelée PERCOMOM (PERsonalization and COnceptual MOdeling Method), vise à permettre la création d'applications…, This thesis proposes a first version of a modelling method for personalized interactive applications through a model driven approach. This method, called PERCOMOM (PERsonalization and COnceptual MOdeling Method), aims to allow the creation of interactive applications of WIMP type (Windows, Icons,…

Interface homme-machine [cs.HC]. Université de Valenciennes et du Hainaut-Cambresis, 2008. Français. ⟨NNT : ⟩. ⟨tel-00363256⟩

• Thèse

Contribution des «scénarios patterns» et du raisonnement à partir de cas à la modélisation conceptuelle des applications logicielles, Contribution of "scenarios patterns" and case based reasoning (CBR) to the design modeling of software applications

Bilal Hussein

Situé dans le domaine de l’ingénierie des besoins, l’exposé concerne la contribution de la notion de « scénario pattern » et du Raisonnement à Partir de Cas (RàPC) à la construction automatisée du modèle de conception des applications logicielles complexes. L’objectif est d’optimiser la tâche amont…, Located in the field of requirement engineering, the thesis concerns the contribution of the concept of "scenario pattern" and Case-Based Reasoning (CBR) in order to construct automatically a design model for complex software applications. The objective is to optimize the task ahead of…

Informatique. Université de Valenciennes et du Hainaut-Cambrésis; Université libanaise, 2008. Français. ⟨NNT : 2008VALE0035⟩. ⟨tel-03012339⟩

• Article dans une revue

An iterative variable-based fixation heuristic for the 0-1 multidimensional knapsack problem

Christophe Wilbaut, Saïd Salhi, Saïd Hanafi

An iterative scheme which is based on a dynamic fixation of the variables is developed to solve the 0-1 multidimensional knapsack problem. Such a scheme has the advantage of generating memory information, which is used on the one hand to choose the variables to fix either permanently or temporarily…

European Journal of Operational Research, 2008, 199, pp.339 - 348. ⟨10.1016/j.ejor.2008.11.036⟩. ⟨hal-03723748⟩