, Conformance Checking Using Cost-Based Fitness Analysis. In: EDOC'11, 2011.
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications, ASE'09, 2009. ,
, Designing Interactive Systems: A comprehensive guide to HCI, UX and interaction design, vol.3, 2014.
Formal verification of a space system's user interface with the ivy workbench, IEEE SMC, vol.46, issue.2, 2016. ,
, Conformance Checking: Relating Processes and Models, 2018.
On the Disruptive Effectiveness of Automated Planning for LTLf -Based Trace Alignment, AAAI'17, 2017. ,
Computing Trace Alignment against Declarative Process Models through Planning, ICAPS'16, 2016. ,
Identifying frequent user tasks from application logs, IUI'17, 2017. ,
A model for organizational interaction: based on agents, founded in logic, SIKS, 2004. ,
, , 2004.
Understanding user behavior through log data and analysis, Ways of Knowing in HCI, 2014. ,
A toolset for supporting iterative human automation: Interaction in design, 2010. ,
Improving software engineering practice with HCI aspects, SERA'03, 2003. ,
Extending mobile app analytics for usability test logging, INTERACT'17, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01717210
Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, pp.231-274, 1987. ,
Criteria for evaluating usability evaluation methods, Int. Journal of Human-Computer Interaction, vol.13, issue.4, pp.373-410, 2001. ,
What do we need to build explainable ai systems for the medical domain?, 2017. ,
Things That Keep Us Busy: The Elements of Interaction, 2017. ,
The goms family of user interface analysis techniques: Comparison and contrast, ACM TOCHI, vol.3, issue.4, 1996. ,
Was it worth the hassle?, Ten years of mobile HCI research discussions on lab and field evaluations, 2014. ,
Patterns of search: analyzing and modeling web query refinement, UM99 User Modeling, pp.119-128, 1999. ,
Automated and unsupervised user interaction logging as basis for usability evaluation of mobile applications, 10th Int. Conf. on Advances in Mobile Computing & Multimedia, pp.118-127, 2012. ,
Measuring the Learnability of Interactive Systems Using a Petri Net Based Approach, 2018 Designing Interactive Systems Conf ,
CTTE: support for developing and analyzing task models for interactive system design, IEEE Trans. Sof. Eng, vol.28, issue.8, 2002. ,
Swish: semantic analysis of window titles and switching history, IUI'06, 2006. ,
Tools for remote usability evaluation of web applications through browser logs and task models, Behavior Research Methods, Instruments, & Computers, vol.35, issue.3, pp.369-378, 2003. ,
Real-time anomaly detection in elderly behavior, ACM SIGCHI Symposium on Engineering Interactive Computing Systems. EICS '18, 2018. ,
Model-Based Design and Evaluation of Interactive Applications, 1999. ,
DECLARE: Full Support for Loosely-Structured Processes, pp.287-300, 2007. ,
The temporal logic of programs, In: Found. of Computer Science, 1977. ,
Detecting and correcting user activity switches: algorithms and interfaces, IUI'09, 2009. ,
Integrating human computer interaction with jackson system development, The computer journal, vol.34, issue.2, pp.132-142, 1991. ,
PetShop: a CASE tool for the Petri Net based specification and prototyping of CORBA systems, In: Petri nets, p.78, 2000. ,
Large scale query log analysis of re-finding, Third ACM Int. Conf. on Web search and data mining, pp.191-200, 2010. ,
Automated usability tests for mobile devices through live emotions logging, 17th Int. Conf. on Human-Computer Interaction with Mobile Devices and Services Adjunct, pp.636-643, 2015. ,
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems, IEEE Trans. Sof. Eng, issue.3, 1983. ,
Extending state transition diagrams for the specification of human-computer interaction, IEEE Trans. on Soft. Eng, issue.8, pp.699-713, 1985. ,