Yoshinao Isobe

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 7

Top Topics

Cooperative Behavior

Quality Assurance

State Transition

Top Venues

IEICE Trans. Inf. Syst.

Softw. Test. Verification Reliab.

Publications

Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa
Autonomous driving quality assurance with data uncertainty analysis. IJCNN (2022)
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa
AI robustness analysis with consideration of corner cases. AITest (2021)
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
Corner Case Data Description and Detection. WAIN@ICSE (2021)
Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
Corner case data description and detection. CoRR (2021)
Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE Trans. Inf. Syst. (10) (2021)
Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2019)
Toshihiro Yoshizumi, Takaaki Goto, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida
Parallel algorithm that considers energy efficiency and time efficiency. ICIT (2016)
Yoshinao Isobe
Foreword. IEICE Trans. Inf. Syst. (5) (2014)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24 (4) (2014)
Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2013)
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono
Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. Inf. Media Technol. 7 (3) (2012)
Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach
Safety and Line Capacity in Railways - An Approach in Timed CSP. IFM (2012)
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono
Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. J. Inf. Process. 20 (3) (2012)
Yoshinao Isobe
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. CPA (2011)
Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe
The Stable Revivals Model in CSP-Prover. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Yoshinao Isobe, Markus Roggenbach
Proof Principles of CSP - CSP-Prover in Practice. LDIC (2007)
Yoshinao Isobe, Markus Roggenbach
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR (2006)
Yoshinao Isobe, Markus Roggenbach
A Generic Theorem Prover of CSP Refinement. TACAS (2005)
Yoshinao Isobe, Kazuhito Ohmaki
A process logic for distributed system synthesis . APSEC (2000)
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
Eventuality in LOTOS with a Disjunction Operator. ASIAN (1998)
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
Approximative Analysis by Process Algebra with Graded Spatial Actions. AMAST (1996)
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
A Calculus of Countable Broadcasting Systems. AMAST (1995)
Yoshinao Isobe, Isao Kojima, Kazuhito Ohmaki
Analysis of Database Production Rules by Process Algebra. IEICE Trans. Inf. Syst. (8) (1995)