Posts in Paper Reading

Latest Comments
No comments to show.

13/02/2025 – Talk: “Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems” By Sergio Daniel Quijano

Sergio Daniel Quijano will give a talk about his work on Leveraging Multiple Counterexamples in Hybrid Automata for Test Case Generation in Autonomous Systems. Details below. SPEAKER Sergio Daniel Quijano, PhD.[…]

10/01/2025 – Talk: “Semantical Reflection: Programs, Digital Twins, Correctness” By Eduard Kamburjan

Eduard Kamburjan will give a talk about his work on Semantical Reflection: Programs, Digital Twins, Correctness. Details below. SPEAKER Eduard Kamburjan, Prof., ITU. TITLE Semantical Reflection: Programs, Digital Twins, Correctness ABSTRACT[…]

24/04/2024 – Talk: “On the Energy Consumption of Various Versions of CPython” by Helge Pfeiffer

Helge Pfeiffer will give a talk about his work on On the Energy Consumption of Various Versions of CPython. Details below. SPEAKER Helge Pfeiffer, Prof., ITU. TITLE On the Energy Consumption[…]

08/03/2024 – Talk: “A Probabilistic Choreography Language for PRISM” By Marco Carbone

Marco Carbone will give a talk about his work on A Probabilistic Choreography Language for PRISM. Details below. SPEAKER Marco Carbone, Prof., ITU. TITLE A Probabilistic Choreography Language for PRISM ABSTRACT[…]

01/11/2023 – Talk: “Exact and Efficient Bayesian Inference for Privacy Risk Quantification” By Rasmus C. Rønneberg

Rasmus Rønneberg will give a talk about his work on Exact and Efficient Bayesian Inference for Privacy Risk Quantification. Details below. SPEAKER Rasmus C. Rønneberg, PhD fellow, KIT. TITLE Exact and[…]

11/10/2023 – Talk: “Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality” By Adrian Hoff

Adrian Hoff will give a talk about his work on Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Preparing Software Re-Engineering via Freehand[…]