Posts in Uncategorized

Latest Comments
No comments to show.

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[…]

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[…]

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, Prof., ITU. TITLE A Specification[…]

26/08/2022 – Talk: “DSLs In Aerial Robotics?” By Ulrik Pagh Schultz

Ulrik Pagh Schultz will give a talk about his work on domain specific languages for robotics applications. Details below. SPEAKER Ulrik Pagh Schultz, Prof., SDU. TITLE DSLs in Aerial Robotics ABSTRACT[…]

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[…]

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[…]

1 2 3 4 5 8