Shin Nakajima 0001

◀ ▶ joint publications with Si-Mohamed Lamraoui

> Home > Persons > Shin Nakajima 0001

Publications

2016
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jip/LamraouiN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/LamraouiN16
Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. J. Inf. Process. 24(1): 88-98 (2016)
2015
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/LourencoLNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/LourencoLNP15
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto:
Studying Verification Conditions for Imperative Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/NakajimaL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/NakajimaL15
Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CyPhy 2015: 99-115
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LamraouiNH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LamraouiNH15
Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe:
Hardened Flow-Sensitive Trace Formula for Fault Localization. ICECCS 2015: 50-59
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/NakajimaL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/NakajimaL15
Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Timed Automata Using Maximum Satisfiability. SOFL+MSVL 2015: 72-85
2014
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LamraouiN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LamraouiN14
Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM 2014: 251-266

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.