Daniel Prun

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 6

Top Topics

Keynote Speakers

Interactive Systems

Doctoral Consortium

Top Venues

Proc. ACM Hum. Comput. Interact.

FM Workshops (1)

Publications

Daniel Prun, Pascal Béger
Formal Verification of Graphical Properties of Interactive Systems. Proc. ACM Hum. Comput. Interact. 6 (EICS) (2022)
Daniel Prun, Camille Raymond
A Controlled Experiment on using Cognitive Work Analysis for System Engineering definition process. SOSE (2021)
Pascal Béger, Sébastien Leriche, Daniel Prun
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. FM Workshops (1) (2019)
Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet
Towards Handling Latency in Interactive Software. STAF Workshops (2018)
Mathieu Magnaudet, Stéphane Chatty, Stéphane Conversy, Sébastien Leriche, Célia Picard, Daniel Prun
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming. Proc. ACM Hum. Comput. Interact. 2 (2018)
Camille Raymond, Daniel Prun
Extending MBSE methodology and SysML formalism to integrate human considerations. HCI-Aero (2016)
Stéphanie Rey, Stéphane Conversy, Mathieu Magnaudet, Mathieu Poirier, Daniel Prun, Jean-Luc Vinot, Stéphane Chatty
Using the djnn framework to create and validate interactive components iteratively. EICS (2015)
Stéphane Chatty, Mathieu Magnaudet, Daniel Prun
Verification of properties of interactive components from their executable code. EICS (2015)
Catherine Letondal, Pierre Yves Pillain, Emile Verdurand, Daniel Prun, Olivier Grisvard
Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication. BCS HCI (2014)
Hélène Gaspard-Boulinc, Stéphane Conversy, Daniel Prun, Catherine Letondal, Stéphane Chatty
Former les futurs concepteurs de systèmes homme-machine complexes. IHM (2013)