Misaki Kojima

12 papers C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version).
CoRR
Misaki Kojima, Naoki Nishida
2026 J jnl
Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version).
CoRR
Naoki Nishida, Kazushi Nishie, Misaki Kojima
2025 J jnl
A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems.
J. Log. Algebraic Methods Program.
Naoki Nishida, Misaki Kojima, Ayuka Matsumi
2025 J jnl
Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version).
CoRR
Naoki Nishida, Misaki Kojima, Yuto Nakamura
2025 — conf
Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems.
FroCoS
Naoki Nishida, Misaki Kojima, Yuto Nakamura
2025 J jnl
Transforming concurrent programs with semaphores into logically constrained term rewrite systems.
J. Log. Algebraic Methods Program.
Misaki Kojima, Naoki Nishida, Yutaka Matsubara
2025 J jnl
Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms.
J. Log. Algebraic Methods Program.
Naoki Nishida, Misaki Kojima, Takumi Kato
2024 J jnl
A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations.
J. Inf. Process.
Misaki Kojima, Naoki Nishida
2024 — conf
On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems Under Process Fairness.
RP
Misaki Kojima, Naoki Nishida
2023 C conf
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.
PADL
Misaki Kojima, Naoki Nishida
2023 J jnl
On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic.
CoRR
Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin
2023 J jnl
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting.
J. Log. Algebraic Methods Program.
Misaki Kojima, Naoki Nishida