Author of the publication

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.

, , , , and . EICS, page 165-174. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web., , , , and . INTERACT (2), volume 9297 of Lecture Notes in Computer Science, page 211-230. Springer, (2015)A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments., , , and . HCSE, volume 7623 of Lecture Notes in Computer Science, page 72-93. Springer, (2012)TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications., , , , and . EICS, page 4:1-4:7. ACM, (2018)Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs., , , , and . IHM, page 141-150. ACM, (2009)Beyond modelling: an integrated environment supporting co-execution of tasks and systems models., , , , and . EICS, page 165-174. ACM, (2010)Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment., , , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches., , , , and . Ergo'IHM, page 81. ACM, (2012)Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft., , , , , , and . EICS, page 85-94. ACM, (2014)A model-based approach for supporting engineering usability evaluation of interaction techniques., , , , and . EICS, page 21-30. ACM, (2011)A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context., , , , , , , and . EnCHIReS@EICS, volume 1945 of CEUR Workshop Proceedings, page 42-55. CEUR-WS.org, (2017)