Stéphane Chatty
10
Documents
Publications
- 10
- 7
- 5
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 1
|
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented ProgrammingProceedings 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
|
|
Designing, developing and verifying interactive components iteratively with djnn8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Communication dans un congrès
hal-01292291v1
|
Using the djnn framework to create and validate interactive components iterativelyEICS '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
|
|
|
Quel cadre épistémologique pour une science de l'interaction homme-machine ?27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.a9, ⟨10.1145/2820619.2820628⟩
Communication dans un congrès
hal-01218620v1
|
|
Verification of properties of interactive components from their executable code7th 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
|
|
Prototypage et développement de cockpit avec djnn27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d07
Communication dans un congrès
hal-01219947v2
|
|
Towards Support for Verification of Adaptative Systems with DjnnCOGNITIVE 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
|
|
What should adaptivity mean to interactive software programmers?EICS 2014, ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2014, Rome, Italy. pp 13-22, ⟨10.1145/2607023.2607028⟩
Communication dans un congrès
hal-01011095v1
|
A method, software and processing unit for verifying properties of interactive componentsGermany, Patent n° : EP 3106991 A1. 2016
Brevet
hal-01610675v1
|
|
A process-oriented approach to the science of human-computer interaction[Research Report] RR-ENAC-2019-01, ENAC. 2019
Rapport
hal-02104183v1
|