Clovis Eberhart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
\textit{AP}-observation automata for abstraction-based verification of continuous-time systems	2026-03-20	Paper
A compositional framework for Petri nets	2025-01-20	Paper
History-dependent nominal \(\mu \)-calculus	2024-12-19	Paper
A compositional approach to parity games	2024-12-17	Paper
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis Automatica	2024-02-13	Paper
Control-data separation and logical condition propagation for efficient inference on probabilistic programs Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Compositional probabilistic model checking with string diagrams of MDPs	2024-02-01	Paper
scientific article; zbMATH DE number 7559282 (Why is no real title available?)	2022-07-18	Paper
Architecture-guided test resource allocation via logic (available as arXiv preprint)	2022-03-21	Paper
What's in a game? Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Fibred pseudo double categories for game semantics	2019-06-17	Paper
Simple game semantics and Day convolution	2018-10-16	Paper
Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics	2018-08-13	Paper
scientific article; zbMATH DE number 6816930 (Why is no real title available?) (available as arXiv preprint)	2017-12-11	Paper
An intensionally fully-abstract sheaf model for \(\pi\)	2017-07-11	Paper

Research outcomes over time

This page was built for person: Clovis Eberhart