Clovis Eberhart

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 34

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Autom. 160 (2024)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136 (2024)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Serge Lechenne, Clovis Eberhart, Ichiro Hasuo
A Compositional Framework for Petri Nets. CMCS (2024)
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving. CoRR (2023)
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
Formal Verification of Safety Architectures for Automated Driving. CoRR (2023)
James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
Formal Verification of Intersection Safety for Automated Driving. ITSC (2023)
Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
Formal Verification of Safety Architectures for Automated Driving. IV (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Solution of Mean Payoff Games by String Diagrams. CoRR (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) (2023)
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR (2022)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
Codensity Games for Bisimilarity. New Gener. Comput. 40 (2) (2022)
Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert
Logic for Timed Agent Network Topologies. CDC (2022)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR (2021)
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CoRR (2021)
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CDC (2021)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
A Compositional Approach to Parity Games. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. ICARCV (2020)
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. CoRR (2020)
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Template Games, Simple Games, and Day Convolution. FSCD (2019)
Clovis Eberhart, Bartek Klin
History-Dependent Nominal μ-Calculus. LICS (2019)
Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. CoRR (2019)
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops (2019)
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Simple game semantics and Day convolution. CoRR (2018)
Clovis Eberhart, Tom Hirschowitz
What's in a game?: A theory of game models. LICS (2018)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An intensionally fully-abstract sheaf model for π (expanded version). Log. Methods Comput. Sci. 13 (4) (2017)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An intensionally fully-abstract sheaf model for π (expanded version). CoRR (2017)
Clovis Eberhart, Tom Hirschowitz
What's in a game? A theory of game models. CoRR (2017)
Clovis Eberhart, Tom Hirschowitz
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. CALCO (2017)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
An Intensionally Fully-abstract Sheaf Model for pi. CALCO (2015)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Fully-abstract concurrent games for pi. CoRR (2013)

Clovis Eberhart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clovis Eberhart