- 43
- 17
- 13
- 2
- 2
- 1
- 1
MW
Marco Winckler
79
Documents
Présentation
Publications
- 79
- 22
- 17
- 14
- 9
- 9
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 62
- 46
- 7
- 5
- 5
- 5
- 2
- 2
- 2
- 1
- 4
- 1
- 4
- 3
- 1
- 8
- 5
- 4
- 5
- 11
- 6
- 6
- 2
- 1
- 4
- 3
- 2
- 3
- 3
- 3
Engineering Interactive Computing Systems 2022: Editorial IntroductionProceedings of the ACM on Human-Computer Interaction , 2022, EICS, 6 (EICS), pp.1-3. ⟨10.1145/3532089⟩
Article dans une revue
hal-04316159v1
|
|
|
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive SystemsProceedings of the ACM on Human-Computer Interaction , In press, 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
|
|
An approach for supporting distributed user interface orchestration over the WebInternational Journal of Human-Computer Studies, 2014, vol. 72 (n° 1), pp. 53-76. ⟨10.1016/j.ijhcs.2013.08.014⟩
Article dans une revue
hal-01153939v1
|
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 and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and EngagementVIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14
Communication dans un congrès
hal-03811274v1
|
|
Engineering Awareness in Interfaces: Focus on Automation and Visualization14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2022, Sophia Antipolis, France. pp.54-58, ⟨10.1145/3531706.3536453⟩
Communication dans un congrès
hal-03855027v1
|
|
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication MechanismsHCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Communication dans un congrès
hal-03079818v1
|
|
A Testbed Tool for Comparing Usability and Security of Mobile Authentication Mechanisms7th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2019), Prof. Claudino Mendes, Jan 2019, Praia, Cape Verde. pp.1-8
Communication dans un congrès
hal-02436127v1
|
Trends on engineering interactive systems11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2019, Valencia, Spain. pp.1-6, ⟨10.1145/3319499.3335655⟩
Communication dans un congrès
hal-03857839v1
|
|
|
An Attempt to Fathom the Role of Annotations in User-Centered Design Process11th International Workshop on Research and Practice Challenges for Engineering Interactive Systems (EISMS 2019), Jun 2019, Valencia, Spain. pp.113-121
Communication dans un congrès
hal-02879313v1
|
|
Designing and Assessing Interactive Systems Using Task Models (2017)16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
Communication dans un congrès
hal-02748859v2
|
|
Dealing with Conflicting User Interface Properties in User-Centered Development Processes16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Communication dans un congrès
hal-01680275v1
|
|
AUTOM AT ICS: Research activities on Automation5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.0
Communication dans un congrès
hal-01534806v1
|
Retour d'expérience sur l'enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse (GT Modèles de Tâches - IHM 2015)27ème Conférence Francophone sur l’interaction Homme-Machine (IHM 2015), Association Francophone d'Interaction Homme-Machine (AFIHM); GT Modèles de Tâches, Oct 2015, Toulouse, France
Communication dans un congrès
hal-03209331v1
|
|
|
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
|
|
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩
Communication dans un congrès
hal-01405071v1
|
|
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering (HCSE 2014), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩
Communication dans un congrès
hal-01141437v1
|
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
|
|
|
Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web12th Brazilian Symposium on Human Factors in Computing Systems (IHC 2013), Oct 2013, Manaus, Brazil. pp.148-157
Communication dans un congrès
hal-04083614v1
|
|
Workshop on engaging the human-computer interaction community with public policymaking internationallyACM CHI International Conference on Human Factors in Computing Systems (CHI 2013), ACM, Apr 2013, Paris, France. pp.3279-3282, ⟨10.1145/2468356.2479666⟩
Communication dans un congrès
hal-04083635v1
|
|
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects15th International Conference on Human-Computer Interaction (HCI 2013), Jul 2013, Las Vegas, NV, United States. pp. 51-60
Communication dans un congrès
hal-01231775v1
|
|
Supportive User Interfaces and Task Migratability in Smart Environments3rd Workshop on Distributed User Interfaces: Models, Methods and Tools DUI @ EICS 2013, Jun 2013, London, United Kingdom. pp.42-45
Communication dans un congrès
hal-04083623v1
|
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques : Application à la déclaration d’incidents et à l’opération des systèmes de commande et contrôlesJournée scientifique RTRA - FHAE : Facteurs Humains pour la Sécurité Aéronautique, ISAE, Toulouse; UT2J, Toulouse, Mar 2012, Toulouse, France
Communication dans un congrès
hal-03644329v1
|
|
|
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHMWorkshop on HCI: Web and Graphics Curricula (HWG 2012) @ WWW 2012, Apr 2012, Lyon, France
Communication dans un congrès
hal-03644340v1
|
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
|
|
|
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩
Communication dans un congrès
hal-01556811v1
|
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
|
|
Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical SystemsEuropean Workshop on HCI Design and Evaluation, Mar 2011, Limassol, Cyprus. pp.45--53
Communication dans un congrès
hal-03647161v1
|
|
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
|
|
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Communication dans un congrès
hal-01591816v1
|
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments3rd Conference Engineering Interactive Computing Systems (EICS 2011), ACM Special Interest Group on Computer-Human Interaction, Jun 2011, Pise, Italy. pp.589-609, ⟨10.1145/1996461.1996495⟩
Communication dans un congrès
hal-03647157v1
|
|
|
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
|
|
Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHMSimpósio de Fatores Humanos em Sistemas Computacionais (IHC 2010), Oct 2010, Belo Horizonte, Brazil. pp.71-74
Communication dans un congrès
hal-03651215v1
|
|
DREAMER : a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements28th ACM international conference on Design of Communication (SIGDOC 2010), SIGDOC, Sep 2010, São Carlos / São Paulo, Brazil. pp.73-80, ⟨10.1145/1878450.1878463⟩
Communication dans un congrès
hal-01022256v1
|
|
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
|
|
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an “intensive” Model-Based Development ApproachWorkshop on Model Driven Development of Advanced User Interfaces 2010, Apr 2010, Atlanta, Georgia, United States. pp.29-32
Communication dans un congrès
hal-03651212v1
|
A formal approach supporting effective and efficient training program for improving operators reliability19th European Safety and Reliability for managing Risk (ESREL 2010), ESRA : European Safety and Reliability Association, Sep 2010, Rhodes, Greece
Communication dans un congrès
hal-03651210v1
|
|
A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems1st ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2009), ACM Special Interest Group on Computer-Human Interaction, Jul 2009, Pittsburgh, France. pp.211-220, ⟨10.1145/1570433.1570473⟩
Communication dans un congrès
hal-03653361v1
|
|
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
|
|
Gaining assurance in a voter-verifiable voting system2nd International Conference on Dependability (DEPEND 2009), Jun 2009, Athens Vouliagmeni, Greece. pp.99-104, ⟨10.1109/DEPEND.2009.21⟩
Communication dans un congrès
hal-03653362v1
|
|
Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter1st International Conference on eGovernment and eGovernance (IceGov 2009), The Interantional Satellite and Cable Opertor (TURKSAT); Social Sciences Research Society (SoSReS), Mar 2009, Ankara, Turkey. pp.281-296
Communication dans un congrès
hal-03653359v1
|
|
|
Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2009), IFIP: International Federation for Information Processing, Aug 2009, Uppsala, Sweden. pp.494-509, ⟨10.1007/978-3-642-03655-2_56⟩
Communication dans un congrès
hal-03653360v1
|
AROVE-v: Assessing the resilience of open verifiable E-voting systems.7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania. pp.(electronic medium)
Communication dans un congrès
hal-03653375v1
|
|
Usability Study of Multi-Modal Interfaces using Eye-Tracking11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.412-424, ⟨10.1007/978-3-540-74800-7_37⟩
Communication dans un congrès
hal-03662281v1
|
|
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal SpecificationInternational Conference on Space Operations (SpaceOps 2006), American Institute of Aeronautics and Astronautics (AIAA), Jun 2006, Rome, Italy. ⟨10.2514/6.2006-5657⟩
Communication dans un congrès
hal-03663640v1
|
|
|
Analysis of Communication Breakdowns for eHealth Systems Design (poster)6th Nordic Conference on eHealth and Telemedicine 2006, Aug 2006, Helsinki, Finland. pp.212-213
Communication dans un congrès
hal-03662290v1
|
What User Interface Tools are needed for Safety Critical Interactive Systems?CHI 2005 Workshop : The Future of User Interface Design Tools, Apr 2005, Portland, Oregon, France
Communication dans un congrès
hal-03663650v1
|
|
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
|
|
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality ApplicationsIFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP TC 13, Sep 2005, Rome, Italy. pp.170-183, ⟨10.1007/11555261_17⟩
Communication dans un congrès
hal-03663655v1
|
|
Tasks and Scenario-based Evaluation of Information Visualization Techniques3rd annual conference on Task models and diagrams (TAMODIA 2004), Nov 2004, Prague, Czech Republic. pp.165-172, ⟨10.1145/1045446.1045475⟩
Communication dans un congrès
hal-03664729v1
|
|
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
|
|
Automatic Generation of Interactive Systems: Why A Task Model is not Enough10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.198-202
Communication dans un congrès
hal-03664738v1
|
|
Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.1091-1095
Communication dans un congrès
hal-03664739v1
|
|
|
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications10th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS 2003), Jun 2003, Funchal, Portugal. pp.61-76, ⟨10.1007/978-3-540-39929-2_5⟩
Communication dans un congrès
hal-03664737v1
|
|
Task-Based Assessment of Web Navigation Design1st International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2002), ACM SIGCHI, Jul 2002, Bucarest, Romania. pp.161-169
Communication dans un congrès
hal-03667068v1
|
|
Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation14ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.153-160, ⟨10.1145/777005.777026⟩
Communication dans un congrès
hal-03667070v1
|
Automatic Evaluation for the Web: How Improve Navigation GuidelinesWorkshop on Automated Testing in ACM Conference on Computer-Human Interaction (CHI 2002), Apr 2002, Minneapolis, USA, France
Communication dans un congrès
hal-03667069v1
|
|
Avaliação da Navegação de Interfaces Web a partir de Modelos4th Workshop on Human Factors in Computer Systems (IHC 2001), Universidade Federal de Santa Catarina (UFSC), Oct 2001, Florianopolis, SC, Brazil. pp.48-60
Communication dans un congrès
hal-03667080v1
|
|
Designing Navigation for Web InterfacesAnnual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001, BCS-HCI Group, Sep 2001, Lille, France. pp.43-46
Communication dans un congrès
hal-03667083v1
|
|
Usability Evaluation Methods: What is still missing for the Web?9th International Conference on on Human-Computer Interaction (HCI 2001), Aug 2001, New Orleans, France
Communication dans un congrès
hal-03667077v1
|
Clinical Application Design: Task Modeling with Failure in Mind (poster)World Congress on Internet in Medicine (MedNet 2006), Oct 2006, Toronto, Canada. eHealthNews.eu, pp.(electronic medium), 2006
Poster de conférence
hal-03663639v1
|
|
Web Augmentation as a Promising Technology for End User DevelopmentFabio Paternò; Volker Wulf. New Perspectives in End-User Development, Springer, pp.433-459, 2017, 978-3-319-60290-5. ⟨10.1007/978-3-319-60291-2_17⟩
Chapitre d'ouvrage
hal-02138443v1
|
|
Designing and Assessing Interactive Systems Using Task ModelsKronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29--58, 2015
Chapitre d'ouvrage
hal-03209324v1
|
|
Models as Representations for Supporting the Development of e-ProceduresUsability in Government Systems: User Experience Design for Citizens and Public Servants, 3 (1 : Chapter 19 : Models as Abstract Representations for supporting the development of e-Procedures), MDPI AG, Switzerland, pp.1-3, 2012, 978-0-12-391063-9. ⟨10.3390/admsci3010001⟩
Chapitre d'ouvrage
hal-02911555v1
|
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User InterfacesHussmann, Heinrich; Meixner, Gerrit; Zuehlke, Detlef. Model-Driven Development of Advanced User Interfaces, 340, Springer, pp.143-170, 2011, Studies in Computational Intelligence book series (SCI), 978-3-642-14561-2. ⟨10.1007/978-3-642-14562-9_8⟩
Chapitre d'ouvrage
hal-03651204v1
|
|
Task Models and System Models as a Bridge between HCI and Sofware EngineeringSeffah, Ahmed; Vanderdonckt, Jean; Desmarais, Michel C. Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI, Chapter 17, Springer, pp.357-385, 2009, Human-Computer Interaction Series book series (HCIS), 978-1-84800-907-3. ⟨10.1007/978-1-84800-907-3_17⟩
Chapitre d'ouvrage
hal-03653356v1
|
|
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive ApplicationsLaw, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩
Chapitre d'ouvrage
hal-03662268v1
|