| 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 | 30 | 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 | 17 | 2015 |
| Compositional probabilistic model checking with string diagrams of MDPs K Watanabe, C Eberhart, K Asada, I Hasuo International Conference on Computer Aided Verification, 40-61, 2023 | 11 | 2023 |
| 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 8 (4), 3040-3072, 2022 | 11 | 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 | 10 | 2018 |
| A compositional approach to parity games K Watanabe, C Eberhart, K Asada, I Hasuo arXiv preprint arXiv:2112.14058, 2021 | 9 | 2021 |
| 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 | 7 | 2020 |
| 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 | 6 | 2023 |
| An intensionally fully-abstract sheaf model for (expanded version) C Eberhart, T Hirschowitz, T Seiller Logical Methods in Computer Science 13, 2017 | 5 | 2017 |
| 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), 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 | |
| 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 |
| 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 | 3 | 2022 |
| Scenario sampling for cyber physical systems using combinatorial testing A Yamada, C Eberhart, F Ishikawa, NZ Lee 2019 IEEE International Conference on Software Testing, Verification and …, 2019 | 3 | 2019 |
| Compositional solution of mean payoff games by string diagrams K Watanabe, C Eberhart, K Asada, I Hasuo Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 2 | 2024 |
| Control-data separation and logical condition propagation for efficient inference on probabilistic programs I Hasuo, Y Oyabu, C Eberhart, K Suenaga, K Cho, S Katsumata Journal of Logical and Algebraic Methods in Programming 136, 100922, 2024 | 2 | 2024 |
| Formal verification of intersection safety for automated driving J Haydon, M Bondu, C Eberhart, J Dubut, I Hasuo 2023 IEEE 26th International Conference on Intelligent Transportation …, 2023 | 2 | 2023 |
| Catégories et diagrammes de cordes pour les jeux concurrents C Eberhart Université Grenoble Alpes (ComUE), 2018 | 2 | 2018 |
