15 citations · 17 across the 3 of their papers we have counts for
4 papers
Almost Fair Simulations
Arthur Correnson, Iona Kuhn, Bernd Finkbeiner
It is well known that liveness properties cannot be proven using standard simulation arguments. This issue has been mitigated by extending standard notions of simulation for transi…
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
Janine Lohse, Tim Rohde, Jimmy Xin +5
There has recently been exciting progress in the realm of probabilistic separation logics. An important subclass of these-including PSL, Lilac, Bluebell, and pcOL-are distributiona…
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
Ping Hou, Nobuko Yoshida, Iona Kuhn
Ensuring correctness of communication in distributed systems remains challenging. To address this, Multiparty session types (MPST), initially introduced by Honda et al. [52, 53], o…
Cross-language sentiment analysis of European Twitter messages duringthe COVID-19 pandemic
Anna Kruspe, Matthias Häberle, Iona Kuhn +1
Social media data can be a very salient source of information during crises. User-generated messages provide a window into people's minds during such times, allowing us insights ab…