Shin Nakajima - RankMe

89 papers A* 2A 1B 11C 12Misc 5Journal 15Unranked 42

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