TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Kazuhiro Ogata Professor
School of Information Science、Intelligent Robotics Area

Results 1-20 of about 85

  • 1. Formal Specification and Model Checking of A* Algorithm,Kazuhiro Ogata,31st International Conference on Software Engineering and Knowledge Engineering (31st SEKE),2019
  • 2. Specification-based Testing with Simulation Relations,Canh Do Minh, Kazuhiro Ogata,31st International Conference on Software Engineering and Knowledge Engineering (31st SEKE),2019
  • 3. Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol,Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata,31st International Conference on Software Engineering and Knowledge Engineering (31st SEKE),2019
  • 4. Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol,Dang Duy Bui, Kazuhiro Ogata,25th International DMS Conference on Visualization and Visual Languages
  • 5. 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
  • 6. 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
  • 7. 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
  • 8. 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
  • 9. 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
  • 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. 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
  • 12. 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)
  • 13. 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)
  • 14. 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
  • 15. 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
  • 16. 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
  • 17. 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
  • 18. 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
  • 19. A Formal Proof Generator from Semi-formal Proof,Adri疣 Riesco, Kazuhiro Ogata,14th International Colloquium on Theoretical Aspects Computing (14th ICTAC),TBA,2017
  • 20. Model Checking the iKP Electronic Payment Protocols,Kazuhiro Ogata,Journal of Information Security and Applications,36,101-111,2017

 1  2  3  4  5 Next ≫ ]