Henning Kerstan

This website requires JavaScript. Please enable JavaScript for this website.

Talks

last updated on Sat, 3 Mar 2018, 21:41 CET

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