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)

Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication. - Catherine Letondal; Pierre Yves Pillain; Emile Verdurand; Daniel Prun; Olivier Grisvard (BCS HCI, 2014)

Verification of properties of interactive components from their executable code. - Stéphane Chatty; Mathieu Magnaudet; Daniel Prun (EICS, 2015)

Using the djnn framework to create and validate interactive components iteratively. - Stéphanie Rey; Stéphane Conversy; Mathieu Magnaudet; Mathieu Poirier; Daniel Prun; Jean-Luc Vinot; Stéphane Chatty (EICS, 2015)

Extending MBSE methodology and SysML formalism to integrate human considerations. - Camille Raymond; Daniel Prun (HCI-Aero, 2016)

Towards Handling Latency in Interactive Software. - Sébastien Leriche; Stéphane Conversy; Célia Picard; Daniel Prun; Mathieu Magnaudet (STAF Workshops, 2018)

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; Daniel Prun (Proc. ACM Hum. Comput. Interact., 2018)

A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. - Pascal Béger; Sébastien Leriche; Daniel Prun (FM Workshops (1), 2019)

A Controlled Experiment on using Cognitive Work Analysis for System Engineering definition process. - Daniel Prun; Camille Raymond (SoSE, 2021)

Formal Verification of Graphical Properties of Interactive Systems. - Daniel Prun; Pascal Béger (Proc. ACM Hum. Comput. Interact., 2022)