English
Related papers

Related papers: Probabilistic Formal Analysis of App Usage to Info…

200 papers

The objective of this research is to explore the existing mobile applications developed for the COVID-19 pandemic. To obtain this research objective, firstly the related applications were selected through the systematic search technique in…

Software Engineering · Computer Science 2020-08-21 Muhammad Nazrul Islam , Iyolita Islam , Kazi MD. Munim , A. K. M. Najmul Islam

Mobile apps used by children often make use of harmful techniques, such as data tracking and targeted advertising. Previous research has suggested that developers face several systemic challenges in designing apps that prioritise children's…

Human-Computer Interaction · Computer Science 2023-06-05 Anirudh Ekambaranathan , Jun Zhao , Max Van Kleek

Mobile user interfaces abundantly feature so-called 'dark patterns'. These deceptive design practices manipulate users' decision making to profit online service providers. While past research on dark patterns mainly focus on visual design,…

Human-Computer Interaction · Computer Science 2025-04-14 Chenge Tang , Karthikeya Puttur Venkatraj , Hongbo Liu , Christina Schneegass , Gijs Huisman , Abdallah El Ali

Contact tracing apps have become one of the main approaches to control and slow down the spread of COVID-19 and ease up lockdown measures. While these apps can be very effective in stopping the transmission chain and saving lives, their…

Cryptography and Security · Computer Science 2020-11-26 Dana Naous , Manus Bonner , Mathias Humbert , Christine Legner

Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and techniques developed in this field has grown considerably, as…

Logic in Computer Science · Computer Science 2025-09-17 Marta Kwiatkowska , Gethin Norman , David Parker

Explainability, i.e. the ability of a system to explain its behavior to users, has become an important quality of software-intensive systems. Recent work has focused on methods for generating explanations for various algorithmic paradigms…

Software Engineering · Computer Science 2023-07-11 Max Unterbusch , Mersedeh Sadeghi , Jannik Fischbach , Martin Obaidi , Andreas Vogelsang

The focus of this work is on developing probabilistic models for user activity in social networks by incorporating the social network influence as perceived by the user. For this, we propose a coupled Hidden Markov Model, where each user's…

Physics and Society · Physics 2013-05-10 Vasanthan Raghavan , Greg Ver Steeg , Aram Galstyan , Alexander G. Tartakovsky

Today, intelligent user interfaces on the web often come in form of recommendation services tailoring content to individual users. Recommendation of web content such as news articles often requires a certain amount of explicit ratings to…

Human-Computer Interaction · Computer Science 2022-07-15 Mirjam Augstein , Johannes Schönböck , Christina Lettner , Josef Altmann

The recent decade has witnessed phenomenal growth in communication technology. Development of user-friendly software platforms, such as Facebook, WhatsApp etc. have facilitated ease of communication and thereby people have started freely…

Cryptography and Security · Computer Science 2020-03-03 Ayush Bahuguna , Ashutosh Bhatia , Kamlesh Tiwari , Deepak Vishwakarma

Persuasive designs become prevalent on smartphones, and an increasing number of users report having problematic smartphone use behaviours. Persuasive designs in smartphones might be accountable for the development and reinforcement of such…

Human-Computer Interaction · Computer Science 2023-05-24 Xiaowei Chen , Anders Hedman , Verena Distler , Vincent Koenig

Nowadays, mobile applications are essential tools for everyday life, providing users with anytime, anywhere access to up-to-date information, communication, and entertainment. Needless to say, hardware limitations and the diverse needs of…

Human-Computer Interaction · Computer Science 2025-09-29 Pawel Weichbroth , Tomasz Szot

The use-case diagram is a software artifact. Thus, as with any software artifact, the use-case diagrams change across time through the software development life cycle. Therefore, several versions of the same diagram are existed at distinct…

Taller and sleeker smartphone devices are becoming the new norm. More screen space and very responsive touchscreens have made for enjoyable experiences available to us at all times. However, after years of interacting with smaller, portable…

Human-Computer Interaction · Computer Science 2018-05-23 Kriti Nelavelli , Thomas Ploetz

Advances in smartphone technology have promoted the rapid development of mobile apps. However, the availability of a huge number of mobile apps in application stores has imposed the challenge of finding the right apps to meet the user…

Information Retrieval · Computer Science 2016-05-26 Bin Liu , Yao Wu , Neil Zhenqiang Gong , Junjie Wu , Hui Xiong , Martin Ester

Context and Motivation: Due to their increasing complexity, everyday software systems are becoming increasingly opaque for users. A frequently adopted method to address this difficulty is explainability, which aims to make systems more…

Software Engineering · Computer Science 2025-06-18 Martin Obaidi , Jannik Fischbach , Marc Herrmann , Hannah Deters , Jakob Droste , Jil Klünder , Kurt Schneider

[Background] Research on requirements engineering (RE) for mobile apps employs datasets formed by app users, developers or vendors. However, little is known about the sources of these datasets in terms of platforms and the RE activities…

Software Engineering · Computer Science 2025-09-05 Chong Wang , Haoning Wu , Peng Liang , Maya Daneva , Marten van Sinderen

With the increase in an average user's dependence on their mobile devices, the reliance on collecting his browsing history from mobile browsers has also increased. This browsing history is highly utilized in the advertising industry for…

Information Retrieval · Computer Science 2019-04-26 Bharat Gaind , Nitish Varshney , Shubham Goel , Akash Mondal

Recent studies showed that the dialogs between app developers and app users on app stores are important to increase user satisfaction and app's overall ratings. However, the large volume of reviews and the limitation of resources discourage…

Software Engineering · Computer Science 2019-08-29 Phong Minh Vu , Tam The Nguyen , Tung Thanh Nguyen

Privacy, security, and accessibility, like ethical concerns in mobile applications (a.k.a. apps), commonly subsumed under non-functional requirements, are generally reported by users through app reviews available in app stores. However,…

Software Engineering · Computer Science 2026-04-21 Aakash Sorathiya , Gouri Ginde

In human-in-the-loop machine learning, the user provides information beyond that in the training data. Many algorithms and user interfaces have been designed to optimize and facilitate this human--machine interaction; however, fewer studies…

Human-Computer Interaction · Computer Science 2018-03-12 Pedram Daee , Tomi Peltola , Aki Vehtari , Samuel Kaski