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⟩

• Ouvrages

Mathématiques pour l'ingénieur

Jean-Pierre Richard, Hugues Mounier, Abdennebi Achour, Lotfi Belkoura, Selma Ben Attia, Michel Dambrine, Mekki Ksouri, Wilfrid Perruquetti, Joachim Rudolph, Salah Salhi, Franck Woittennek

1. Introduction aux distributions. 2. Optimisation et LMI. 3. Systèmes stochastiques. 4. EDO non linéaires. 5. Calcul des variations. 6. Systèmes à retards. 7. Commande algébrique des EDP. 8. Platitude et algèbre différenetielle.

R. Ben Abdennour, K. Abderrahim, H. Mounier. ATAN, Association Tunisienne d'Automatique et de Numérisation, pp.384, 2009, J.P. Richard. ⟨hal-00519555⟩

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

• Article dans une revue

Revisiting multipoint relay selection in the optimized link state routing protocol

Dhavy Gantsou, Patrick Sondi, Said Hanafi

The objective of the multipoint relay (MPR) technique is to reduce the number of redundant retransmissions, while ensuring reliable delivery of broadcast messages in wireless networks. To do this, it is necessary to select a small set of re-transmitter nodes, called multipoint relays. Selecting…

International journal of communication networks and distributed systems, 2009, 2 (1), pp.4. ⟨10.1504/IJCNDS.2009.021691⟩. ⟨hal-03447670⟩

• Chapitre d'ouvrage

Trace-based usability evaluation using aspect-oriented programming and agent-based software architecture

J.C. Tarby, Houcine Ezzedine, Christophe Kolski

Interactive system evaluation is currently the subject of numerous research projects. Some are intended to link design and evaluation explicitly by different software mechanisms. In this chapter, we describe two evaluation approaches based on the concept of traces, taking advantage of new…

Ahmed Seffah, Jean Vanderdonckt, Michel Desmarais. Human-Centered Software Engineering, Springer-Verlag, pp.257-276, 2009, 978-1-84800-906-6. ⟨hal-03270155⟩

• Article dans une revue

A third order sliding mode controller for a stepper motor

Michael Defoort, Frédéric Nollet, Thierry Floquet, Wilfrid Perruquetti

This paper deals with the robust control problem of a stepper motor subject to parameter uncertainties and load torque perturbation. The developed algorithm is based on third-order sliding-mode control such that a desired angular motor position is accurately tracked. The proposed scheme requires…

IEEE Transactions on Industrial Electronics, 2009, 56 (9), pp.3337-3346. ⟨10.1109/TIE.2009.2026378⟩. ⟨hal-00731474⟩

• Article dans une revue

Dispositif expérimental d'analyse des performances de cellules photovoltaïques

Jean-Paul Becar, Fabrice Robert, Jean-Charles Canonne, Laurent Vermeiren

L'article rapporte un travail de conception, de réalisation et d'utilisation d'un dispositif expérimental d'analyse de performances de cellules photovoltaïques. Initié à son origine par des questionnements d'étudiants d'un Institut Universitaire de Technologie relatifs…

Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2009, 8, pp.1009. ⟨10.1051/j3ea:2008050⟩. ⟨hal-02049289⟩

• Article dans une revue

A Hybrid Algorithm for the Unbounded Knapsack Problem

Vincent Poirriez, Nicola Yanev, Rumen Andonov

This paper presents a new approach for exactly solving the Unbounded Knapsack Problem (UKP) and proposes a new bound that was proved to dominate the previous bounds on a special class of UKP instances. Integrating bounds within the framework of sparse dynamic programming led to the creation of an…

Discrete Optimization, 2009, 6, pp.110-124. ⟨10.1016/j.disopt.2008.09.004⟩. ⟨inria-00335065⟩

• Article dans une revue

Un algorithme GRASP pour le problème de planification de techniciens et d'interventions pour les télécommunications, A GRASP algorithm for the problem of planning technicians and scheduling interventions in telecommunications

Sylvain Boussier, Hashimoto Hideki, Michel Vasquez, Christophe Wilbaut

Le problème de planification de techniciens et d'interventions pour les télécommunications (TIST pour Technicians and Interventions Scheduling Problem for Telecommunications) comprend la planification d'interventions et l'affectation d'équipes de techniciens à ces interventions…

RAIRO - Operations Research, 2009, 43 (4), pp.387-407. ⟨10.1051/ro/2009027⟩. ⟨hal-00842407⟩

• Communication dans un congrès

Evaluation of agent-based interactive systems, application to an information assistance system: first results

Abdelwaheb Trabelsi, Houcine Ezzedine, Christophe Kolski

The evaluation of interactive systems is a wide and rich research domain: many methods, criteria and tools are available. In this article, we are focused on agent-based interactive systems. We first describe the agent oriented architecture used in our researches. Then we propose an evaluation…

28th European Annual Conference on Human Decision-Making and Manual Control, 2009, Reims, France. pp.45-50. ⟨hal-03474482⟩