Publications

Affichage de 4821 à 4830 sur 5540


  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables

Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo

2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩

  • Communication dans un congrès

How to Learn from the Resilience of Human-Machine Systems?

Kiswendsida Abel Ouedraogo, Simon Enjalbert, Frédéric Vanderhaegen

In this paper, we aim to analyse the resilience of Human-Machine Systems (HMS) in order to improve it from learning process. A State of Art is achieved and resilience engineering of HMS is defined. Then, human-machines’ learning processes supposed to improve systems’ resilience and indicators…

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.374-379, ⟨10.3182/20100831-4-FR-2021.00066⟩. ⟨hal-03644372⟩

  • Article dans une revue

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions…

Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