北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

緒方 和博 (オガタ カズヒロ) 教授
情報科学系、知能ロボティクス領域

88件中1-20件目

  • 1. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores,Adrian Riesco, Kazuhiro Ogata,ACM Transactions on Software Engineering and Methodology,27,2,6:1-6:32,2018
  • 2. From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories,Min Zhang, Kazuhiro Ogata,Theoretical Computer Science (TCS),722,52-75
  • 3. A proof score approach to formal verification of an imperative programming language compiler,Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata,8th International Workshop on SOFL+MSVL (8th SOFL+MSVL),2017
  • 4. Graphically perceiving characteristics of the MCS lock and model checking them,Tam Thi Thanh Nguyen, Kazuhiro Ogata,8th International Workshop on SOFL+MSVL (8th SOFL+MSVL),2017
  • 5. Analysis of Two Flawed Versions of a Mutual Exclusion Protocol with Maude and SMGA,May Thu Aung, Tam Thi Thanh Nguyen and Kazuhiro Ogata,7th International Conference on Software and Computer Applications (ICSCA 2018)
  • 6. Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Mobile Ad Hoc Mobile Networks,Yati Phyo and Kazuhiro Ogata,25th Asia-Pacific Software Engineering Conference
  • 7. Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications,Manjukeshwar Reddy Mandadi, Varuneshwar Reddy Mandadi, Kazuhiro Ogata,Journal of Information Security and Applications,2018
  • 8. Guessing, Model Checking and Theorem Proving of State Machine Properties – A Case Study on Qlock,May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata,International Journal of Software Engineering and Computer Systems,4,2,1–18
  • 9. Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN,Shouki Sakamoto, Kazuhiro Ogata,5th International Conference on Dependable Systems and their Applications
  • 10. Analysis of Some Variants of the Anderson Array-based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations,Yati Phyo and Kazuhiro Ogata,5th International Conference on Dependable Systems and their Applications
  • 11. Guessing properties of the Qlock mutual exclusion protocol based on its graphical animations and confirming the properties by model checking,May Thu Aung, Tam Thi Thanh Nguyen and Kazuhiro Ogata,7th International Conference on Software and Computer Applications (ICSCA 2018)
  • 12. A Maude environment for CafeOBJ,Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi, Formal Asp. Comput,29,2,309-334
  • 13. Writing concurrent Java programs based on CafeOBJ specifications,Xuan-Linh Ha and Kazuhiro Ogata,24th Asia-Pacific Software Engineering Conference,618-623
  • 14. Specifying a Distributed Snapshot Algorithm as a Meta-program and Model Checking it at Meta-level,Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata,37th IEEE International Conference on Distributed Computing Systems (37th ICDCS),1586-1596,2017
  • 15. A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker,Tam Thi Thanh Nguyen, Kazuhiro Ogata,International Conference on Software Analysis, Testing and Evolution (SATE 2017),TBA,2017
  • 16. Graphical Animations of State Machines,Tam Thi Thanh Nguyen, Kazuhiro Ogata,15th IEEE International Conference on Dependable, Autonomic and Secure Computing (15th DASC),TBA,2017
  • 17. Model Checking of Robot Gathering,Ha Thi Thu Doan, Francois Bonnet, Kazuhiro Ogata,21st International Conference on Principles of Distributed Systems (21st OPODIS),12:1–12:16
  • 18. A Divide & Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions,Kazuhiro Ogata,Frontiers of Computer Science,TBA,TBA,TBA,TBA
  • 19. Model Checking the iKP Electronic Payment Protocols,Kazuhiro Ogata,Journal of Information Security and Applications,36,101-111,2017
  • 20. A Formal Proof Generator from Semi-formal Proof,Adri疣 Riesco, Kazuhiro Ogata,14th International Colloquium on Theoretical Aspects Computing (14th ICTAC),TBA,2017

 1  2  3  4  5 次へ ≫ ]