Yoshinao Isobe

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