• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Nakazima Shin  中島 震

… Alternative Names

NAKAJIMA Shin  中島 震

中嶋 震  ナカジマ シン

中島 震  ナカジマ シン

Less
Researcher Number 60350211
Other IDs
  • ORCIDhttps://orcid.org/0000-0002-3827-3165
External Links
Affiliation (Current) 2025: 国立情報学研究所, 大学共同利用機関等の部局等, 名誉教授
Affiliation (based on the past Project Information) *help 2020 – 2021: 国立情報学研究所, 大学共同利用機関等の部局等, 名誉教授
2016 – 2021: 国立情報学研究所, 情報社会相関研究系, 教授
2006 – 2016: 国立情報学研究所, アーキテクチャ科学研究系, 教授
2004 – 2005: 国立情報学研究所, ソフトウェア研究系, 教授
2003: 法政大学, 経営学部, 教授
Review Section/Research Field
Principal Investigator
Software / Basic Section 60050:Software-related / Software
Except Principal Investigator
Software / Software / Science and Engineering
Keywords
Principal Investigator
ソフトウェア工学 / モデル検査 / ディペンダビリティ / ニューラル・ネットワーク / ソフトウェア・テスティング / Data Constraints / Algebraic Specification / Model-Checking / Verification / Modeling … More / Software Development Methods / Software Engineering / ソフトウェア開発効率 / データ制約 / 代数仕様 / 検証技術 / モデル化 / ソフトウェア開発効率化 / スマートフォン / ハイブリッドシステム / 電力消費 / 機能外要求 / モデルベース開発 / 柔らかな不具合 / 実行時検証 / Webアプリケーション / 自己適応システム / 仕様記述・仕様検証 / ソフトウェア開発効率化・安定化 … More
Except Principal Investigator
ソフトウェア / 型システム / アスペクト指向 / ソフトウェア開発効率化・安定化 / リアクティブプログラミング / 高信頼化 / requirements specification / type system / aspect-oriented programming / model checking / reuse / high reliability / component / software / Webサービス / 要求仕様 / モデル検査 / 再利用 / 高信頼性 / コンポーネント / 制約 / デバッグ / SMTソルバー / 設計追跡性 / Arcface / アーキテクチャ点写像 / アーキテクチャ点 / アーキテクチャ記述言語 / アーキテクチャ / ソフトウェアアーキテクチ ャ / DSL / ADL / アーキテクチャ検証 / トレーサビリティ / 設計抽象化 / インタフェース / ソフトウェアアーキテクチャ / 高信頼ソフトウェア開発 / モジュール化 / プログラミング言語 / ソフトウェア学 / 文脈指向 / オブジェクト指向 / ソフトウェア・モジュール化 / ソフトウェア開発効率化、安定化 / ディスペンダブル、コンピューティング / ディペンダブル・コンピューティング / プログラム言語 / ディスペンタブル・コンピューティング / 要求工学 / 形式手法 / UML / ディスペンダブル・コンピューティング / ソフトウェア工学 / セキュリティ / アスペクト指向プログラミング Less
  • Research Projects

    (11 results)
  • Research Products

    (118 results)
  • Co-Researchers

    (16 People)
  •  On Dataset Diversity for Achiving High Reliability of Machine Learning SoftwarePrincipal Investigator

    • Principal Investigator
      Nakajima Shin
    • Project Period (FY)
      2018 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Informatics
  •  Technology for Reliable Reactive Programming

    • Principal Investigator
      Hosobe Hiroshi
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Hosei University
  •  Model-based Analysis of Energy Consumption in Smartphone ApplicationsPrincipal Investigator

    • Principal Investigator
      Nakajima Shin
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Automatic Debugging by Using Soft Constraints

    • Principal Investigator
      HOSOBE Hiroshi
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Hosei University
      National Institute of Informatics
  •  A Study on Constructing Reliable Software Architecture

    • Principal Investigator
      UBAYASHI Naoyasu
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Detection and Repair of Soft-Faults in Software SystemsPrincipal Investigator

    • Principal Investigator
      NAKAJIMA Shin
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

    • Principal Investigator
      CHIBA Shigeru
    • Project Period (FY)
      2010 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
      Tokyo Institute of Technology
  •  Automatic Analysis of Requirements Model with Algebraic Specification TechniquesPrincipal Investigator

    • Principal Investigator
      NAKAJIMA Shin
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

    • Principal Investigator
      TAMAI Tetsuo
    • Project Period (FY)
      2006 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  Algebraic Specification Approach to Model-Checking with ConstraintsPrincipal Investigator

    • Principal Investigator
      NAKAJIMA Shin
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  High Reliability Component-Based Software Engineering

    • Principal Investigator
      TAMAI Tetsuo
    • Project Period (FY)
      2001 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo

