Accéder directement au contenu
MW

Marco Winckler

14
Documents

Présentation

Publications

philippe-palanque
eric-barboni
Image document

Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems

Marco Winckler , Philippe Palanque , Jean Luc Hak , Eric Barboni , Olivier Nicolas
Proceedings 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
Image document

Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language

Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque , Marco Winckler
Science 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?

Marco Winckler , Eric Barboni , Philippe Palanque , Christelle Farenc
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
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th 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 Web

Ricardo Cava , Carla Freitas , Eric Barboni , Philippe Palanque , Marco Winckler
9th 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âches

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni , Marco Winckler
Conference 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
Image document

UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems

Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque , Marco Winckler
IFIP 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 Techniques

Philippe Palanque , Eric Barboni , Célia Martinie , David Navarre , Marco Winckler
3rd 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
Image document

Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

Célia Martinie , Philippe Palanque , Eric Barboni , Marco Winckler , Martina Ragosta
International 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
Image document

Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models

Eric Barboni , Jean-François Ladry , David Navarre , Philippe Palanque , Marco Winckler
2nd 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
Image document

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction

Jean-François Ladry , Philippe Palanque , David Navarre , Eric Barboni , Marco Winckler
22nd 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 Interactifs

Philippe Palanque , Jean-François Ladry , Eric Barboni , David Navarre , Marco Winckler
21st 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?

Marco Winckler , Eric Barboni , Christelle Farenc , Philippe Palanque
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 Navigation

Marco Winckler , Eric Barboni , Christelle Farenc , Philippe Palanque
5th 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