Blog

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

25/03/2022 – Talk: “Model-Based Testing for System-Level Safety of Autonomous Underwater Robots” by Sergio Daniel Quijano

Sergio 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

25/03/2022 – Talk: “How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming” by Siv L. Steffensen

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

18/03/2022 – Talk: “How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming” by Siv L. Steffensen

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

25/02/2022 – Talk: “Model-Based Testing for System-Level Safety of Autonomous Underwater Robots” by Sergio Daniel Quijano

Sergio 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

18/02/2022 – Talk: “Preliminary Results: Surveying the Life-Cycle of Domain-Specific Languages” by Holger Stadel Borum

Holger Stadel Borum will give a talk about his work on Surveying the Life-Cycle of Domain-Specific Languages. Details below. SPEAKER Holger Stadel Borum, PhD fellow, ITU. TITLE Preliminary Results: Surveying the Life-Cycle of Domain-Specific Languages ABSTRACT Domain Specific Languages (DSLs) can be used as a tool for improving software quality and programmer productivity.There exist dedicated […]

Read More

© SQUARE group at ITU Copenhagen, Denmark