This is the collection for the University of Waterloo's Cheriton School of Computer Science .

Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).

Waterloo faculty, students, and staff can contact us or visit the UWSpace guide to learn more about depositing their research.

Recent deposits

  • Systems for Managing Work-Related Transitions 

    Williams, Alex (University of Waterloo, 2020-01-17)
    Peoples' work lives have become ever-populated with transitions across tasks, devices, and environments. Despite their ubiquitous nature, managing transitions across these three domains has remained a significant challenge. ...
  • Patterns of Search Result Examination: Query to First Action. 

    Abualsaud, Mustafa; Smucker, Mark D. (ACM, 2019-11-03)
    To determine key factors that affect a user's behavior with search results, we conducted a controlled eye-tracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ...
  • An Analysis of Partial Network Partitioning Failures in Modern Distributed Systems 

    Alfatafta, Mohammed (University of Waterloo, 2020-01-03)
    We present a comprehensive study of system failures from 12 popular systems caused by a peculiar type of network partitioning faults: partial partitions. Partial partitions isolate a set of nodes from some, but not all, ...
  • Merging Features in Featured Transition Systems 

    Atlee, Joanne M.; Beidu, Sandy; Fahrenberg, Uli; Legay, Axel (CEUR, 2015-09)
    Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ...
  • Long-term Average Cost in Featured Transition Systems 

    Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)
    A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
  • BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment 

    Luo, Zhaoyi; Atlee, Joanne M. (ACM, 2016-11)
    In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ...
  • Continuous Variable-Specic Resolutions of Feature Interactions 

    ZIbaeenejad, Mohammad Hadi; Zhang, Chi; Atlee, Joanne M. (ACM, 2017-09)
    Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ...
  • Trace Checking for Dynamic Software Product Lines 

    Olaechea, Rafael; Atlee, Joanne M.; Legay, Axel; Fahrenberg, Uli (ACM, 2018-05)
    A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ...
  • An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools 

    Pourali, Parsa; Atlee, Joanne M. (ACM, 2018-10)
    Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ...
  • Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis 

    Muscedere, Bryan J.; Hackman, Robert; Anbarnam, Davood; Atlee, Joanne M.; Davis, Ian J.; Godfrey, Michael W. (IEEE, 2019-02)
    Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ...
  • UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams 

    Pourali, Parsa; Atlee, Joanne M. (ACM/IEEE, 2019-09)
    Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ...
  • A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models 

    Pourali, Parsa; Atlee, Joanne M. (IEEE, 2019-09)
    Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ...
  • Measuring Behaviour Interactions between Product-Line Features 

    Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (IEEE, 2015-05)
    We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...
  • Incremental and Commutative Composition of State-Machine Models of Features 

    Beidu, Sandy; Atlee, Joanne M.; Shaker, Pourya (IEEE, 2015-05)
    In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine ...
  • Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods 

    Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)
    Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ...
  • Scala with Explicit Nulls 

    Nieto Rodriguez, Abel (University of Waterloo, 2019-12-20)
    The Scala programming language unifies the object-oriented and functional styles of programming. One common source of errors in Scala programs is null references. In this dissertation, I present a modification to the Scala ...
  • Emotion-Aware and Human-Like Autonomous Agents 

    Asghar, Nabiha (University of Waterloo, 2019-12-20)
    In human-computer interaction (HCI), one of the technological goals is to build human-like artificial agents that can think, decide and behave like humans during the interaction. A prime example is a dialogue system, where ...
  • Towards the Learning, Perception, and Effectiveness of Teachable Conversational Agents 

    Chhibber, Nalin (University of Waterloo, 2019-12-20)
    The traditional process of building interactive machine learning systems can be viewed as a teacher-learner interaction scenario where the machine-learners are trained by one or more human-teachers. In this work, we explore ...
  • Likelihood-based Density Estimation using Deep Architectures 

    Jaini, Priyank (University of Waterloo, 2019-12-20)
    Multivariate density estimation is a central problem in unsupervised machine learning that has been studied immensely in both statistics and machine learning. Several methods have thus been proposed for density estimation ...
  • Honkling: In-Browser Personalization for Ubiquitous Keyword Spotting 

    Lee, Jaejun (University of Waterloo, 2019-12-19)
    Used for simple voice commands and wake-word detection, keyword spotting (KWS) is the task of detecting pre-determined keywords in a stream of utterances. A common implementation of KWS involves transmitting audio samples ...

View more


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages