Publications

• Communication dans un congrès

Personnalisation et prise en compte du contexte dans les modèles conceptuels pour la conception des SI

Arnaud Brossard, Mourad Abed, Christophe Kolski

L’informatique étant de plus en plus nomade, la prise en compte du contexte dans les applications interactives devient indispensable pour pouvoir fournir la bonne information au bon moment. Ceci implique de pouvoir gérer le contexte lors de la modélisation des applications. Dans nos travaux, nous…, Computing is becoming more and more mobile, the management of the context inside interactive applications is becoming essential to give the right information at the right time. This implies to manage the context when modelling applications. In our work, we have defined a first approach to do it…

INFORSID 2009, May 2009, Toulouse, France. pp.13-24. ⟨hal-03429347⟩

• 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

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

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

Integrating human factors in the design of intelligent systems: an example in air traffic control

Serge Debernard, Benoît Guiost, Thierry Poulain, Igor Crevits, David Annebicque, Patrick Millot

In the current organisation of air traffic control, some cooperative activities appear in the work of air traffic controllers, especially between Tactical Controllers (TC) and Planning Controllers (PC), who manage aircraft inside a sector to prevent collisions. These cooperative activities allow…

Int. J. Intelligent Systems Technologies and Applications, 2009, 7 (2), pp.205 - 226. ⟨10.1504/IJISTA.2009.026088⟩. ⟨hal-02112887⟩