Mathieu Magnaudet
Title
Cited by
Cited by
Year
Verification of properties of interactive components from their executable code
S Chatty, M Magnaudet, D Prun
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive …, 2015
232015
What should adaptivity mean to interactive software programmers?
M Magnaudet, S Chatty
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
112014
Designing, developing and verifying interactive components iteratively with djnn
S Chatty, M Magnaudet, D Prun, S Conversy, S Rey, M Poirier
92016
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming
M Magnaudet, S Chatty, S Conversy, S Leriche, C Picard, D Prun
Proceedings of the ACM on Human-Computer Interaction 2 (EICS), 1-27, 2018
72018
Using the djnn framework to create and validate interactive components iteratively
S Rey, S Conversy, M Magnaudet, M Poirier, D Prun, JL Vinot, S Chatty
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive …, 2015
52015
Towards handling latency in interactive software
S Leriche, S Conversy, C Picard, D Prun, M Magnaudet
Federation of International Conferences on Software Technologies …, 2018
32018
Towards support for verification of adaptative systems with djnn
D Prun, M Magnaudet, S Chatty
Proceedings of Cognitive 3 (2015), 191-194, 2015
32015
A process-oriented approach to the science of human-computer interaction
M Magnaudet, S Conversy, S Chatty
12019
What epistemological framework for a science of human-machine interaction?
M Magnaudet, S Chatty
Proceedings of the 27th Conference on l'Interaction Homme-Machine, 1-10, 2015
12015
Satellite link emulation platform for aeronautical application validation
F Garcia, A Pirovano, M Magnaudet
28th AIAA International Communications Satellite Systems Conference (ICSSC …, 2010
12010
Engineering distributed systems: how efficient is a computational model?
A Martin, M Magnaudet
2019
Towards Handling Latency in Interactive Software
M Magnaudet
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
2018
Conception de logiciels interactifs sûrs avec DJNN
S Conversy, S Leriche, M Magnaudet, C Picard, D Prun
2018
Djnn: a process oriented programming language for interactive systems
M Magnaudet, S Rey, S Conversy
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing …, 2017
2017
A method, software and processing unit for verifying properties of interactive components
S Chatty, D Prun, M Magnaudet
2016
Prototypage et développement de cockpit avec djnn
S Chatty, S Rey, S Conversy, M Magnaudet, M Poirier, D Prun, M Pujos, ...
2015
Prototypage et développement de cockpit avec djnn
S Chatty, S Rey, S Conversy, M Magnaudet, M Poirier, D Prun, M Pujos, ...
2015
Quel cadre épistémologique pour une science de l'interaction homme-machine?
M Magnaudet, S Chatty
2015
Qu'est-ce que programmer une interface adaptative? Le cas du prototype de station sol pour drones du projet D3CoS
M Magnaudet
2014
Computation or Dynamics: Does it Matter For a Theory of Mind?
M Magnaudet
2005
The system can't perform the operation now. Try again later.
Articles 1–20