Blog

18/11/2022 – Talk: “Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality” by Adrian Hoff

Adrian Hoff will give a talk about his work on Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality ABSTRACT Exploring an unfamiliar large-scale software system is challenging especially when based […]

Read More

28/10/2022 – Talk: “Using generative models to synthesize iris data” by Ingrid Jakobi Wolff Madsen & Kaare Børsting

Ingrid Jakobi Wolff Madsen & Kaare Børsting will give a talk about their work on Using generative models to synthesize iris data. Details below. SPEAKER Ingrid Jakobi Wolff Madsen, MSc., ITU,Kaare Børsting, MSc., ITU. TITLE Using generative models to synthesize iris data ABSTRACT Authentication systems increasingly rely on using unique biometric features rather than or […]

Read More

16/09/2022 – Talk: “A Specification Logic for Programs in the Probabilistic Guarded Command Language” by Raúl Pardo

Raúl Pardo will give a talk about his work on A Specification Logic for Programs in the Probabilistic Guarded Command Language. Details below. SPEAKER Raúl Pardo, Assit. Prof., ITU. TITLE A Specification Logic for Programs in the Probabilistic Guarded Command Language ABSTRACT The semantics of probabilistic languages has been extensively studied, but specification languages for […]

Read More

17/06/2022 – Talk: “Belief-based Fault Recovery for Marine Robotics” by Mahya Mohammadi Kashani

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 More

25/05/2022 – Talk: “Towards an Intermediate Verification Language for Probabilistic Programs” by Christoph Matheja

Christoph 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 More

20/05/2022 – Talk: “DaSEA – A Dataset for Software Ecosystem Analysis” by Rolf-Helge Pfeiffer

Rolf-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 More

22/04/2022 – Talk: “Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming” by Adrian Hoff

Adrian 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 More

08/04/2022 – Talk: “Searching for Technical Debt – An Empirical, Exploratory, and Descriptive Case Study” by Rolf-Helge Pfeiffer

Rolf-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 More