… This paper presents a novel solution to help end users understand whether the specified
trigger-action rules behave as desired and without conflicts. It provides answers to common why…

… Trigger-action programming is, however, a complex task for non-programmers and errors …
that enables end users to debug trigger-action rules. With EUDebug, users compose rules in a …

… that allow end users to define trigger-action rules via voice. … interaction mechanism through
which users can define a rule in … trigger with an action-specification phase in which the user is …

… In this paper, we present a method and a set of tools that allow end users without … the
specification of trigger-action rules. The environment is able to support end-user specification of …

… Furthermore, we use a web crawler to collect trigger-action rules in … trigger-action knowledge
graph TaKG and propose a trigger-action rule recommendation approach rtar for end-user …

… users customize smart-home devices using trigger-action (“if, then”) programming. We find
trigger-action … We also scaped all 67,170 programs end users shared on IFTTT, finding …

… end users are able to RQ1) understand the concepts of loop, inconsistency, and redundancy
in trigger-action … RQ2) understand and use the tool, including the step-by-step simulation. …

… Trigger-action programming has been used for automating Web services or home control
[11, 31] but, to the best of our knowledge, it has not been applied for end user personalization …

… , designed a new clustering/ranking scheme to help end users navigate among all the
synthesized rules, designed user interfaces for explaining TAP rules based on the traces from …

… The trigger activates the action. Out of several trigger types, we use event-state triggers in …
By having automated reasoning using formal methods underpin user interfaces for enduser …