A Calculus of Countable Broadcasting Systems. - Yoshinao Isobe; Yutaka Sato; Kazuhito Ohmaki (AMAST, 1995)

Analysis of Database Production Rules by Process Algebra. - Yoshinao Isobe; Isao Kojima; Kazuhito Ohmaki (IEICE Trans. Inf. Syst., 1995)

Approximative Analysis by Process Algebra with Graded Spatial Actions. - Yoshinao Isobe; Yutaka Sato; Kazuhito Ohmaki (AMAST, 1996)

Eventuality in LOTOS with a Disjunction Operator. - Yoshinao Isobe; Yutaka Sato; Kazuhito Ohmaki (ASIAN, 1998)

A process logic for distributed system synthesis . - Yoshinao Isobe; Kazuhito Ohmaki (APSEC, 2000)

A Generic Theorem Prover of CSP Refinement. - Yoshinao Isobe; Markus Roggenbach (TACAS, 2005)

A Complete Axiomatic Semantics for the CSP Stable-Failures Model. - Yoshinao Isobe; Markus Roggenbach (CONCUR, 2006)

Proof Principles of CSP - CSP-Prover in Practice. - Yoshinao Isobe; Markus Roggenbach (LDIC, 2007)

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. - Liam O'Reilly; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)

The Stable Revivals Model in CSP-Prover. - D. Gift Samuel; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)

CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems. - Yoshinao Isobe; Markus Roggenbach (Inf. Media Technol., 2010)

CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. - Yoshinao Isobe (CPA, 2011)

Safety and Line Capacity in Railways - An Approach in Timed CSP. - Yoshinao Isobe; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach (IFM, 2012)

Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. - Yuki Hasegawa; Yoshinao Isobe; Kazuhito Ohmaki; Hideki Mori; Kensei Tsuchida; Yasunori Shiono (J. Inf. Process., 2012)

Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. - Tomohiro Kaizu; Yoshinao Isobe; Masato Suzuki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Foreword. - Yoshinao Isobe (IEICE Trans. Inf. Syst., 2014)

Sound and mechanised compositional verification of input-output conformance. - Augusto Sampaio 001; Sidney C. Nogueira; Alexandre Mota 001; Yoshinao Isobe (Softw. Test. Verification Reliab., 2014)

Parallel algorithm that considers energy efficiency and time efficiency. - Toshihiro Yoshizumi; Takaaki Goto; Yoshinao Isobe; Kazuhito Ohmaki; Hideki Mori; Kensei Tsuchida (ICIT, 2016)

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. - Yoshinao Isobe; Hisabumi Hatsugai; Akira Tanaka; Yutaka Oiwa; Takanori Ambe; Akimasa Okada; Satoru Kitamura; Yamato Fukuta; Takashi Kunifuji (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)

AI robustness analysis with consideration of corner cases. - Tinghui Ouyang; Yoshinao Isobe; Vicent Sanz Marco; Jun Ogata; Yoshiki Seo; Yutaka Oiwa (AITest, 2021)

Corner Case Data Description and Detection. - Tinghui Ouyang; Vicent Sanz Marco; Yoshinao Isobe; Hideki Asoh; Yutaka Oiwa; Yoshiki Seo (WAIN@ICSE, 2021)

Corner case data description and detection. - Tinghui Ouyang; Vicent Sant Marco; Yoshinao Isobe; Hideki Asoh; Yutaka Oiwa; Yoshiki Seo (CoRR, 2021)

Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. - Yoshinao Isobe; Nobuhiko Miyamoto; Noriaki Ando; Yutaka Oiwa (IEICE Trans. Inf. Syst., 2021)

Autonomous driving quality assurance with data uncertainty analysis. - Tinghui Ouyang; Yoshinao Isobe; Saïma Sultana; Yoshiki Seo; Yutaka Oiwa (IJCNN, 2022)

Toward Individual Fairness Testing with Data Validity. - Takashi Kitamura 001; Sousuke Amasaki; Jun Inoue 001; Yoshinao Isobe; Takahisa Toda (ASE, 2024)