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

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

 

 

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

92件中21-40件目

  • 21. A Divide & Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions,Kazuhiro Ogata,Frontiers of Computer Science,TBA,TBA,TBA,TBA
  • 22. Writing concurrent Java programs based on CafeOBJ specifications,Xuan-Linh Ha and Kazuhiro Ogata,24th Asia-Pacific Software Engineering Conference,618-623
  • 23. 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
  • 24. A Maude environment for CafeOBJ,Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi, Formal Asp. Comput,29,2,309-334
  • 25. Formalization and Verification of Declarative Cloud Orchestration,Hiroyuki Yoshida, Kokichi Futatsugi, Kazuhiro Ogata,17th International Conference on Formal Engineering Methods (17th ICFEM),LNCS 9407
  • 26. Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited,Ha Thi Thu Doan, Wenjie Zhang, Min Zhang, Kazuhiro Ogata,2nd International Symposium on Dependable Computing and Internet of Things (2nd DCIT)
  • 27. Formal Modeling and Analysis of Time- and Resource-sensitive Simple Business Processes,Kazuhiro Ogata, Thapana Chaimanont, Min Zhang,2nd International Symposium on Dependable Computing and Internet of Things (2nd DCIT)(Selected as Best Paper),2015
  • 28. 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
  • 29. 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
  • 30. 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)
  • 31. 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
  • 32. 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)
  • 33. TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned,Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas,IEICE Transactions,97-D,5,1160-1170,2014
  • 34. Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications,Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi,Specification, Algebra, and Software 2014,92-109,2014
  • 35. Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method,Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi,Specification, Algebra, and Software 2014,560-577,2014
  • 36. On Automation of OTS/CafeOBJ Method,Daniel G稱n? Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi,Specification, Algebra, and Software 2014,578-602,2014
  • 37. Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs,Kazuhiro Ogata, Kokichi Futatsugi,Specification, Algebra, and Software 2014,630-656,2014
  • 38. On Automation of OTS/CafeOBJ Method,Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata and Kokichi Futatsugi,Lecture Notes in Computer Science,8373,578, 25,2014/04/14
  • 39. Constructor-based Logics,Daniel Gaina, Kokichi Futatsugi and Kazuhiro Ogata,Journal of Universal Computer Science,18,16,2204, 29,2012/10/18
  • 40. Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method,Kazuhiro Ogata, Kokichi Futatsugi,Journal of Universal Computer Science,19,6,771-804,2013

≪ 前へ ]  1  2  3  4  5 次へ ≫ ]