Shin Nakajima

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 21

Top Topics

Fault Localization

Energy Consumption

Top Venues

NII Shonan Meet. Rep.

Publications

Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC (2023)
Shaoying Liu, Shin Nakajima
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. IEEE Trans. Software Eng. 48 (2) (2022)
Shin Nakajima, Takako Nakatani
AI Extension of SQuaRE Data Quality Model. QRS Companion (2021)
Shin Nakajima
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. SOFL+MSVL (2020)
Shin Nakajima
Distortion and Faults in Machine Learning Software. SOFL+MSVL (2019)
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models. FM Workshops (2) (2019)
Shin Nakajima, Tsong Yueh Chen
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. ICTSS (2019)
Shin Nakajima
Quality Evaluation Assurance Levels for Deep Neural Networks Software. TAAI (2019)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. IEICE Trans. Inf. Syst. (8) (2019)
Shin Nakajima
Distortion and Faults in Machine Learning Software. CoRR (2019)
Gregor Gössler, Stefan Leue, Shin Nakajima
Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. 2019 (2019)
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
A Generalized Approach to Verification Condition Generation. COMPSAC (1) (2018)
Guillermina Cledou, Shin Nakajima
A Net-Based Formal Framework for Causal Loop Diagrams. CSDM Asia (2018)
Shin Nakajima
[Invited] Quality Assurance of Machine Learning Software. GCCE (2018)
Shin Nakajima
Dataset Diversity for Metamorphic Testing of Machine Learning Software. SOFL+MSVL (2018)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN (2017)
Shin Nakajima
Generalized Oracle for Testing Machine Learning Computer Programs. SEFM Workshops (2017)
Shin Nakajima, Hai Ngoc Bui
Dataset Coverage for Testing Machine Learning Computer Programs. APSEC (2016)
Si-Mohamed Lamraoui, Shin Nakajima
A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. J. Inf. Process. 24 (1) (2016)
Yamine Aït Ameur, Shin Nakajima, Dominique Méry
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. 2016 (2016)
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). NII Shonan Meet. Rep. 2016 (2016)
Shin Nakajima, Si-Mohamed Lamraoui
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CyPhy (2015)
Ning Ge, Shin Nakajima, Marc Pantel
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91 (10) (2015)
Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe
Hardened Flow-Sensitive Trace Formula for Fault Localization. ICECCS (2015)
Shin Nakajima
Formal Analysis of Android Application Behavior with Real-Time Maude. CPSNA (2015)
Shin Nakajima
Using Real-Time Maude to Model Check Energy Consumption Behavior. FM (2015)
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)
Shin Nakajima
Analyzing Lifecycle Behavior of Android Application Components. COMPSAC Workshops (2015)
Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima
Verifying eventuality properties of imprecise system requirements using event-B. SAC (2015)
Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA (2015)
Shin Nakajima, Si-Mohamed Lamraoui
Fault Localization of Timed Automata Using Maximum Satisfiability. SOFL+MSVL (2015)
Shin Nakajima
Everlasting Challenges with the OBJ Language Family. Specification, Algebra, and Software (2014)
Shin Nakajima
Model Checking of Energy Consumption Behavior. CSDM Asia (2014)
Si-Mohamed Lamraoui, Shin Nakajima
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM (2014)
Shin Nakajima
Using Alloy in Introductory Courses of Formal Methods. SOFL+MSVL (2014)
Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM (2013)
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
Context-dependent product line engineering with lightweight formal approaches. Sci. Comput. Program. 78 (12) (2013)
Ning Ge, Shin Nakajima, Marc Pantel
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) (2013)
Shin Nakajima
Model-based Power Consumption Analysis of Smartphone Applications. ACES-MB@MoDELS (2013)
Shaoying Liu, Shin Nakajima
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL (2013)
Shin Nakajima
Safe Substitution of Components in Self-Adaptive Web Applications. APSEC (1) (2013)
Thanh Nguyen Tien, Shin Nakajima, Huynh Quyet Thang
Modeling and debugging numerical constraints of cyber-physical systems design. SoICT (2013)
Shin Nakajima
Safe substitution for service-based applications. QASBA@ISSTA (2013)
Shin Nakajima
Importance Sampling of Runtime Interference. APSEC (2012)
Shaoying Liu, Wuwei Shen, Shin Nakajima
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9 (4) (2012)
Shin Nakajima, Satoru Furukawa, Yoshikazu Ueda
Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. RTCSA (2012)
Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL (2012)
Shin Nakajima
An Architecture of Dynamically Adaptive PHP-based Web Applications. APSEC (2011)
Franz Weitl, Shin Nakajima
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Shaoying Liu, Shin Nakajima
A framework for automatic functional testing based on formal specifications. AST (2011)
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Translation Pattern of BPEL Process into Promela Code. IWSM/Mensura (2011)
Cong Tian, Shaoying Liu, Shin Nakajima
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops (2011)
Shaoying Liu, Shin Nakajima
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC (2011)
Shaoying Liu, Tetsuo Tamai, Shin Nakajima
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. 21 (2) (2011)
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. SPLC (2010)
Shaoying Liu, Shin Nakajima
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI (2010)
Shin Nakajima
Semi-automated diagnosis of FODA feature diagram. SAC (2010)
Franz Weitl, Shin Nakajima
Incremental Construction of Counterexamples in Model Checking Web Documents. WWV (2010)
Shin Nakajima, Keiji Hokamura, Naoyasu Ubayashi
Aspect-Oriented Development of PHP-Based Web Applications. COMPSAC Workshops (2010)
Franz Weitl, Shin Nakajima, Burkhard Freitag
Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM (2010)
Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT (2010)
Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. SEUS (2010)
Franz Weitl, Shin Nakajima, Burkhard Freitag
From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). it Inf. Technol. 52 (5) (2010)
Shin Nakajima
Non-clausal Encoding of Feature Diagram for Automated Diagnosis. SPLC (2010)
Yuusuke Hashimoto, Shin Nakajima
Modular Checking of C Programs Using SAT-Based Bounded Model Checker. APSEC (2009)
Yuusuke Hashimoto, Shin Nakajima
Modular Checking with Model Checking. Electron. Notes Theor. Comput. Sci. 254 (2009)
Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
AOWP: Web-Specific AOP Framework for PHP. ASE (2009)
Shaoying Liu, Tetsuo Tamai, Shin Nakajima
Integration of formal specification, review, and testing for software component quality assurance. SAC (2009)
Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura
Runtime monitoring of cross-cutting policy. EA@ICSE (2009)
Shin Nakajima
Constructing FODA Feature Diagrams with a GUI-based Tool. SEKE (2009)
Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Aspect-Oriented Programming for Web Controller Layer. APSEC (2008)
Naoyasu Ubayashi, Shin Nakajima
Context-aware feature-oriented modeling with an aspect extension of VDM. SAC (2007)
Shin Nakajima, Tetsuo Tamai
Formal specification and analysis of JAAS framework. SESS@ICSE (2006)
Shin Nakajima, Tetsuo Tamai
Aspect-oriented software design with a variant of UML/STD. SCESM (2006)
Shin Nakajima
Model-Checking Behavioral Specification of BPEL Applications. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. (6) (2005)
Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS (2004)
Shin Nakajima
Model-Checking of Safety and Security Aspects in Web Service Flows. ICWE (2004)
Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden
Interoperability for mobile agents by incarnation agents. AAMAS (2003)
Shin Nakajima
Behavioural Analysis of Component Framework with Multi-Valued Transition System. APSEC (2002)
Shin Nakajima
Verification of Web Service Flows with Model-Checking Techniques. CW (2002)
Shin Nakajima, Tetsuo Tamai
Component Architecture. SPIN (2001)
Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga
A Directory Server for Mobile Agents Interoperability. EDOC (2000)
Shin Nakajima
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. World Congress on Formal Methods (1999)
Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima
An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. ICC (2) (1997)
Shin Nakajima, Kokichi Futatsugi
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE (1997)