Accéder directement au contenu

Stéphane Chatty

8
Documents

Publications

947486
Image document

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

 Mathieu Magnaudet , Stéphane Chatty , Stéphane Conversy , Sébastien Leriche , Célia Picard
Proceedings of the ACM on Human-Computer Interaction , 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩
Article dans une revue hal-01815222v1
Image document

Designing, developing and verifying interactive components iteratively with djnn

 Stéphane Chatty , Mathieu Magnaudet , Daniel Prun , Stéphane Conversy , Stéphanie Rey
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Communication dans un congrès hal-01292291v1
Image document

Towards Support for Verification of Adaptative Systems with Djnn

 Daniel Prun , Mathieu Magnaudet , Stéphane Chatty
COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications, Mar 2015, Nice, France. pp.ISBN: 978-1-61208-390-2
Communication dans un congrès hal-01888093v1

Using the djnn framework to create and validate interactive components iteratively

 Stéphanie Rey , Stéphane Conversy , Mathieu Magnaudet , Mathieu Poirier , Daniel Prun
EICS '15, 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM, Jun 2015, Duisburg, Germany. pp 230-233/978-1-4503-3646-8, ⟨10.1145/2774225.2775438⟩
Communication dans un congrès hal-01166576v1
Image document

Prototypage et développement de cockpit avec djnn

 Stéphane Chatty , Stéphanie Rey , Stéphane Conversy , Mathieu Magnaudet , Mathieu Poirier
27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d07
Communication dans un congrès hal-01219947v2
Image document

Verification of properties of interactive components from their executable code

 Stéphane Chatty , Mathieu Magnaudet , Daniel Prun
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), Jun 2015, Duisbourg, Germany. pp.276-285 ⟨10.1145/2774225.2774848⟩
Communication dans un congrès hal-01619784v1
Image document

Former les futurs concepteurs de systèmes homme-machine complexes

 Hélène Gaspard-Boulinc , Stéphane Conversy , Daniel Prun , Catherine Letondal , Stéphane Chatty
IHM 2013, 25ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Nov 2013, Bordeaux, France. ⟨10.1145/2534903.2534910⟩
Communication dans un congrès hal-00877248v2

A method, software and processing unit for verifying properties of interactive components

 Stéphane Chatty , Daniel Prun , Mathieu Magnaudet
Germany, Patent n° : EP 3106991 A1. 2016
Brevet hal-01610675v1