Codensity games for bisimilarity Y Komorida, S Katsumata, N Hu, B Klin, S Humeau, C Eberhart, I Hasuo
New Generation Computing 40 (2), 403-465, 2022
26 2022 An intensionally fully-abstract sheaf model for pi C Eberhart, T Hirschowitz, T Seiller
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) 35 …, 2015
16 2015 Goal-Aware RSS for Complex Scenarios via Program Logic I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ...
IEEE Transactions on Intelligent Vehicles, 2022
9 2022 What's in a game? A theory of game models C Eberhart, T Hirschowitz
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
9 2018 Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization S Pruekprasert, T Takisaka, C Eberhart, A Cetinkaya, J Dubut
IFAC-PapersOnLine 53 (2), 14462-14469, 2020
8 2020 A Compositional Approach to Parity Games K Watanabe, C Eberhart, K Asada, I Hasuo
arXiv preprint arXiv:2112.14058, 2021
6 2021 Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics C Eberhart, T Hirschowitz
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) 72, 10, 2017
5 2017 Fully-abstract concurrent games for pi C Eberhart, T Hirschowitz, T Seiller
arXiv preprint arXiv:1310.4306, 2013
5 2013 Presheaves for Processes and Unfoldings C Eberhart, T Hirschowitz
5 Compositional Probabilistic Model Checking with String Diagrams of MDPs K Watanabe, C Eberhart, K Asada, I Hasuo
35th International Conference on Computer Aided Verification (CAV 2023), 2023
4 2023 Formal Verification of Safety Architectures for Automated Driving C Eberhart, J Dubut, J Haydon, I Hasuo
2023 IEEE Intelligent Vehicles Symposium (IV), 1-8, 2023
4 2023 History-Dependent Nominal μ-Calculus C Eberhart, B Klin
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
4 2019 Template Games, Simple Games, and Day Convolution C Eberhart, T Hirschowitz, A Laouar
4th International Conference on Formal Structures for Computation and …, 2019
4 2019 An intensionally fully-abstract sheaf model for (expanded version) C Eberhart, T Hirschowitz, T Seiller
Logical Methods in Computer Science 13, 2017
4 2017 An intensionally fully-abstract sheaf model for (expanded version) C Eberhart, T Hirschowitz, T Seiller
Logical Methods in Computer Science 13, 2017
4 2017 Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya
arXiv preprint arXiv:2201.08648, 2022
2 2022 Catégories et diagrammes de cordes pour les jeux concurrents C Eberhart
Université Grenoble Alpes (ComUE), 2018
2 2018 Game semantics as a singular functor, and definability as geometric realisation C Eberhart, T Hirschowitz
2 2017 Compositional Solution of Mean Payoff Games by String Diagrams K Watanabe, C Eberhart, K Asada, I Hasuo
arXiv preprint arXiv:2307.08034, 2023
1 2023 Architecture-Guided Test Resource Allocation via Logic C Eberhart, A Yamada, S Klikovits, S Katsumata, T Kobayashi, I Hasuo, ...
International Conference on Tests and Proofs, 22-38, 2021
1 2021