Senior Researcher Software Analytics Research Team
Cyber Physical Security Research Center
National Institute of Advanced Industrial Science and Technology (AIST)
Kansai Center, 1-8-31 Midorigaoka, Ikeda, Osaka 563-8577 Japan
e-mail: y-isobe@aist.go.jp
Research interest
CSP-Prover : A generic theorem prover of CSP refinemnet : (in cooperation with M.Roggenbach)
CONPASU : A concurrent process analysis support tool
RW-Solver : A tool for generating train timetables with the help of
SMT-Solver : (in cooperation with JR-East)
Theoretical research on concurrent processes, especially process
algebra
Publication
Y. Isobe, H. Hatsugai, A. Tanaka, Y. Oiwa, T. Ambe, A.
Okada, S. Kitamura, Y. Fukuta, and T. Kunifuji, Automatic Generation of
Train Timetables from Mesoscopic Railway Models by SMT-Solver, IEICE
Transactions on Fundamentals of Electronics, Communications and
Computer Sciences, Vol.E102-A, No.2, pp.325-335, 2019. [PDF (5.5MB)]
Y. Isobe and
M. Roggenbach, Proof Principles of CSP -- CSP-Prover in Practice,
Dynamics in Logistics: First International Conference, LDIC
2007, Springer, pp.425-422, 2007.
Y. Isobe and K. Ohmaki: A Non-interleaving Timed Process Algebra
and a Process Logic for Verifying Composition of Agents (full version),
JSSST (Japan Society for Software Science and
Technology) Computer Software, Vol.20, No.5, pp.58-79, 2003. (pdf)
Y. Isobe and K. Ohmaki: A Non-interleaving Timed Process Algebra
and a Process Logic for Verifying Composition of Agents, IFICT2003 (1st International Forum on Information and Computer
Technology), pp.215-220, 2003. (pdf)
Y. Isobe and K. Ohmaki: A Process Logic for Distributed System
Synthesis, APSEC 2000 (7th Asia-Pacific Software
Engineering Conference), IEEE Computer Society Press. pp.62-69,
2000. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: Least Fixpoint and Greatest
Fixpoint in a Process Algebra with Conjunction and Disjunction, IEICE (Institute of Electronics, Information and
Communication Engineers) Trans. on Fundamentals, Vol.E83-A,
No.3, pp.401-411, 2000. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: Eventuality in LOTOS with a
Disjunction Operator, ASIAN'98 (4th Asian
Computing Science Conference), LNCS 1538, Springer-Verlag,
pp.263-281, 1998. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: Approximative Analysis by Process
Algebra with Graded Spatial Actions (Japanese), JSSST (Japan Society for Software Science and Technology)
Computer Software, Vol.14, No.2, pp.4-21, 1997. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: Approximative Analysis by Process
Algebra with Graded Spatial Actions, AMAST'96 (Fifth
International Conference on Algebraic Methodology and Software
Technology), LNCS 1101, Springer-Verlag, pp.336-350, 1996. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: A Calculus of Countable
Broadcasting Systems (Japanese), JSSST (Japan
Society for Software Science and Technology) Computer Software,
Vol.13, No.1, pp.55-70, 1996. (pdf)
Y. Isobe, Y. Sato, and K. Ohmaki: A Calculus of Countable
Broadcasting Systems, AMAST'95 (Fourth
International Conference on Algebraic Methodology and Software
Technology), LNCS 936, Springer-Verlag, pp.489-503, 1995. (pdf)
Y. Isobe, I. Kojima, and K. Ohmaki: Analysis of Database Production
Rules by Process Algebra, IEICE (Institute of
Electronics, Information and Communication Engineers) Trans.
Information and Systems. Vol.E78-D, No.8, pp.992-1002, 1995. (pdf)