Search - Archive ouverte HAL Access content directly

Filter your results

7 Results
Image document

Fibrational Bisimulations and Quantitative Reasoning

David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1

Model-bounded monitoring of hybrid systems

Masaki Waga , Étienne André , Ichiro Hasuo
ICCPS 2021 - 12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
Conference papers hal-03142412v1

Goal-Aware RSS for Complex Scenarios via Program Logic

Ichiro Hasuo , Clovis Eberhart , James Haydon , Jérémy Dubut , Rose Bohrer , et al.
IEEE Transactions on Intelligent Vehicles, 2023, 8 (4), pp.3040-3072. ⟨10.1109/TIV.2022.3169762⟩
Journal articles hal-04138463v1
Image document

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

Natsuki Urabe , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers hal-02044648v1

Architecture-Guided Test Resource Allocation via Logic

Clovis Eberhart , Akihisa Yamada , Stefan Klikovits , Shin-Ya Katsumata , Tsutomu Kobayashi , et al.
15th International Conference on Tests and Proofs (TAP 2021), Jun 2021, Bergen, Norway. pp.22-38, ⟨10.1007/978-3-030-79379-1_2⟩
Conference papers hal-04138451v1
Image document

Measurements in Proof Nets as Higher-Order Quantum Circuits

Akira Yoshimizu , Ichiro Hasuo , Claudia Faggian , Ugo Dal Lago
23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, ⟨10.1007/978-3-642-54833-8_20⟩
Conference papers hal-01091582v1

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior

Étienne André , Masaki Waga , Natuski Urabe , Ichiro Hasuo
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Conference papers hal-03690071v1