[English]

磯部 祥尚

〒305-8568 茨城県つくば市梅園1-1-1 中央第2
産業技術総合研究所 セキュアシステム研究部門 高信頼ソフトウェア研究グループ 主任研究員
e-mail: y-isobe@aist.go.jp

(兼務) 北陸先端科学技術大学院大学 客員准教授



[研究]


[論文]
  1. Yoshinao Isobe and Markus 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.
  2. Yoshinao Isobe and Markus Roggenbach, Proof Principles of CSP -- CSP-Prover in Practice, Dynamics in Logistics: First International Conference, LDIC 2007, Springer, pp.425-422, 2007.
  3. 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.
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. .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)
  12. 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)
  13. 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)
  14. 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)


[講義]

国立情報学研究所トップエスイーで「並行システムの検証と実装」講座を担当しています。並行システム をプロセス代数CSPでモデル化し、モデル検査器FDRで検証し、JavaライブラリJCSPで実装する方法について講義をしています。本講座で使用して いるツールFDRとJCSPについてはこちらもご覧ください



[...]



更新: 2012年12月05日
(since 26/11/2009)