- 11
- 2
- 1
MW
Marco Winckler
14
Documents
Présentation
Publications
- 14
- 14
- 7
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
|
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive SystemsProceedings of the ACM on Human-Computer Interaction , inPress, Journal PACM EICS series, EICS 2022 (EICS), pp.1-36. ⟨10.1145/3535063⟩
Article dans une revue
hal-03657095v1
|
|
Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup languageScience of Computer Programming, 2014, Special issue on Software Support for User Interface Description Languages (UIDL 2011), 86, Suppl C, pp.3-29. ⟨10.1016/j.scico.2013.04.001⟩
Article dans une revue
hal-01119843v1
|
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?Electronic Notes in Theoretical Computer Science, 2006, Special issue: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 157 (2006) (2), pp.207-211. ⟨10.1016/j.entcs.2005.12.056⟩
Article dans une revue
hal-03663641v1
|
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Communication dans un congrès
hal-01343048v1
|
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91--99, ⟨10.1109/LAWeb.2014.21⟩
Communication dans un congrès
hal-03263710v1
|
|
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âchesConference on Ergonomie et Interaction homme-machine (Ergo'IHM 2012), Oct 2012, Biarritz, France. pp.81-88, ⟨10.1145/2652574.2653413⟩
Communication dans un congrès
hal-03647154v1
|
|
|
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive SystemsIFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), IFIP: International Federation for Information Processing, Sep 2011, Lisbonne, Portugal. pp.(electronic medium)
Communication dans un congrès
hal-03651207v1
|
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques3rd ACM SIGCHI Conference Engineering Interactive Computing Systems (EICS 2011), ACM SIGCHI (Special Interest Group on Computer-Human Interaction); IFIP WG 2.7/13.4 (International Federation for Information Processing), Jun 2011, Pise, Italy. pp.21-30, ⟨10.1145/1996461.1996490⟩
Communication dans un congrès
hal-03647158v1
|
|
|
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation DesignsInternational Conference on Application and Theory of Automation in Command and Control Systems, May 2011, Barcelone, Spain. pp.50-59
Communication dans un congrès
hal-03647159v1
|
|
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models2nd ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2010), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Jun 2010, Berlin, Germany. pp.165-174, ⟨10.1145/1822018.1822043⟩
Communication dans un congrès
hal-03651209v1
|
|
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction22nd Conference on l'Interaction Homme-Machine (IHM 2010), SIGCHI, Sep 2010, Luxembourg, Luxembourg. pp.81-88, ⟨10.1145/1941007.1941019⟩
Communication dans un congrès
hal-03651216v1
|
Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs21st Conférence Francophone sur l'Interaction Homme-Machine: L'interaction au sommet (IHM 2009), AFIHM : Association Francophone d'Interaction Humain-Machine, Oct 2009, Grenoble, France. pp.141-150, ⟨10.1145/1629826.1629848⟩
Communication dans un congrès
hal-03653366v1
|
|
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?International Research Network (IRN Neutrino 2005), GDR Neutrino (CNRS et CEA), Mar 2005, Valencia, Spain. pp.33-36
Communication dans un congrès
hal-03663649v1
|
|
SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation5th International Conference on Computer-Aided Design of User Interfaces (CADUI 2004), Jan 2004, Madeira Island, Portugal. pp.55-56, ⟨10.1007/1-4020-3304-4_5⟩
Communication dans un congrès
hal-03664728v1
|