Publications

2014

  • International conferences articlesMarco Winckler, Eric Barboni, Charly Carrère. Semantics of States and Transitions in statecharts-based markup languages: a comparative study between SWC and SCXML. Workshop on Engineering Interactive Computer Systems with SCXML 2014. p:28-32. Technical University of Darmstadt.

2012

  • Books partsMarco Winckler, Philippe Palanque. Models as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.

2011

  • Books partsPhilippe Palanque, Marco Winckler, Célia Martinie. A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.

2010

  • International journals articlesMarco Winckler, Regina Bernhaupt, Florence Pontico. Challenges for the Development of User Interface Pattern Languages: A Case Study on the e-Government Domain. International Journal on WWW/INTERNET vol:Vol. 82. p:59-84. IADIS Digital Library.

2009

  • International conferences articlesRegina Bernhaupt, Florence Pontico, Marco Winckler. User Interface Patterns: a field study evaluation. IADIS e-Society 2009. ISBN: 978-072-8924-80-5. p:105-112. IADIS.

2008

  • International journals articlesJoseph Xiong, Marco Winckler. Analyzing Tool Support for Inspecting Accessibility Guidelines during the Development Process of Web Sites. Journal of Web Engineering vol:74. p:281-298. Rinton Press.
  • International conferences articlesMarco Winckler, Jean Vanderdonckt, Francisco Trindade, Adrian Stanciulescu. Cascading Dialog Modeling with UsiXML. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:121-135. Springer.
  • International conferences articlesJoseph Xiong, Christelle Farenc, Marco Winckler. An Ontology-Based Approach for Dealing with Web Guidelines. International Workshop on Web Usability and Accessibility 2008. LNCSvol:5176. p:132-141. Springer.

2007

  • International conferences articlesFlorence Pontico, Marco Winckler, Quentin Limbourg. Organizing user interface patterns for e-Government applications. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). ISBN 978-3-540-92697-9. p:601-619. Springer-Verlag.

2006

  • International journals articlesMarco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
  • International conferences articlesJoseph Xiong, Christelle Farenc, Marco Winckler. Extending Automated Guidelines Inspection with an Ontology of User Interface of Web Applications. Workshop on Automated Specification and Verification of Web Systems 2006 (WWV). (Short paper). IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesMarco Winckler, Florence Pontico. A Model-Driven Architecture for Logging Navigation. Workshop on Logging Traces of Web Activity 2006 (WWW). ACM : Association for Computing Machinery.

2005

  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.

2004

  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces. p:55-56. Kluwer Academic Publisher.

2003

  • International conferences articlesCarla Freitas, Ricardo Cava, Marco Winckler, Philippe Palanque. Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003. p:1091-1095. Lawrence Erlbaum Associates.
  • International conferences articlesMarco Winckler, Philippe Palanque. A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS'2003. p:61-76. LNCS.
  • International conferences articlesMarco Winckler, Philippe Palanque. StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. Design Specification and Verification of Interactive Systems 2003 (DSV-IS). p:61-67. Springer-Verlag.

2001

  • International conferences articlesMarco Winckler, Christelle Farenc, Philippe Palanque, Rémi Bastide. Designing Navigation for Web Interfaces. Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001 (IHM-HCI). (Short paper). p:43-46. Cépaduès Editions.