The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shin Nakajima 0001" ( http://dblp.L3S.de/Authors/Shin_Nakajima_0001 )

URL (Homepage):  https://researchmap.jp/nkjm/  Author page on DBLP  Author page in RDF  Community of Shin Nakajima 0001 in ASPL-2

Publication years (Num. hits)
1997-2008 (15) 2009-2010 (15) 2011-2013 (19) 2014-2016 (18) 2017-2018 (7)
Publication types (Num. hits)
article(13) inproceedings(60) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 29 keywords

Results
Found 75 publication records. Showing 74 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Régine Laleau, Dominique Méry, Shin Nakajima 0001, Elena Troubitsyna (eds.) 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, and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Xi'An, China, 16th November 2017. Search on Bibsonomy IMPEX/FM&MDD The full citation details ... 2018 DBLP  BibTeX  RDF
1Shin Nakajima 0001 Dataset Diversity for Metamorphic Testing of Machine Learning Software. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima 0001, Jorge Sousa Pinto A Generalized Approach to Verification Condition Generation. Search on Bibsonomy COMPSAC (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillermina Cledou, Shin Nakajima 0001 A Net-Based Formal Framework for Causal Loop Diagrams. Search on Bibsonomy CSDM Asia The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 [Invited] Quality Assurance of Machine Learning Software. Search on Bibsonomy GCCE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima 0001 Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. Search on Bibsonomy ICCCN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Generalized Oracle for Testing Machine Learning Computer Programs. Search on Bibsonomy SEFM Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Si-Mohamed Lamraoui, Shin Nakajima 0001 A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. Search on Bibsonomy JIP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2016 DBLP  BibTeX  RDF
1Yamine Aït Ameur, Shin Nakajima 0001, Dominique Méry Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2016 DBLP  BibTeX  RDF
1Shin Nakajima 0001, Hai Ngoc Bui Dataset Coverage for Testing Machine Learning Computer Programs. Search on Bibsonomy APSEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ning Ge 0002, Shin Nakajima 0001, Marc Pantel Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Search on Bibsonomy Simulation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima 0001, Jorge Sousa Pinto Studying Verification Conditions for Imperative Programs. Search on Bibsonomy ECEASST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima 0001 Verifying eventuality properties of imprecise system requirements using event-B. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Using Real-Time Maude to Model Check Energy Consumption Behavior. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Formal Analysis of Android Application Behavior with Real-Time Maude. Search on Bibsonomy CPSNA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Si-Mohamed Lamraoui Fault Localization of Timed Automata Using Maximum Satisfiability. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Analyzing Lifecycle Behavior of Android Application Components. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Si-Mohamed Lamraoui Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. Search on Bibsonomy CyPhy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Babin, Yamine Aït Ameur, Shin Nakajima 0001, Marc Pantel Refinement and Proof Based Development of Systems Characterized by Continuous Functions. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Si-Mohamed Lamraoui, Shin Nakajima 0001, Hiroshi Hosobe Hardened Flow-Sensitive Trace Formula for Fault Localization. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Model Checking of Energy Consumption Behavior. Search on Bibsonomy CSDM Asia The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Si-Mohamed Lamraoui, Shin Nakajima 0001 A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Everlasting Challenges with the OBJ Language Family. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Using Alloy in Introductory Courses of Formal Methods. Search on Bibsonomy SOFL+MSVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Naoyasu Ubayashi, Shin Nakajima 0001, Masayuki Hirayama Context-dependent product line engineering with lightweight formal approaches. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thanh Nguyen Tien, Shin Nakajima 0001, Huynh Quyet Thang Modeling and debugging numerical constraints of cyber-physical systems design. Search on Bibsonomy SoICT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Safe Substitution of Components in Self-Adaptive Web Applications. Search on Bibsonomy APSEC (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ning Ge 0002, Shin Nakajima 0001, Marc Pantel Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaoying Liu, Shin Nakajima 0001 Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daisuke Ishii, Guillaume Melquiond, Shin Nakajima 0001 Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Safe substitution for service-based applications. Search on Bibsonomy QASBA@ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Model-based Power Consumption Analysis of Smartphone Applications. Search on Bibsonomy ACESMB@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaoying Liu, Wuwei Shen, Shin Nakajima 0001 A formal approach to testing programs in practice. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Importance Sampling of Runtime Interference. Search on Bibsonomy APSEC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima 0001 Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Satoru Furukawa, Yoshikazu Ueda Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. Search on Bibsonomy RTCSA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Weitl, Shin Nakajima 0001 Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Tetsuo Tamai, Shin Nakajima 0001 A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 An Architecture of Dynamically Adaptive PHP-based Web Applications. Search on Bibsonomy APSEC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Shin Nakajima 0001 A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. Search on Bibsonomy APSEC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cong Tian, Shaoying Liu, Shin Nakajima 0001 Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. Search on Bibsonomy ICST Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai Translation Pattern of BPEL Process into Promela Code. Search on Bibsonomy IWSM/Mensura The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Shin Nakajima 0001 A framework for automatic functional testing based on formal specifications. Search on Bibsonomy AST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Weitl, Shin Nakajima 0001, Burkhard Freitag From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). Search on Bibsonomy it - Information Technology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Weitl, Shin Nakajima 0001 Incremental Construction of Counterexamples in Model Checking Web Documents. Search on Bibsonomy WWV The full citation details ... 2010 DBLP  BibTeX  RDF
1Shin Nakajima 0001 Semi-automated diagnosis of FODA feature diagram. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF FODA feature diagram, graph slicing, satisfiability checking
1Shaoying Liu, Shin Nakajima 0001 A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. Search on Bibsonomy SSIRI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Formal specification, Specification-based testing, Automatic test case generation
1Shin Nakajima 0001, Keiji Hokamura, Naoyasu Ubayashi Aspect-Oriented Development of PHP-Based Web Applications. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima 0001 Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. Search on Bibsonomy SoMeT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Masaki Ishiguro, Kazuyuki Tanaka Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. Search on Bibsonomy SEUS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyasu Ubayashi, Shin Nakajima 0001, Masayuki Hirayama Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. Search on Bibsonomy SPLC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Non-clausal Encoding of Feature Diagram for Automated Diagnosis. Search on Bibsonomy SPLC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Weitl, Shin Nakajima 0001, Burkhard Freitag Structured Counterexamples for the Temporal Description Logic ALCCTL. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuusuke Hashimoto, Shin Nakajima 0001 Modular Checking with Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Constructing FODA Feature Diagrams with a GUI-based Tool. Search on Bibsonomy SEKE The full citation details ... 2009 DBLP  BibTeX  RDF
1Shaoying Liu, Tetsuo Tamai, Shin Nakajima 0001 Integration of formal specification, review, and testing for software component quality assurance. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yuusuke Hashimoto, Shin Nakajima 0001 Modular Checking of C Programs Using SAT-Based Bounded Model Checker. Search on Bibsonomy APSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai AOWP: Web-Specific AOP Framework for PHP. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Domain-specific pointcuts, Aspect-oriented programming, Web application development
1Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai Aspect-Oriented Programming for Web Controller Layer. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Naoyasu Ubayashi, Shin Nakajima 0001 Context-aware feature-oriented modeling with an aspect extension of VDM. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF feature-oriented modeling, context, software product line, aspect orientation, VDM, weaving, proof obligation
1Shin Nakajima 0001 Model-Checking Behavioral Specification of BPEL Applications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Tetsuo Tamai Formal specification and analysis of JAAS framework. Search on Bibsonomy SESS@ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Tetsuo Tamai Aspect-oriented software design with a variant of UML/STD. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, SPIN, state diagrams, join point model
1Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima 0001, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani Highly Reliable Embedded Software Development Using Advanced Software Technologies. Search on Bibsonomy IEICE Transactions The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tomoji Kishi, Toshiaki Aoki, Shin Nakajima 0001, Natsuko Noda, Takuya Katayama Project Report: High-Reliable Object-Oriented Embedded Software Design. Search on Bibsonomy WSTFEUS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001 Model-Checking of Safety and Security Aspects in Web Service Flows. Search on Bibsonomy ICWE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Web Service Flow, Lattice-based Security Label, Model-Checking, Information Flow
1Tetsuo Hasegawa, Kenta Cho 0001, Fumihiro Kumeno, Shin Nakajima 0001, Akihiko Ohsuga, Shinichi Honiden Interoperability for mobile agents by incarnation agents. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF interoperability, mobile agent
1Shin Nakajima 0001 Behavioural Analysis of Component Framework with Multi-Valued Transition System. Search on Bibsonomy APSEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF /chi Büuchi Automaton, Model-checking, Component Framework, Verification Method
1Shin Nakajima 0001, Tetsuo Tamai Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yasuyuki Beppu, Shin Nakajima 0001, Fumihiro Kumeno, Kenta Cho 0001, Tetsuo Hasegawa, Akihiko Ohsuga A Directory Server for Mobile Agents Interoperability. Search on Bibsonomy EDOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF directory server, mobile agents interoperability, ODP trader, ITU-T recommendation, Proxy Offer, performance measurement, open systems, distributed middleware, program codes
1Shin Nakajima 0001 Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima 0001 An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. Search on Bibsonomy ICC (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Kokichi Futatsugi An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ
Displaying result #1 - #74 of 74 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license