研究者

J-GLOBAL ID：201301081821616922 更新日: 2020年06月03日

ラムラウイシモハメド

Lamraoui Si-Mohamed

所属機関・部署：
その他の所属（所属・部署名・職名） (1件)：

SOKENDAI

研究分野 (2件)：ソフトウェア , ソフトウェア

論文 (6件)：

Claudio Belo Lourenco, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto. Studying Verification Conditions for Imperative Programs. Proc. 15th International Workshop on Automated Verification of Critical Systems (AVoCS'15). 2015
Si-Mohamed Lamraoui, Shin Nakajima. SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs. 電子情報通信学会ソフトウェアサイエンス研究会 2015年3月9日. 2015
Shin Nakajima, Si-Mohamed Lamraoui. Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CYBER PHYSICAL SYSTEMS: DESIGN, MODELING, AND EVALUATION, CYPHY 2015. 2015. 9361. 99-115
ラムラウイ.シモハメド, 中島震. A Formula-based Approach for Automatic Fault Localization of Imperative Programs. ICFEM. 2014
Si-Mohamed Lamraoui, Shin Nakajima. Automated Error Localization with Weighted Partial Maximum Satisfiability. IEICE Technical Report, SS2013-13. 2013

もっと見る

学歴 (1件)：

2012 - 現在 SOKENDAI Ph.D. Student

経歴 (1件)：

2012/10 - 現在 National Institute of informatics Research Assistant

受賞 (1件)：

2013/05 - 平成25年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM