Clovis Eberhart

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