28/04/2023 – Talk: “Uniquifying Architecture Visualization through Variable 3D Model Generation” By Adrian Hoff
Adrian Hoff will give a talk about his work on Uniquifying Architecture Visualization through Variable 3D Model Generation. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Uniquifying Architecture Visualization through[…]
31/03/2023 – Talk: “Formal Verification of Privacy Policies for Social Networks” by Raúl Pardo
Raúl Pardo will give a talk about his work on Formal Verification of Privacy Policies for Social Networks. Details below. SPEAKER Raúl Pardo, Prof., ITU. TITLE Formal Verification of Privacy Policies[…]
17/03/2023 – Talk: “Probabilistic Property-Based Testing for Feature Classification in Submarine Vision” By Laura Weihl
Laura Weihl will give a talk about her work on Probabilistic Property-Based Testing for Feature Classification in Submarine Vision. Details below. SPEAKER Laura Weihl, PhD fellow, ITU. TITLE Probabilistic Property-Based Testing[…]
10/02/2023 – 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[…]