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