Rchr
J-GLOBAL ID:201301081821616922
Update date: Jun. 03, 2020
Lamraoui Si-Mohamed
Lamraoui Si-Mohamed
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
National Institute of Informatics
About National Institute of Informatics
Search "National Institute of Informatics"
Other affiliations (1):
SOKENDAI
Research field (2):
Software
, Software
Papers (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
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
Si-Mohamed Lamraoui, Shin Nakajima. 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
more...
Education (1):
2012 - 現在 SOKENDAI Ph.D. Student
Work history (1):
2012/10 - 現在 National Institute of informatics Research Assistant
Awards (1):
2013/05 - IEICE SIGSS 2013 Student Paper Awards
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM