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

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

 

 

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

83件中1-20件目

  • 1. 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)
  • 2. 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)
  • 3. 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
  • 4. 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
  • 5. 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
  • 6. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores,Adrian Resco, Kazuhiro Ogata,ACM Transactions on Software Engineering and Methodology,?,?,?,to appear
  • 7. Writing concurrent Java programs based on CafeOBJ specifications,Xuan-Linh Ha and Kazuhiro Ogata,24th Asia-Pacific Software Engineering Conference,618-623
  • 8. A Maude environment for CafeOBJ,Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi, Formal Asp. Comput,29,2,309-334
  • 9. 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
  • 10. A Divide & Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions,Kazuhiro Ogata,Frontiers of Computer Science,TBA,TBA,TBA,TBA
  • 11. A Formal Proof Generator from Semi-formal Proof,Adri疣 Riesco, Kazuhiro Ogata,14th International Colloquium on Theoretical Aspects Computing (14th ICTAC),TBA,2017
  • 12. 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
  • 13. 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
  • 14. 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
  • 15. Model Checking the iKP Electronic Payment Protocols,Kazuhiro Ogata,Journal of Information Security and Applications,36,101-111,2017
  • 16. Formalization and Verification of Declarative Cloud Orchestration,Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi,Formal Methods and Software Engineering - 17th International Conferenceon Formal Engineering Methods, (ICFEM 2015),Lecture Notes in Computer Science, Springer,9407,33-49,December 2015
  • 17. Liveness properties in CafeOBJ - a case study for meta-level specifications,Norbert Preining, Kazuhiro Ogata, and Kokichi Futatsugi,Logic-Based Program Synthesis and Transformation ?24th International Symposium, LOPSTR 2014Lecture Notes in Computer ScienceSpringer,8981,182, 12,2015/03
  • 18. Proving Sufficient Completeness of Constructor-Based Algebraic Specifications,Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi,Advances in Computer Science and Ubiquitous Computing,LNEE 373 (Springer),15-21,18 December 2015
  • 19. Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates,Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi,22nd Asia-Pacific Software Engineering Conference (22nd APSEC) (Selected as Best Paper)
  • 20. Formalization and Verification of Declarative Cloud Orchestration,Hiroyuki Yoshida, Kokichi Futatsugi, Kazuhiro Ogata,17th International Conference on Formal Engineering Methods (17th ICFEM),LNCS 9407

 1  2  3  4  5 次へ ≫ ]