Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Prun, Daniel
59  Ergebnisse:
Personensuche X
?
1

Formal Verification of Graphical Properties of Interactive ..:

Prun, Daniel ; Béger, Pascal
Proceedings of the ACM on Human-Computer Interaction.  6 (2022)  EICS - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
2

A Survey of Papers from Formal Methods for Interactive Syst..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
Béger, Pascal ; Leriche, Sebastien ; Prun, Daniel - p. 443-464 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Overcoming Challenges on an International Project to Advanc..:

Davidz, Heidi ; Ferris, T.L.J. ; Henry, Devanandham...
INSIGHT.  22 (2019)  3 - p. 41-48 , 2019
Link: https://doi.org/10.1002/..
 
?
4

Djnn/Smala : A Conceptual Framework and a Language for I..:

Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane...
Proceedings of the ACM on Human-Computer Interaction.  2 (2018)  EICS - p. 1-27 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

Towards Handling Latency in Interactive Software:

, In: Lecture Notes in Computer Science; Software Technologies: Applications and Foundations,
Leriche, Sébastien ; Conversy, Stéphane ; Picard, Celia.. - p. 233-239 , 2018
Link: https://doi.org/10.1007/..
 
?
6

Djnn/Smala: A Conceptual Framework and a Language for Inter..:

Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane...
Proceedings of the ACM on Human-Computer Interaction.  2 (2018)  EICS - p. 1-27 , 2018
Link: https://doi.org/10.1145/..
 
?
7

Extending MBSE methodology and SysML formalism to integrate..:

, In: Proceedings of the International Conference on Human-Computer Interaction in Aerospace,
Raymond, Camille ; Prun, Daniel - p. 1-4 , 2016
Link: https://dl.acm.org/doi/1..
 
?
8

Verification of properties of interactive components from t..:

, In: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems,
Chatty, Stéphane ; Magnaudet, Mathieu ; Prun, Daniel - p. 276-285 , 2015
Link: https://dl.acm.org/doi/1..
 
?
9

Using the djnn framework to create and validate interactive..:

, In: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems,
Rey, Stéphanie ; Conversy, Stéphane ; Magnaudet, Mathieu... - p. 230-233 , 2015
Link: https://dl.acm.org/doi/1..
 
?
10

Of Models, Rationales and Prototypes : Studying Designer..:

, In: Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014 - Sand, Sea and Sky - Holiday HCI,
Letondal, Catherine ; Pillain, Pierre-Yves ; Verdurand, Emile.. - p. 72-81 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

7.3.3 Integrating Systems Engineering with Project Manageme..:

Xue, Rui ; Baron, Claude ; Esteban, Philippe.
INCOSE International Symposium.  24 (2014)  1 - p. 693-704 , 2014
Link: https://doi.org/10.1002/..
 
?
12

1.3.3 Extending eFFBD formalism to task model:

Prun, Daniel
INCOSE International Symposium.  24 (2014)  1 - p. 67-81 , 2014
Link: https://doi.org/10.1002/..
 
?
13

Former les futurs concepteurs de systèmes homme-machine com..:

, In: Proceedings of the 25th Conference on l'Interaction Homme-Machine,
Gaspard-Boulinc, Hélène ; Conversy, Stéphane ; Prun, Daniel.. - p. 43-52 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

1.6.1 xFFBD: towards a formal yet functional modeling langu..:

AIZIER, Bruno ; LIZY‐DESTREZ, Stéphanie ; SEIDNER, Charlotte...
INCOSE International Symposium.  22 (2012)  1 - p. 170-183 , 2012
Link: https://doi.org/10.1002/..
 
?
15

8.5.0 Graduate Reference Curriculum in Systems Engineering ..:

Ferris, Tim ; Prun, Daniel ; Geist, Karl...
INCOSE International Symposium.  21 (2011)  1 - p. 1057-1059 , 2011
Link: https://doi.org/10.1002/..
 
1-15