| 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 | 28 | 2015 |
| 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 | 21 | 2018 |
| What should adaptivity mean to interactive software programmers? M Magnaudet, S Chatty Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014 | 14 | 2014 |
| Designing, developing and verifying interactive components iteratively with djnn S Chatty, M Magnaudet, D Prun, S Conversy, S Rey, M Poirier 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 9 | 2016 |
| 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 | 6 | 2015 |
| Vers la complétude interactive: exigences pour une machine abstraite orientée interaction: Toward Interactive Completeness: Requirements for an Interactive Abstract Machine A Martin, M Magnaudet, S Conversy Adjunct Proceedings of the 32nd Conference on l'Interaction Homme-Machine, 1-6, 2021 | 3 | 2021 |
| Method, software and processing unit for verifying properties of interactive components S Chatty, M Magnaudet, D Prun US Patent 10,866,878, 2020 | 3 | 2020 |
| Towards handling latency in interactive software S Leriche, S Conversy, C Picard, D Prun, M Magnaudet Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 3 | 2018 |
| Towards support for verification of adaptative systems with djnn D Prun, M Magnaudet, S Chatty COGNITIVE 2015, 7th International Conference on Advanced Cognitive …, 2015 | 2 | 2015 |
| Computers as interactive machines: Can we build an explanatory abstraction? A Martin, M Magnaudet, S Conversy Minds and Machines 33 (1), 83-112, 2023 | 1 | 2023 |
| Causette: user-controlled rearrangement of causal constructs in a code editor A Martin, M Magnaudet, S Conversy Proceedings of the 30th IEEE/ACM International Conference on Program …, 2022 | 1 | 2022 |
| Vers la complétude interactive: exigences pour une machine abstraite orientée interaction A Martin, M Magnaudet, S Conversy 32ème Conférence internationale francophone sur l'interaction homme-machine, 2021 | 1 | 2021 |
| Engineering distributed systems: how efficient is a computational model? A Martin, M Magnaudet International Association for Computing and Philosophy–Annual Meeting, 2019 | 1 | 2019 |
| A process-oriented approach to the science of human-computer interaction M Magnaudet, S Conversy, S Chatty ENAC, 2019 | 1 | 2019 |
| 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 | 1 | 2017 |
| 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 | 1 | 2015 |
| Quel cadre épistémologique pour une science de l'interaction homme-machine? M Magnaudet, S Chatty 27ème conférence francophone sur l'Interaction Homme-Machine., a9, 2015 | 1 | 2015 |
| Satellite link emulation platform for aeronautical application validation F Garcia, A Pirovano, M Magnaudet 28th AIAA International Communications Satellite Systems Conference (ICSSC …, 2010 | 1 | 2010 |
| Modelling interactive computing systems: Do we have a good theory of what computers are? A Martin, M Magnaudet, S Conversy Philosophical Problems in Science, 77-119, 2022 | | 2022 |
| Conception de logiciels interactifs sûrs avec DJNN S Conversy, S Leriche, M Magnaudet, C Picard, D Prun Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, 2018 | | 2018 |
Stéphanie ReyBerger-Levrault在 berger-levrault.com 的电子邮件经过验证
Stéphanie ReyBerger-Levrault在 berger-levrault.com 的电子邮件经过验证