All 2021 2020 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Other

All Journal Article Presentation Book

  • [Book] ソフトウェア工学から学ぶ機械学習の品質問題2020

    • Author(s)
      中島震
    • Total Pages
      179
    • Publisher
      丸善出版
    • ISBN
      9784621305737
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Book] SPIN モデル検査入門2010

    • Author(s)
      M.Ben-Ari(著)、中島震(監訳)、谷津弘一、野中哲、足立太郎(訳)
    • Total Pages
      241
    • Publisher
      オーム社
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Book] SPINモデル検査入門(翻訳書)2010

    • Author(s)
      中島震(監訳)、谷津、野中、足立(訳)
    • Total Pages
      241
    • Publisher
      オーム社
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Book] SPINモデル検査入門2010

    • Author(s)
      中島震
    • Total Pages
      262
    • Publisher
      オーム社
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Book] ソフトウェア工学の基礎XVI2009

    • Author(s)
      中島震、鷲崎弘宜(編)
    • Total Pages
      336
    • Publisher
      近代科学社
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Book] SPINモデル検査2008

    • Author(s)
      中島震(著)
    • Total Pages
      238
    • Publisher
      近代科学社
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -2021

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proc. The 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL2020)

      Volume: - Pages: 175-192

    • DOI

      10.1007/978-3-030-77474-5_12

    • ISBN
      9783030774738, 9783030774745
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] AI Extension of SQuaRE Data Quality Model2021

    • Author(s)
      Shin Nakajima, Takako Nakatani
    • Journal Title

      Proc. IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)

      Volume: - Pages: 306-313

    • DOI

      10.1109/qrs-c55045.2021.00053

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Distortion and Faults in Machine Learning Software2020

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proc. The 9th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2019)

      Volume: - Pages: 29-41

    • DOI

      10.1007/978-3-030-41418-4_3

    • ISBN
      9783030414177, 9783030414184
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs2019

    • Author(s)
      Shin Nakajima, T.Y. Chen
    • Journal Title

      Proc. The 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019)

      Volume: - Pages: 56-64

    • DOI

      10.1007/978-3-030-31280-0_4

    • ISBN
      9783030312794, 9783030312800
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Quality Evaluation Assurance Levels for Deep Neural Networks Software2019

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proc. The 24th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2019)

      Volume: - Pages: 1-6

    • DOI

      10.1109/taai48200.2019.8959916

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Dataset Diversity for Metamorphic Testing of Machine Learning Software2019

    • Author(s)
      Shin Nakajima
    • Journal Title

      Post-Proc. 8th SOFL+MSVL (LNCS)

      Volume: - Pages: 21-38

    • DOI

      10.1007/978-3-030-13651-2_2

    • ISBN
      9783030136505, 9783030136512
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Software Testing under Dataset Diversity2018

    • Author(s)
      中島震
    • Journal Title

      Computer Software

      Volume: 35 Issue: 2 Pages: 2_26-2_32

    • DOI

      10.11309/jssst.35.2_26

    • NAID

      130007410585

    • ISSN
      0289-6540
    • Year and Date
      2018-04-24
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] A Net-based Formal Framework for Causal Loop Diagrams2018

    • Author(s)
      Guillermina Cledou and Shin Nakajima
    • Journal Title

      Proceedings of the 3rd Asia-Pacific Conference on Complex Systems Design and Management (CSD&M Asia 2018)

      Volume: - Pages: 1-12

    • DOI

      10.1007/978-3-030-02886-2_1

    • ISBN
      9783030028855, 9783030028862
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01726
  • [Journal Article] Quality Assurance of Machine Learning Software2018

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proc. IEEE 7th Global Conference on Consumer Electronics

      Volume: - Pages: 601-604

    • DOI

      10.1109/gcce.2018.8574766

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Journal Article] Model-based Analysis of Energy Consumption Behavior2016

    • Author(s)
      Shin Nakajima
    • Journal Title

      Trustworthy Cyber-Physical Systems Engineering

      Volume: - Pages: 271-305

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs2016

    • Author(s)
      Si-Mohamed Lamraoui and Shin Nakajima
    • Journal Title

      Journal of Information Processing

      Volume: 24 Issue: 1 Pages: 88-98

    • DOI

      10.2197/ipsjjip.24.88

    • NAID

      130005119975

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Journal Article] Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability2015

    • Author(s)
      Shin Nakajima and Si-Mohamed Lamraoui
    • Journal Title

      Lecture Notes in Computer Science (CyPhy 2015)

      Volume: 9361 Pages: 99-115

    • DOI

      10.1007/978-3-319-25141-7_8

    • ISBN
      9783319251400, 9783319251417
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Journal Article] Fault Localization of Timed Automata Using Maximum Satisfiability2015

    • Author(s)
      Shin Nakajima and Si-Mohamed Lamraoui
    • Journal Title

      Lecture Notes in Computer Science (SOFL+MSVL 2015)

      Volume: 9559 Pages: 72-85

    • DOI

      10.1007/978-3-319-31220-0_6

    • ISBN
      9783319312194, 9783319312200
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Journal Article] Formal Analysis of Android Application Behavior with Real-Time Maude2015

    • Author(s)
      S. Nakajima
    • Journal Title

      Proc. 3rd International Conference on Cyber-Physical Systems, Networks, and Applications

      Volume: - Pages: 7-12

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] Hardened Flow-sensitive Trace Formula for Fault Localization2015

    • Author(s)
      Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe
    • Journal Title

      Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)

      Volume: - Pages: 50-59

    • DOI

      10.1109/iceccs.2015.16

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Journal Article] Fault Localization of Energy Consumption Behavior using Maximum Satisfiability2015

    • Author(s)
      S. Nakajima and S.-M. Lamraoui
    • Journal Title

      Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems

      Volume: - Pages: 99-115

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] 要求変化へのソフトウェア工学2015

    • Author(s)
      中島震
    • Journal Title

      電子情報通信学会誌

      Volume: 98 Pages: 124-129

    • NAID

      110009909643

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Journal Article] Model Checking of Energy Consumption Behavior2015

    • Author(s)
      S. Nakajima
    • Journal Title

      Proc.1st International Conference on Complex Systems Design and Management (CSD&M Asia 2014)

      Volume: 1 Pages: 3-14

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] Using Real-Time Maude to Model Check Energy Consumption Behavior2015

    • Author(s)
      S. Nakajima
    • Journal Title

      Proc. 20th International Symposium on Formal Methods

      Volume: - Pages: 378-394

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] 自己適応システムにおけるコンポーネントの安全な置き換え2014

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア

      Volume: 31 Pages: 259-269

    • NAID

      130004688283

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Journal Article] Behavioral Contracts for Energy Consumption2014

    • Author(s)
      S. Nakajima and M. Toyoshima
    • Journal Title

      Ada User Journal

      Volume: 35 Pages: 266-271

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] Everlasting Challenges with the OBJ Language Family2014

    • Author(s)
      S. Nakajima
    • Journal Title

      Proc. Specification, Algebra, and Software (SAS2014)

      Volume: 8373 Pages: 478-493

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Journal Article] A Formula-Based Approach for Automatic Fault Localization of Imperative Programs2014

    • Author(s)
      Si-Mohamed Lamraoui and Shin Nakajima
    • Journal Title

      Lecture Notes in Computer Science (ICFEM2014)

      Volume: 8829 Pages: 251-266

    • DOI

      10.1007/978-3-319-11737-9_17

    • ISBN
      9783319117362, 9783319117379
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Journal Article] 実行時干渉の発生確率予測2013

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア

      Volume: 30 Pages: 95-101

    • NAID

      130004549322

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Journal Article] Context-dependent Product Line Engineering with Lightweight Formal Approaches (SPLC 2010 Revised Selected Paper)2013

    • Author(s)
      Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama
    • Journal Title

      Science of Computer Programming

      Volume: 78(12) Pages: 2331-2346

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23300010
  • [Journal Article] Context-dependent Product Line Engineering with Lightweight Formal Approaches2013

    • Author(s)
      Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
    • Journal Title

      Science of Computer Programming

      Volume: 78(12) Issue: 12 Pages: 2331-2346

    • DOI

      10.1016/j.scico.2012.06.006

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23300010
  • [Journal Article] 自己適応Webアプリケーションシステム:概念アーキテクチャと実現フレームワーク2012

    • Author(s)
      中島震
    • Journal Title

      コンピュータ・ソフトウェア

      Volume: 29 Pages: 54-69

    • NAID

      10030497714

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Journal Article] Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems2010

    • Author(s)
      S.Nakajima, M.Ishiguro, K.Tanaka
    • Journal Title

      Proc.8^<th> IFIP SEUS 2010

      Pages: 83-94

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] ソフトウェア品質確保の技術動向2010

    • Author(s)
      中島震
    • Journal Title

      自動車研究

      Volume: 32 Pages: 561-565

    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems2010

    • Author(s)
      Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
    • Journal Title

      Proceedings of 8^<th> IFIP Workshop on Software Technology for Future Embedded and Ubiquitous Systems

      Pages: 83-94

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] ソフトウェア品質確保の技術動向2010

    • Author(s)
      中島震
    • Journal Title

      自動車研究 Vol.32、No.10

      Pages: 561-565

    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] AOWP : Web-specific AOP framework for PHP, Proceedings of the 24th IEEE/ACM Int'l Conf2009

    • Author(s)
      Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubavashi, Shin Nakajima, Akihito Iwai
    • Journal Title

      on Automated Software Engineering

      Pages: 679-681

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] 形式手法の潮流:アーキテクチャへの関心2008

    • Author(s)
      中島震
    • Journal Title

      システム/制御/情報 Vol.52、No.9

      Pages: 310-315

    • Data Source
      KAKENHI-PROJECT-20500042
  • [Journal Article] Data Constraints for Validation of Real-Time Software2008

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Proceedings of the IASTED International Conference on Software Engineering

      Pages: 98-105

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Data Constraints for Validation of Real-Time Software2008

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Proceedings of the TASTED International Conference on Software Engineering

      Pages: 98-105

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Maude-based Implementation of Constraint Automata2007

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Journal of Information Processing Society of Japan Vol.48, No.10

      Pages: 3341-3351

    • NAID

      110006402782

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] 代数仕様言語Maudeを用いた制約オートマトンの実現2007

    • Author(s)
      中島 震
    • Journal Title

      情報処理学会論文誌 48

      Pages: 3341-3351

    • NAID

      110006402782

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Applying Model-Checking Techniques to Verification of Software Design2006

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Computer Software Vol.19, No.2

      Pages: 72-86

    • NAID

      130004549052

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] 形式手法の実像を知る2006

    • Author(s)
      中島 震
    • Journal Title

      日経エレクトロニクス 933号

      Pages: 123-142

    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Model-Checking Behavioral Specifications of BPEL Applications2006

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Electric Notes in Theoretical Computer Science (掲載予定)

    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] モデル検査法のソフトウェア開発への応用2006

    • Author(s)
      中島 震
    • Journal Title

      コンピュータソフトウェア 23

      Pages: 72-86

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Formal Specification and Analysis of JAAS Framework2006

    • Author(s)
      Nakajima, S.
    • Journal Title

      Proceedings of Software Engineering for Secure Systems

      Pages: 59-64

    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Aspect-Oriented Software Design with a Variant of UML/STD2006

    • Author(s)
      Nakajima, S.
    • Journal Title

      Proceedings of 5th International Workshop on Scenarios and State Machines : Model, Algorithm and Tools

      Pages: 44-50

    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] モデル検査法のソフトウェア開発への応用2006

    • Author(s)
      中島 震
    • Journal Title

      コンピュータ・ソフトウェア 23巻・2号

      Pages: 72-86

    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] Lightweight Formal Analysis of Web Service Flows2005

    • Author(s)
      Shin NAKAJIMA
    • Journal Title

      Progress in Informatics No.2

      Pages: 57-76

    • Data Source
      KAKENHI-PROJECT-17500028
  • [Journal Article] UMLステートダイアグラムを用いたアスペクト指向デザインとその検証2005

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第22回大会講演論文集

    • NAID

      130005006659

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      UML2004 Workshop on Aspect-Oriented Modeling

    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] Lightweight Formal Analysis of Aspect-Oriented Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proceedings of UML2004 Workshop on Aspect-Oriented Modeling

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] アスペクト指向モデリングにおける紡ぎあわせ2004

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第21回大会講演論文集

    • NAID

      130005006611

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] コンポーネントフレームワーク振舞い解析への多値遷移システムの応用2004

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア 21・2

      Pages: 32-36

    • NAID

      130006948920

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] Weaving in Role-based Aspect Design Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Proceedings of Early Aspects 2004

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] Weaving in Role-based Aspect Design Models2004

    • Author(s)
      Shin Nakajima
    • Journal Title

      Early Aspects 2004 (Workshop at OOPAL 2004)

    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] セキュリティポリシー変更に関するデザイン解析2003

    • Author(s)
      中島震
    • Journal Title

      情報処理学会研究報告 2003-SE-143

      Pages: 53-60

    • NAID

      110002911437

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] 高レベル・セキュリティポリシーのデザイン検証2003

    • Author(s)
      中島震
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集

    • NAID

      130004638767

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Journal Article] EJBコンポーネントアーキテクチャのSPINによる振舞い解析2002

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア 19・2

      Pages: 2-18

    • NAID

      130004548962

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-13224013
  • [Presentation] 統計的な部分オラクルによるテスティング方法2020

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] AIビジネスリスク軽減への価値共創アプローチ2020

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] ニューラルネットワーク・ソフトウェアの頑健性検査2020

    • Author(s)
      中島震
    • Organizer
      情報処理学会 第206回ソフトウェア工学研究発表会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 敵対的なセマンティック・ノイズの実行時検知2020

    • Author(s)
      中島震
    • Organizer
      情報処理学会 第205回ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 訓練済み機械学習モデル歪みの定量指標2020

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会 ソフトウェア・サイエンス研究会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 機械学習ソフトウェア・テスティングの技術動向2020

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会 システム数理と応用研究会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] ファズ・データセットを用いたメタモルフィック・テスティング ~ 機械学習ソフトウェアの検査 ~2019

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第36回大会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 機械学習ソフトウェアの品質評価保証レベル2019

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会ソフトウェア・サイエンス研究会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] モデルの歪みと機械学習プログラムの欠陥2019

    • Author(s)
      中島震
    • Organizer
      情報処理学会第202回ソフトウェア工学研究発表会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 因果ループ図の形式定義と性質解析2018

    • Author(s)
      中島震, Guillermina Cledou
    • Organizer
      情報処理学会第199回ソフトウェア工学研究発表会
    • Data Source
      KAKENHI-PROJECT-17H01726
  • [Presentation] Dataset Diversity for Metamorphic Testing of Machine Learning Software2018

    • Author(s)
      Shin Nakajima
    • Organizer
      8th International Workshop SOFL+MSVL
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] Quality Assurance of Machine Learning Software2018

    • Author(s)
      Shin Nakajima
    • Organizer
      IEEE 7th Global Conference on Consumer Electronics
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 機械学習ソフトウェアの品質:製品, サービス, プラットフォーム2018

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] 機械学習ソフトウェアの品質保証とは2018

    • Author(s)
      中島震
    • Organizer
      機械学習工学研究会キックオフシンポジウム
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03224
  • [Presentation] Formal Analysis of Causal Loop Diagrams2018

    • Author(s)
      Shin Nakajima
    • Organizer
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS2018)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01726
  • [Presentation] Analyzing Lifecycle Behavior of Android Application Components2015

    • Author(s)
      S. Nakajima
    • Organizer
      The First International Workshop on Dependable Software and Applications
    • Place of Presentation
      台湾、台中市
    • Year and Date
      2015-07-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] アンドロイド・アプリの電力消費振舞い:形式モデルと有界解析2015

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学
    • Year and Date
      2015-09-09
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] AlloyとEvent-Bを用いる2段階モデリング手法2015

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      札幌市教育文化会館
    • Year and Date
      2015-07-24
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] Model Checking of Energy Consumption Behavior2014

    • Author(s)
      S. Nakajima
    • Organizer
      湘南会議
    • Place of Presentation
      湘南国際村センター
    • Year and Date
      2014-10-30
    • Invited
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] スマートタブレットの省電力2014

    • Author(s)
      中島震
    • Organizer
      情報処理学会 組込みシステムシンポジウム (ESS2014)
    • Place of Presentation
      国立オリンピック記念青少年センター
    • Year and Date
      2014-10-22
    • Invited
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] スマホ・アプリ電力消費振る舞いと検査性質の表現2014

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2014-09-09
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] 電力消費振る舞いのロジック・モデル検査2014

    • Author(s)
      中島震
    • Organizer
      情報処理学会 第34回組込みシステム研究会
    • Place of Presentation
      札幌市男女共同参画センター
    • Year and Date
      2014-09-17
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] Using Linear Temporal Logic with Freeze Quantifier in Model-based Analysis of Energy Consumption2014

    • Author(s)
      S. Nakajima
    • Organizer
      The 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
    • Place of Presentation
      香港、中国
    • Year and Date
      2014-08-25
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] 有界な時区間におけるコスト制約問題としての電力消費解析2014

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      高知市文化プラザかるぽーと
    • Year and Date
      2014-10-24
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] Behavioral Contracts for Energy Consumption2014

    • Author(s)
      S. Nakajima and M. Toyoshima
    • Organizer
      Challenges and New Approaches for Dependable Cyber-Physical Systems Engineering (De-CPS 2014)
    • Place of Presentation
      パリ、フランス
    • Year and Date
      2014-06-23
    • Data Source
      KAKENHI-PROJECT-26330095
  • [Presentation] 自己適応システムの安全なコンポーネント置き換え2013

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第30会大会
    • Place of Presentation
      東京大学、本郷キャンパス
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] Safe Substitution of Components in Self-Adaptive Web Applications2013

    • Author(s)
      Shin Nakajima
    • Organizer
      The 20th Asia-Pacific Software Engineering Conference
    • Place of Presentation
      Bangkok, Thailand
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] A Constraint-Based Approach to Error Localization2012

    • Author(s)
      Hiroshi Hosobe, Shin Nakajima, Michel Rueher
    • Organizer
      Fifth CSPSAT & ASP Seminar
    • Place of Presentation
      神戸大学
    • Year and Date
      2012-10-11
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Presentation] Importance Sampling of Runtime Interference2012

    • Author(s)
      Shin Nakajima
    • Organizer
      The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
    • Place of Presentation
      香港、中国
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] 柔らかな不具合の発生頻度予測2012

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学、小金井キャンパス
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] An Architecture of Dynamically Adaptive PHP-based Web Applications2011

    • Author(s)
      Shin NAKAJIMA
    • Organizer
      APSEC 2011
    • Place of Presentation
      ベトナム、ホーチミン市
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] 柔らかな不具合に対する自己適応システムのアーキテクチャ2011

    • Author(s)
      中島震
    • Organizer
      2011年度日本ソフトウェア科学会大会
    • Place of Presentation
      那覇市
    • Data Source
      KAKENHI-PROJECT-23650019
  • [Presentation] Finding Minimal Unsatisfiable Fragments in Inconsistent Feature Diagrams2010

    • Author(s)
      Shin Nakajima
    • Organizer
      ACMSAC2010
    • Place of Presentation
      HES-SO(Sierre, Switzerland)
    • Year and Date
      2010-03-24
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] A Refinement Planning Sheet2010

    • Author(s)
      S.Nakajima
    • Organizer
      RODIN Developer Workshop 2010
    • Place of Presentation
      デユッセルドルフ
    • Year and Date
      2010-09-15
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Event-Bで書かれたシステム要求仕様の妥当性検査2010

    • Author(s)
      中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      旭川
    • Year and Date
      2010-08-07
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] A Refinement Planning Sheet2010

    • Author(s)
      中島震
    • Organizer
      RODIN User and Developer Workshop 2010
    • Place of Presentation
      デユッセルドルフ
    • Year and Date
      2010-09-15
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] 検証モデリングの比較検討-組込みシステムの事例-2010

    • Author(s)
      中島震、谷津、野中、佐原
    • Organizer
      電子情報通信学会コンカレント工学研究会
    • Place of Presentation
      トヨタ中研(豊田市)
    • Year and Date
      2010-01-21
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Construching FODA Feature Diagrams with a GUI-based Tool2009

    • Author(s)
      Shin Nakajima
    • Organizer
      SEKE2009
    • Place of Presentation
      Hyatt Harborside at Logan Int'l Airport(Boston, USA)
    • Year and Date
      2009-07-01
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] RODIN Plug-in to Link Event-B with SPIN2009

    • Author(s)
      Thomas MULLER, 中島震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      北見工大(北見市)
    • Year and Date
      2009-08-07
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] ソフトウェア工学からみたモデル検査法2009

    • Author(s)
      中島震
    • Organizer
      回路とシステム軽井沢ワークショップ
    • Place of Presentation
      プリンスホテル(軽井沢)
    • Year and Date
      2009-04-20
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] A GUI Tool for FODA Feature Diagrams2009

    • Author(s)
      Shin Nakajima
    • Organizer
      8th International Conference on Aspect-Oriented Software Development
    • Place of Presentation
      University of Virginia, Charlottesville, USA
    • Year and Date
      2009-03-04
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] Abstraction Aided Model Checking of Modeling Notations2009

    • Author(s)
      Shin Nakajima
    • Organizer
      JAIST 21世紀COE CafeOBJ/Maude Workshop
    • Place of Presentation
      JAIST(能美市)(石川県)
    • Year and Date
      2009-02-25
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Abstraction Aided Model Checking for Validation of Event-B Descriptions2009

    • Author(s)
      Shin Nakajima, Hironobu Kuruma
    • Organizer
      IM_FMT 2009
    • Place of Presentation
      デユッセルドルフ
    • Year and Date
      2009-02-16
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Abstraction Aided Model Checking of Event-B Descriptions2009

    • Author(s)
      Shin NAKAJIMA
    • Organizer
      IM_FMT 2009
    • Place of Presentation
      デュッセルドルフ(ドイツ)
    • Year and Date
      2009-02-16
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] 要求違反の実行時監視と原因診断2008

    • Author(s)
      中島震
    • Organizer
      第5回システム検証の科学シンポジウム
    • Place of Presentation
      筑波大学
    • Year and Date
      2008-11-18
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] FD Checker--A Formal Analysis Tool for FODA Feature Diagrams2008

    • Author(s)
      Shin Nakajima
    • Organizer
      AOAsia4
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] Event-B仕様記述のモデル検査2008

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      東京大学(東京都)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Event-Bデザインのモデル検査における抽象化2008

    • Author(s)
      中島震
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      情報処理学会(東京都)
    • Year and Date
      2008-06-20
    • Data Source
      KAKENHI-PROJECT-20500042
  • [Presentation] Right-weight Formal Methods for Real-time Components2007

    • Author(s)
      Shinge NAKAJIMA
    • Organizer
      IEICE-SS
    • Place of Presentation
      Sapporo
    • Year and Date
      2007-08-03
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Presentation] リアルタイム・コンポーネント向けの程良い形式手法2007

    • Author(s)
      中島 震
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      北海道大学
    • Year and Date
      2007-08-03
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Presentation] 制約オートマトンを用いたソフトウェア・デザインの記述法2006

    • Author(s)
      中島 震
    • Organizer
      電子情報通信学会 SS
    • Place of Presentation
      北海道大学
    • Year and Date
      2006-08-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Presentation] Software Design Method Using Extended Finite-State Automata with Constraints2006

    • Author(s)
      Shinge NAKAJIMA
    • Organizer
      IEICE-SS
    • Place of Presentation
      Sapporo
    • Year and Date
      2006-08-03
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Presentation] Constraint-based Software Design2006

    • Author(s)
      Shinge NAKAJIMA
    • Organizer
      IEICE-KBSE
    • Place of Presentation
      Naha
    • Year and Date
      2006-11-25
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500028
  • [Presentation] Automated Error Localization with Weighted Partial Maximum Satisfiability

    • Author(s)
      Si-Mohamed Lamraoui and Shin Nakajima
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      北海道立道民活動センター(北海道・札幌市)
    • Year and Date
      2013-07-25 – 2013-07-26
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Presentation] SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs

    • Author(s)
      Si-Mohamed Lamraoui and Shin Nakajima
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄県青年会館(沖縄県・那覇市)
    • Year and Date
      2015-03-09 – 2015-03-10
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Presentation] SNIPER: A Tool for Automatically Localizing Errors in Imperative Programs

    • Author(s)
      Si-Mohamed Lamraoui and Shin Nakajima
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2013「プログラム・デバッグ自動化の現状と今後」ワークショップ
    • Place of Presentation
      東洋大学白山キャンパス(東京都・文京区)
    • Year and Date
      2013-09-09 – 2013-09-11
    • Data Source
      KAKENHI-PROJECT-24300010
  • [Presentation] Safe Substitution for Service-based Applications

    • Author(s)
      Shin Nakajima
    • Organizer
      2nd International Workshop on Quality Assurance for Service-based Applications
    • Place of Presentation
      Lugano, Switzerland
    • Data Source
      KAKENHI-PROJECT-23650019
  • 1.  UBAYASHI Naoyasu (80372762)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 2 results
  • 2.  TAMAI Tetsuo (60217172)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  MASUHARA Hidehiko (40280937)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  CHIBA Shigeru (80282713)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  KAMINA Tetsuo (90431882)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  HOSOBE Hiroshi (60321577)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 8.  FUKUDA Akira (80165282)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  HISAZUMI Kenji (10380685)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  KAMEI Yasutaka (10610222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  SHIBAYAMA Etsuya (80162642)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  金子 知適 (00345068)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  青山 幹雄 (40278073)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  日高 宗一郎 (70321578)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  RUEHER Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 16.  LAMRAOUI Si-Mohamed
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi