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 | 28 | 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 | 7 | 2021 |
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 | 5 | 2023 |
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 | |
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 |
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 |
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 |
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 | 2 | 2019 |
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 |