| 2023 | APSEC | Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. | Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima |
| 2021 | QRS | AI Extension of SQuaRE Data Quality Model. | Shin Nakajima, Takako Nakatani |
| 2019 | FM | A Map of Asynchronous Communication Models. | Florent Chevrou, Aurlie Hurault, Shin Nakajima, Philippe Quinnec |
| 2018 | COMPSAC | A Generalized Approach to Verification Condition Generation. | Cludio Belo Loureno, Maria Joo Frade, Shin Nakajima, Jorge Sousa Pinto |
| 2017 | ICCCN | Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. | Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima |
| 2017 | SEFM | Generalized Oracle for Testing Machine Learning Computer Programs. | Shin Nakajima |
| 2016 | APSEC | Dataset Coverage for Testing Machine Learning Computer Programs. | Shin Nakajima, Hai Ngoc Bui |
| 2015 | COMPSAC | Analyzing Lifecycle Behavior of Android Application Components. | Shin Nakajima |
| 2015 | FM | Using Real-Time Maude to Model Check Energy Consumption Behavior. | Shin Nakajima |
| 2015 | ICECCS | Hardened Flow-Sensitive Trace Formula for Fault Localization. | Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe |
| 2015 | SAC | Verifying eventuality properties of imprecise system requirements using event-B. | Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima |
| 2015 | SETTA | Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel |
| 2014 | ICFEM | A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. | Si-Mohamed Lamraoui, Shin Nakajima |
| 2013 | APSEC | Safe Substitution of Components in Self-Adaptive Web Applications. | Shin Nakajima |
| 2013 | IFM | Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. | Daisuke Ishii, Guillaume Melquiond, Shin Nakajima |
| 2013 | ISSTA | Safe substitution for service-based applications. | Shin Nakajima |
| 2013 | MODELS | Model-based Power Consumption Analysis of Smartphone Applications. | Shin Nakajima |
| 2012 | APSEC | Importance Sampling of Runtime Interference. | Shin Nakajima |
| 2012 | RTCSA | Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. | Shin Nakajima, Satoru Furukawa, Yoshikazu Ueda |
| 2011 | APSEC | A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. | Shaoying Liu, Shin Nakajima |
| 2011 | APSEC | An Architecture of Dynamically Adaptive PHP-based Web Applications. | Shin Nakajima |
| 2011 | ICSE | A framework for automatic functional testing based on formal specifications. | Shaoying Liu, Shin Nakajima |
| 2011 | ICST | Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. | Cong Tian, Shaoying Liu, Shin Nakajima |
| 2010 | COMPSAC | Aspect-Oriented Development of PHP-Based Web Applications. | Shin Nakajima, Keiji Hokamura, Naoyasu Ubayashi |
| 2010 | SAC | Semi-automated diagnosis of FODA feature diagram. | Shin Nakajima |
| 2010 | SEFM | Structured Counterexamples for the Temporal Description Logic ALCCTL. | Franz Weitl, Shin Nakajima, Burkhard Freitag |
| 2010 | SoMeT | Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. | Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima |
| 2010 | SPLC | Non-clausal Encoding of Feature Diagram for Automated Diagnosis. | Shin Nakajima |
| 2010 | SPLC | Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. | Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama |
| 2009 | APSEC | Modular Checking of C Programs Using SAT-Based Bounded Model Checker. | Yuusuke Hashimoto, Shin Nakajima |
| 2009 | ICSE | Runtime monitoring of cross-cutting policy. | Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura |
| 2009 | SAC | Integration of formal specification, review, and testing for software component quality assurance. | Shaoying Liu, Tetsuo Tamai, Shin Nakajima |
| 2009 | SEKE | Constructing FODA Feature Diagrams with a GUI-based Tool. | Shin Nakajima |
| 2008 | APSEC | Aspect-Oriented Programming for Web Controller Layer. | Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai |
| 2007 | SAC | Context-aware feature-oriented modeling with an aspect extension of VDM. | Naoyasu Ubayashi, Shin Nakajima |
| 2006 | ICSE | Formal specification and analysis of JAAS framework. | Shin Nakajima, Tetsuo Tamai |
| 2004 | ICWE | Model-Checking of Safety and Security Aspects in Web Service Flows. | Shin Nakajima |
| 2002 | APSEC | Behavioural Analysis of Component Framework with Multi-Valued Transition System. | Shin Nakajima |
| 2002 | CW | Verification of Web Service Flows with Model-Checking Techniques. | Shin Nakajima |
| 2000 | EDOC | A Directory Server for Mobile Agents Interoperability. | Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga |
| 1999 | FM | Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. | Shin Nakajima |
| 1998 | MICCAI | Three-Dimensional Reconstruction and Surgical Navigation in Pediatric Epilepsy Surgery. | Alexandra Chabrerie, Fatma Ozlen, Shin Nakajima, Michael E. Leventon, Hideki Atsumi, W. Eric L. Grimson, Erwin Keeve, Sandra Helmers, James Riviello Jr., Gregory Holmes II, Frank Duffy, Ferenc A. Jolesz, Ron Kikinis, Peter M. Black |
| 1998 | MICCAI | Clinical Experience with a Hich Precision Image-Guided Neurosurgery System. | W. Eric L. Grimson, Michael E. Leventon, Gil J. Ettinger, Alexandra Chabrerie, Fatma Ozlen, Shin Nakajima, Hideki Atsumi, Ron Kikinis, Peter M. Black |
| 1997 | ICSE | An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. | Shin Nakajima, Kokichi Futatsugi |