Daniel Prun

According to our database, Daniel Prun authored at least 10 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Formal Verification of Graphical Properties of Interactive Systems.

Daniel Prun, Pascal Béger

Proc. ACM Hum. Comput. Interact., 2022

2021

A Controlled Experiment on using Cognitive Work Analysis for System Engineering definition process.

Daniel Prun, Camille Raymond

Proceedings of the 16th International Conference of System of Systems Engineering, 2021

2019

A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops.

Pascal Béger, Sébastien Leriche, Daniel Prun

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Towards Handling Latency in Interactive Software.

Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet

Proceedings of the Software Technologies: Applications and Foundations, 2018

2016

Extending MBSE methodology and SysML formalism to integrate human considerations.

Camille Raymond, Daniel Prun

Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016

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

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Verification of properties of interactive components from their executable code.

Stéphane Chatty, Mathieu Magnaudet, Daniel Prun

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

2014

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

Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

2013

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

Proceedings of the 25th IEME conference francophone on l'Interaction Homme-Machine, 2013