Computer Science and Engineering

Search CurateND

Search criteria:

Department or Unit: Computer Science and Engineering remove ×
Clear all

List of files deposited in CurateND that match your search criteria

  • Author:
    Xunzhao Yin
    Advisory Committee:
    Michael T. Niemier, Xiaobo Sharon Hu
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-07-05
    Record Visibility:
    Public
  • Author:
    Joel Robert Gray Brogan
    Advisory Committee:
    Edward Delp, Patrick Flynn, Walter J. Scheirer, Kevin W. Bowyer, Adam Czajka
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-06-11
    Record Visibility:
    Public
  • Author(s):
    Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn Lutz
    Abstract:

    Safety Assurance Cases (SACs) are increasingly used to guide and evaluate the safety of software-intensive systems. They are used to construct a hierarchically organized set of claims, arguments, and evidence in order to provide a structured argument that a system is safe for use. However, as the system evolves and grows in size, a SAC can be difficult to maintain. In this paper we utilize design science to develop a novel solution for identifying areas of a SAC that are affected by changes t…

    Date Published:
    2019-05
    Record Visibility:
    Public
  • Author:
    Mehdi Golestanian
    Advisory Committee:
    Christian Poellabauer
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-05-30
    Record Visibility:
    Public
  • Author:
    Shikang Liu
    Advisory Committee:
    Tijana Milenkovic, Christian Poellabauer, Aaron Striegel
    Degree Area:
    Computer Science and Engineering
    Degree:
    Master of Science in Computer Science and Engineering
    Defense Date:
    2019-06-24
    Record Visibility:
    Public
  • Author:
    Mahboobeh Ghalehnovi
    Advisory Committee:
    Tijana Milenković
    Degree Area:
    Computer Science and Engineering
    Degree:
    Master of Science
    Defense Date:
    2019-05-29
    Record Visibility:
    Public
  • Author:
    Joseph Crawford
    Advisory Committee:
    Tijana Milenkovic, Ronald Metoyer, Aaron Striegel, Tim Weninger
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-05-03
    Record Visibility:
    Public
  • Author:
    Xiao Bo
    Advisory Committee:
    Christian Poellabauer
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-05-24
    Record Visibility:
    Public
  • Author:
    Sudip Vhaduri
    Advisory Committee:
    David Hachen, Christian Poellabauer, Dong Wang, Aaron Striegel
    Degree Area:
    Computer Science and Engineering
    Degree:
    Doctor of Philosophy
    Defense Date:
    2019-04-11
    Record Visibility:
    Public
  • Author(s):
    Rick Rabiser, Klaus Schmid, Holger Eichelberger, Michael Vierhauser, Sam Guinea, Paul Gruenbacher
    Abstract:

    [Context] Complex and heterogeneous software systems need to be monitored as their full behavior often only emerges at runtime, e.g., when interacting with other systems or the environment. Software monitoring approaches observe and check properties or quality attributes of software systems during operation. Such approaches have been developed in diverse communities for various kinds of systems and purposes. For instance, requirements monitoring aims to check at runtime whether a software…

    Record Visibility:
    Public
  • Author(s):
    Michael Vierhauser, Sean Beyley, Jane Wyngaard, Wandi Xiong, Joshua Huseman, Robyn Lutz, Jane Cleland-Huang
    Abstract:

    The growing adoption of unmanned aerial vehicles (UAV) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. In our work we thus emphasize safety issues that emerge at the intersection of infrastructures responsible for controlling the airspace, and the diverse UAVs operating in their space. We build on safety assurance cases (SAC)- a state-of-the-art solution for reasoning about safe…

    Record Visibility:
    Public
  • Author(s):
    Norbert Seyff, Michael Vierhauser, Michael Schneider, Jane Cleland-Huang
    Abstract:

    [Context and motivation] With the rise of cyber-physical systems (CPS), smart ecosystems, and the Internet of Things (IoT), software-intensive systems have become pervasive in everyone’s daily life. The shift from software systems to ubiquitous adaptive software-intensive systems not only affects the way we use software but further has an impact on the way these systems are designed and developed. Gathering requirements for such systems can benefit from elicitation processes that are conducte…

    Record Visibility:
    Public