Isobe's Homepage

産総研
last updated 2024.05.02
磯部の写真
Profile
磯部 祥尚（Yoshinao Isobe）
国立研究開発法人産業技術総合研究所
サイバーフィジカルセキュリティ研究センター
ソフトウェアアナリティクス研究チーム　主任研究員
〒563-8577 大阪府池田市緑丘1-8-31
産業技術総合研究所 関西センター
TEL：029-861-5892
E-mail：y-isobe@aist.go.jp
[English Page]
研究
  • プロセス代数CSPのための定理証明器： CSP-Prover (Markus Roggenbach博士との共同研究）
  • 列車ダイヤ自動生成ツール：RW-Solver（JR東日本との共同研究）
  • 協調ロボットのケーススタディ：CoopRobo
  • 機械学習品質評価・向上技術：Technical Report
    • WP-GEB-Estimator ：ニューラル分類器の重み摂動付加汎化誤差上界見積ツール
      (WP-GEB: Weight-Perturbed Generalization Error Bounds)
論文
  1. Y. Isobe, N. Miyamoto, N. Ando, and Y. Oiwa, Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots, IEICE Transactions on Information and Systems, Vol.E104-D, No.10, pp.1515-1532, 2021. [PDF (4.6MB)]
  2. 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)]
  3. T. Kaizu, Y. Isobe, M. Suzuki, SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP (Japanese), JSSST (Japan Society for Software Science and Technology) Computer Software, Vol.32, No.1, pp.234-252, 2015.
  4. A. Sampaio, S. Nogueira, A. Mota, Y. Isobe, Sound and Mechanised Compositional Verification of Input-Output Conformance, Journal of Software Testing, Verification and Reliability, 24(4), pp.289-319, 2014.
  5. T. Kaizu, Y. Isobe, M. Suzuki, Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP, IEICE Transactions on Fundamentals, Vol. E96-A(2): 496-504, 2012.
  6. Y. Isobe, F. Moller, H. N. Nguyen, M. Roggenbach, Safety and Line Capacity in Railways - An Approach in Timed CSP, In 9th International Conference on Integrated Formal Methods (IFM 2012), LNCS 7321, pp.54-68, Springer, 2012
  7. Y. Isobe, CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation, In 33th WoTUG Conference on Communicating Process Architectures (CPA 2011), pp. 341-362, 2011
  8. L. O'Reilly, Y. Isobe, M. Roggenbach, CSP-CASL-Prover - A Generic Tool for Process and Data Refinement, Electronic Notes in Theoretical Computer Science, 250(2), pp.69-84, 2009.
  9. G. Samuel, Y. Isobe, M. Roggenbach, The Stable Revival Model in CSP-Prover, Electronic Notes in Theoretical Computer Science, 250(2), pp.119-134, 2009.
  10. Y. Isobe and M.Roggenbach, CSP-Prover -- a Proof Tool for the Verification of Scalable Concurrent Systems, Journal of Computer Software, Japan Society for Software Science and Technology (JSSST), Vol.25, No.4, pp.85--92, 2008.
  11. 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.
  12. Y. Isobe and M. Roggenbach, A complete axiomatic semantics for the CSP stable-failures model, CONCUR 2006 (17th International Conference on Concurrency Theory), LNCS 4137, Springer, pp.158-172, Bonn (Germany), August 2006.
  13. Y. Isobe and M. Roggenbach, A Generic Theorem Prover of CSP Refinement, TACAS 2005 ( 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), LNCS 3440, pp.108-123, Edinburgh, April 2005. [PDF: 254KB]
  14. 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: 355KB]
  15. 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: 140KB]
  16. 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: 138KB]
  17. 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: 205KB]
  18. 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: 195KB]
  19. 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: 269KB]
  20. 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: 220KB]
  21. 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: 214KB]
  22. 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: 165KB]
  23. 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: 203KB]