Yoshinao Isobe

According to our database, Yoshinao Isobe authored at least 24 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Autonomous driving quality assurance with data uncertainty analysis.

Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa

Proceedings of the International Joint Conference on Neural Networks, 2022

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

Corner case data description and detection.

Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo

CoRR, 2021

Corner Case Data Description and Detection.

Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo

Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

AI robustness analysis with consideration of corner cases.

Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2019

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

2016

Parallel algorithm that considers energy efficiency and time efficiency.

Toshihiro Yoshizumi, Takaaki Goto, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida

Proceedings of the IEEE International Conference on Industrial Technology, 2016

2014

Sound and mechanised compositional verification of input-output conformance.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe

Softw. Test. Verification Reliab., 2014

Foreword.

Yoshinao Isobe

IEICE Trans. Inf. Syst., 2014

2013

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

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

Safety and Line Capacity in Railways - An Approach in Timed CSP.

Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation.

Yoshinao Isobe

Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010

CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems.

Yoshinao Isobe, Markus Roggenbach

Inf. Media Technol., 2010

2008

The Stable Revivals Model in CSP-Prover.

D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.

Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

2007

Proof Principles of CSP - CSP-Prover in Practice.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the Dynamics in Logistics, First International Conference, 2007

2006

A Complete Axiomatic Semantics for the CSP Stable-Failures Model.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

A Generic Theorem Prover of CSP Refinement.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2000

A process logic for distributed system synthesis .

Yoshinao Isobe, Kazuhito Ohmaki

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

Eventuality in LOTOS with a Disjunction Operator.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Advances in Computing Science, 1998

1996

Approximative Analysis by Process Algebra with Graded Spatial Actions.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Analysis of Database Production Rules by Process Algebra.

Yoshinao Isobe, Isao Kojima, Kazuhito Ohmaki

IEICE Trans. Inf. Syst., 1995

A Calculus of Countable Broadcasting Systems.

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

Proceedings of the Algebraic Methodology and Software Technology, 1995