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
ｍore...
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
