Mahya Mohammadi Kashani will give a talk about her work on Belief-based Fault Recovery for Marine Robotics. Details below. SPEAKER Mahya Mohammadi Kashani, PhD fellow, ITU. TITLE Belief-based Fault Recovery for Marine Robotics ABSTRACT We propose a framework expanding the capabilities of underwater robots to autonomously recover from anomalous situations. The framework is built around […]
Read MoreMia Heine Nowack will give a talk about her work on Purpose Auditing for Java Programs. Details below. SPEAKER Mia Heine Nowack, MSc, ITU. TITLE Purpose Auditing for Java Programs ABSTRACT Purpose is a central concept in the General Data Protection Regulation (GDPR), which requires that personal data shall be collected for explicit purposes that […]
Read MoreChristoph Matheja will give a talk about his work on Towards an Intermediate Verification Language for Probabilistic Programs. Details below. SPEAKER Christoph Matheja, Assit. Prof., DTU. TITLE Towards an Intermediate Verification Language for Probabilistic Programs ABSTRACT Probabilistic programs offer a structured way to describe computations with access to a source of randomness. They appear naturally […]
Read MoreRolf-Helge Pfeiffer will give a talk about his work on DaSEA – A Dataset for Software Ecosystem Analysis. Details below. SPEAKER Rolf-Helge Pfeiffer, Assit. Prof., ITU. TITLE DaSEA – A Dataset for Software Ecosystem Analysis ABSTRACT Software package managers facilitate reuse and rapid construction of software systems. Since evermore software is distributed via package managers, […]
Read MoreAdrian Hoff will give a talk about his work on Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming ABSTRACT A Software Product Line (SPL) captures families of closely related software […]
Read MoreRolf-Helge Pfeiffer will give a talk about his work on Searching for Technical Debt – An Empirical, Exploratory, and Descriptive Case Study. Details below. SPEAKER Rolf-Helge Pfeiffer, Assit. Prof., ITU. TITLE Searching for Technical Debt – An Empirical, Exploratory, and Descriptive Case Study ABSTRACT Commonly, Technical Debt (TD) is used as metaphor to describe “technical […]
Read MoreSergio Daniel Quijano will give a talk about his work on Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. Details below. SPEAKER Sergio Daniel Quijano, PhD fellow, ITU. TITLE Model-Based Testing for System-Level Safety of Autonomous Underwater Robots ABSTRACT For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such […]
Read MoreSiv L. Steffensen will give a talk about her work on How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. This is a dry-run of the upcoming presentation of this paper at the IWSPA on April 27. Feedback is very welcome! Details below. SPEAKER Siv L. Steffensen, MSc, ITU. TITLE How Attacker Knowledge […]
Read MoreSiv L. Steffensen will give a talk about her work on How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. This is a dry-run of the upcoming presentation of this paper at the IWSPA on April 27. Feedback is very welcome! Details below. SPEAKER Siv L. Steffensen, MSc, ITU. TITLE How Attacker Knowledge […]
Read MoreSergio Daniel Quijano will give a talk about his work on Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. Details below. SPEAKER Sergio Daniel Quijano, PhD fellow, ITU. TITLE Model-Based Testing for System-Level Safety of Autonomous Underwater Robots ABSTRACT For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such […]
Read More© SQUARE group at ITU Copenhagen, Denmark