default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShin Nakajima 0001
Person information
- affiliation: National Institute of Informatics (NII), Tokyo, Japan
Other persons with the same name
- Shin Nakajima 0002 — Harvard Medical School
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j11]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): 691-712 (2022)- 2019
- [j10]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. 102-D(8): 1498-1505 (2019) - 2016
- [j9]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]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) - [j7]Ning Ge, Shin Nakajima, Marc Pantel:
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91(10): 851-868 (2015) - 2013
- [j6]Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama:
Context-dependent product line engineering with lightweight formal approaches. Sci. Comput. Program. 78(12): 2331-2346 (2013) - 2012
- [j5]Shaoying Liu, Wuwei Shen, Shin Nakajima:
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9(4): 1469-1491 (2012) - 2011
- [j4]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) - [j3]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): 259-288 (2011) - 2010
- [j2]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): 295-297 (2010) - 2005
- [j1]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. 88-D(6): 1105-1116 (2005)
Conference and Workshop Papers
- 2023
- [c71]Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima:
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC 2023 - 2021
- [c70]Shin Nakajima, Takako Nakatani:
AI Extension of SQuaRE Data Quality Model. QRS Companion 2021: 306-313 - 2020
- [c69]Shin Nakajima:
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. SOFL+MSVL 2020: 175-192 - 2019
- [c68]Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec:
A Map of Asynchronous Communication Models. FM Workshops (2) 2019: 307-322 - [c67]Shin Nakajima, Tsong Yueh Chen:
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. ICTSS 2019: 56-64 - [c66]Shin Nakajima:
Distortion and Faults in Machine Learning Software. SOFL+MSVL 2019: 29-41 - [c65]Shin Nakajima:
Quality Evaluation Assurance Levels for Deep Neural Networks Software. TAAI 2019: 1-6 - 2018
- [c64]Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto:
A Generalized Approach to Verification Condition Generation. COMPSAC (1) 2018: 194-203 - [c63]Guillermina Cledou, Shin Nakajima:
A Net-Based Formal Framework for Causal Loop Diagrams. CSDM Asia 2018: 1-12 - [c62]Shin Nakajima:
[Invited] Quality Assurance of Machine Learning Software. GCCE 2018: 601-604 - [c61]Shin Nakajima:
Dataset Diversity for Metamorphic Testing of Machine Learning Software. SOFL+MSVL 2018: 21-38 - 2017
- [c60]Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima:
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN 2017: 1-6 - [c59]Shin Nakajima:
Generalized Oracle for Testing Machine Learning Computer Programs. SEFM Workshops 2017: 174-179 - 2016
- [c58]Shin Nakajima, Hai Ngoc Bui:
Dataset Coverage for Testing Machine Learning Computer Programs. APSEC 2016: 297-304 - 2015
- [c57]Shin Nakajima:
Analyzing Lifecycle Behavior of Android Application Components. COMPSAC Workshops 2015: 586-591 - [c56]Shin Nakajima:
Formal Analysis of Android Application Behavior with Real-Time Maude. CPSNA 2015: 7-12 - [c55]Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CyPhy 2015: 99-115 - [c54]Shin Nakajima:
Using Real-Time Maude to Model Check Energy Consumption Behavior. FM 2015: 378-394 - [c53]Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe:
Hardened Flow-Sensitive Trace Formula for Fault Localization. ICECCS 2015: 50-59 - [c52]Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima:
Verifying eventuality properties of imprecise system requirements using event-B. SAC 2015: 1651-1653 - [c51]Guillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel:
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. SETTA 2015: 55-70 - [c50]Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Timed Automata Using Maximum Satisfiability. SOFL+MSVL 2015: 72-85 - 2014
- [c49]Shin Nakajima:
Everlasting Challenges with the OBJ Language Family. Specification, Algebra, and Software 2014: 478-493 - [c48]Shin Nakajima:
Model Checking of Energy Consumption Behavior. CSDM Asia 2014: 3-14 - [c47]Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM 2014: 251-266 - [c46]Shin Nakajima:
Using Alloy in Introductory Courses of Formal Methods. SOFL+MSVL 2014: 97-110 - 2013
- [c45]Shin Nakajima:
Safe Substitution of Components in Self-Adaptive Web Applications. APSEC (1) 2013: 388-395 - [c44]Daisuke Ishii, Guillaume Melquiond, Shin Nakajima:
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM 2013: 139-153 - [c43]Shin Nakajima:
Safe substitution for service-based applications. QASBA@ISSTA 2013: 25-28 - [c42]Shin Nakajima:
Model-based Power Consumption Analysis of Smartphone Applications. ACES-MB@MoDELS 2013 - [c41]Shaoying Liu, Shin Nakajima:
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL 2013: 3-16 - [c40]Thanh Nguyen Tien, Shin Nakajima, Huynh Quyet Thang:
Modeling and debugging numerical constraints of cyber-physical systems design. SoICT 2013: 251-260 - [c39]Ning Ge, Shin Nakajima, Marc Pantel:
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) 2013: 16 - 2012
- [c38]Shin Nakajima:
Importance Sampling of Runtime Interference. APSEC 2012: 693-696 - [c37]Shin Nakajima, Satoru Furukawa, Yoshikazu Ueda:
Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. RTCSA 2012: 473-478 - [c36]Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima:
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL 2012: 1-11 - 2011
- [c35]Shaoying Liu, Shin Nakajima:
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC 2011: 73-80 - [c34]Shin Nakajima:
An Architecture of Dynamically Adaptive PHP-based Web Applications. APSEC 2011: 203-210 - [c33]Shaoying Liu, Shin Nakajima:
A framework for automatic functional testing based on formal specifications. AST 2011: 107-108 - [c32]Cong Tian, Shaoying Liu, Shin Nakajima:
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011: 304-309 - [c31]Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
Translation Pattern of BPEL Process into Promela Code. IWSM/Mensura 2011: 285-290 - 2010
- [c30]Shin Nakajima, Keiji Hokamura, Naoyasu Ubayashi:
Aspect-Oriented Development of PHP-Based Web Applications. COMPSAC Workshops 2010: 37-44 - [c29]Shin Nakajima:
Semi-automated diagnosis of FODA feature diagram. SAC 2010: 2191-2197 - [c28]Franz Weitl, Shin Nakajima, Burkhard Freitag:
Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM 2010: 232-243 - [c27]Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka:
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. SEUS 2010: 83-94 - [c26]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: 383-397 - [c25]Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama:
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. SPLC 2010: 1-15 - [c24]Shin Nakajima:
Non-clausal Encoding of Feature Diagram for Automated Diagnosis. SPLC 2010: 420-424 - [c23]Shaoying Liu, Shin Nakajima:
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI 2010: 147-155 - [c22]Franz Weitl, Shin Nakajima:
Incremental Construction of Counterexamples in Model Checking Web Documents. WWV 2010: 34-50 - 2009
- [c21]Yuusuke Hashimoto, Shin Nakajima:
Modular Checking of C Programs Using SAT-Based Bounded Model Checker. APSEC 2009: 515-522 - [c20]Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura:
Runtime monitoring of cross-cutting policy. EA@ICSE 2009: 20-24 - [c19]Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
AOWP: Web-Specific AOP Framework for PHP. ASE 2009: 683-685 - [c18]Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421 - [c17]Shin Nakajima:
Constructing FODA Feature Diagrams with a GUI-based Tool. SEKE 2009: 20-25 - [c16]Yuusuke Hashimoto, Shin Nakajima:
Modular Checking with Model Checking. SSV 2009: 105-122 - 2008
- [c15]Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
Aspect-Oriented Programming for Web Controller Layer. APSEC 2008: 529-536 - 2007
- [c14]Naoyasu Ubayashi, Shin Nakajima:
Context-aware feature-oriented modeling with an aspect extension of VDM. SAC 2007: 1269-1274 - 2006
- [c13]Shin Nakajima, Tetsuo Tamai:
Formal specification and analysis of JAAS framework. SESS@ICSE 2006: 59-64 - [c12]Shin Nakajima, Tetsuo Tamai:
Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50 - 2005
- [c11]Shin Nakajima:
Model-Checking Behavioral Specification of BPEL Applications. WLFM@FM 2005: 89-105 - 2004
- [c10]Shin Nakajima:
Model-Checking of Safety and Security Aspects in Web Service Flows. ICWE 2004: 488-501 - [c9]Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 - 2003
- [c8]Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden:
Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007 - 2002
- [c7]Shin Nakajima:
Behavioural Analysis of Component Framework with Multi-Valued Transition System. APSEC 2002: 217-226 - [c6]Shin Nakajima:
Verification of Web Service Flows with Model-Checking Techniques. CW 2002: 378-385 - 2001
- [c5]Shin Nakajima, Tetsuo Tamai:
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182 - 2000
- [c4]Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga:
A Directory Server for Mobile Agents Interoperability. EDOC 2000: 144- - 1999
- [c3]Shin Nakajima:
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. World Congress on Formal Methods 1999: 1664-1683 - 1997
- [c2]Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima:
An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. ICC (2) 1997: 889-893 - [c1]Shin Nakajima, Kokichi Futatsugi:
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44
Editorship
- 2018
- [e1]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018 [contents]
Informal and Other Publications
- 2019
- [i4]Shin Nakajima:
Distortion and Faults in Machine Learning Software. CoRR abs/1911.11596 (2019) - [i3]Gregor Gössler, Stefan Leue, Shin Nakajima:
Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. 2019 (2019) - 2016
- [i2]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) - [i1]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)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
