Si-Mohamed Lamraoui

J-GLOBAL         Last updated: Aug 25, 2015 at 18:18
 
Avatar
Name
Si-Mohamed Lamraoui
Nickname
Simo
E-mail
simonii.ac.jp
Affiliation
National Institute of Informatics
Other affiliation
SOKENDAI

Profile

Software Engineering; Program Verification; Model-Checking.

Research Areas

 
 
  • Informatics / Software / Program Verification, Model-Checking
  • Informatics / Software / 

Academic & Professional Experience

 
Oct 2012
 - 
Today
Research Assistant, National Institute of informatics
 

Education

 
Oct 2012
 - 
Today
Ph.D. Student, SOKENDAI
 

Awards & Honors

 
May 2013
IEICE SIGSS 2013 Student Paper Awards
 

Published Papers

 
Shin Nakajima and Si-Mohamed Lamraoui
Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)      Oct 2015   [Refereed]
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)      Sep 2015   [Refereed]
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed Lamraoui and Shin Nakajima
   Mar 2015
A Formula-based Approach for Automatic Fault Localization of Imperative Programs
Si-Mohamed Lamraoui and Shin Nakajima
ICFEM      2014   [Refereed]
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