ラムラウイ.シモハメド

J-GLOBALへ         更新日: 15/08/25 18:18
 
アバター
研究者氏名
ラムラウイ.シモハメド
ハンドル
Simo
eメール
simonii.ac.jp
所属
国立情報学研究所

研究分野

 
 

経歴

 
2012年10月
 - 
現在
National Institute of informatics Research Assistant
 

学歴

 
2012年10月
 - 
現在
SOKENDAI  Ph.D. Student
 

受賞

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

論文

 
Shin Nakajima and Si-Mohamed Lamraoui
Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)      2015年10月   [査読有り]
Studying Verification Conditions for Imperative Programs
Claudio Belo Lourenco, Si-Mohamed Lamraoui, Shin Nakajima, and Jorge Sousa Pinto
Proc. 15th International Workshop on Automated Verification of Critical Systems (AVoCS'15)      2015年9月   [査読有り]
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed Lamraoui and Shin Nakajima
電子情報通信学会ソフトウェアサイエンス研究会 2015年3月9日      2015年3月
SNIPER: A Tool for Automatically Localizing Errors in Imperative Programs
Si-Mohamed Lamraoui and Shin Nakajima
SES2013      2013年
Automated Error Localization with Weighted Partial Maximum Satisfiability
Si-Mohamed Lamraoui and Shin Nakajima
IEICE Technical Report, SS2013-13      2013年
A Formula-based Approach for Automatic Fault Localization of Imperative Programs
ラムラウイ.シモハメド、中島震
ICFEM      2014年   [査読有り]