Henning Kerstan

Talks

last updated on Thu, 7 Sep 2017, 13:03 CEST

Here is a list of talks I’ve given or will give.

2016

Coalgebraic Behavior Analysis — From Qualitative To Quantitative Analyses (PhD Defense)

2015

Towards Trace Metrics via Functor Lifting (Slides)

Behavioral Metrics via Functor Lifting

2014

Behavioral Metrics via Functor Lifting (Slides)

Lifting Adjunctions to (Co)Algebras to (Re)Discover Automata Constructions

Trace Semantics for Continuous Probabilistic Transition Systems

2013

Trace Semantics for Probabilistic Transition Systems based on Measure Theory

Lifting Coalgebras To Adjunctions (Best Presentation Award, Slides)

Trace Semantics for Probabilistic Transition Systems based on Measure Theory