10/06/2022 – Talk: “Purpose Auditing For Java Programs” By Mia Heine Nowack
Mia 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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]
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[…]