Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[1] 中村伸裕, 服部悦子, 永田菜生, 楠本真二, "システム価値向上を目的としたScrumの試行・評価," SEC journal, volume 9, number 3, pages 110-117, 2013年10月.
[2] 石原 知也, 堀田 圭佑, 肥後 芳樹, 井垣 宏, 楠本 真二 , "大規模なソフトウェア群を対象とするメソッド単位でのコードクローン検出," 情報処理学会論文誌, volume 54, number 2, pages 835-844, 2013年2月.
[3] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation," IEICE Transactions on Information and Systems, volume E94-D, number 5, May 2011.
[4] Takeshi Nagaoka, Eigo Nagai, Kozo Okano, and Shinji Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," International Journal of Informatics Society (IJIS), volume 1, number 2, pages 37-44, September 2009.
国際会議
[1] Norhiro Yoshida, Yoshiki Higo, Shinji Kusumoto, and Katsuro Inoue, "An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques," In the 19th Asia-Pacific Software Engineering Conference, pages 310-313, December 2012. [apsec2012higo.pdf]
[2] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto, "Reachability Analysis of Probabilistic Real-Time Systems Based on Cegar for Timed Automata," In Proceedings of International Workshop on Informatics 2010, pages 18-26, September 2010. [IWIN2010_Number17.pdf]
[3] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qualitative Analysis of Real-Time Distributed Systems Considering Network Congestion by Probabilistic Model Checker Prism," In Proceedings of 2009 International Workshop on Empirical Software Engineering in Practice (IWESEP 2009), October 2009.
学位論文
[1] Takeshi Nagaoka, "Study on Model Abstraction for Model Checking of Real-Time Systems," Ph.D. thesis, Osaka University, 2011. [thesis.pdf]

Search

Tags

この検索内の頻出タグ: systems:8 real-time:5 probabilistic:3 model:3 analysis:3 software:2 distributed:2 detection:2 clone:2 checking:2 verification:1 value:1 uml/ocl:1 timed:1 techniques:1 technique:1 study:1 stepwise:1 simulation:1 scrum:1 report:1 reachability:1 qualitative:1 qos:1 prism:1 number:1 network:1 method:1 large:1 industrial:1

8 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.040134 seconds.