Natsuki Urabe

27 papers A* 1B 5Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Preorder-Constrained Simulations for Program Refinement with Effects.
CMCS
Koko Muroya, Takahiro Sanada, Natsuki Urabe
2022 — conf
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.
NFM
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Exemplifying parametric timed specifications over signals with bounded behavior.
CoRR
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
2022 J jnl
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.
IEEE Trans. Autom. Control.
Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
2022 — conf
The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
CAV (1)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2022 J jnl
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2021 B conf
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).
CALCO
Koko Muroya, Takahiro Sanada, Natsuki Urabe
2021 J jnl
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.
ACM Trans. Program. Lang. Syst.
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2021 J jnl
Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Natsuki Urabe, Rupak Majumdar
2019 — conf
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
TACAS (2)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.
CoRR
Natsuki Urabe, Ichiro Hasuo
2018 — conf
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
CMCS
Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Coalgebraic Infinite Traces and Kleisli Simulations.
Log. Methods Comput. Sci.
Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Quantitative Matrix Simulation.
CoRR
Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Ranking and Repulsing Supermartingales for Approximating Reachability.
CoRR
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018 B conf
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
ATVA
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
CoRR
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2017 J jnl
Categorical Liveness Checking by Corecursive Algebras.
CoRR
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
2017 A* conf
Categorical liveness checking by corecursive algebras.
LICS
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
2017 J jnl
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
Log. Methods Comput. Sci.
Natsuki Urabe, Ichiro Hasuo
2017 J jnl
Quantitative simulations by matrices.
Inf. Comput.
Natsuki Urabe, Ichiro Hasuo
2016 B conf
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CONCUR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
Coalgebraic Trace Semantics for Buechi and Parity Automata.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
CoRR
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2015 B conf
Coalgebraic Infinite Traces and Kleisli Simulations.
CALCO
Natsuki Urabe, Ichiro Hasuo
2015 J jnl
Coalgebraic Infinite Traces and Kleisli Simulations.
CoRR
Natsuki Urabe, Ichiro Hasuo
2014 B conf
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices.
CONCUR
Natsuki Urabe, Ichiro Hasuo