National Institue of Informatics, Japan
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 33 |      | Shin Nakajima: An Architecture of Dynamically Adaptive PHP-based Web Applications. APSEC 2011: 203-210 |
| 32 | | Shaoying Liu, Shin Nakajima: A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC 2011: 73-80 |
| 31 | | Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai: Translation Pattern of BPEL Process into Promela Code. IWSM/Mensura 2011: 285-290 |
| 30 | | Franz Weitl, Shin Nakajima: Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. ECEASST 46: (2011) |
| 29 | | Shaoying Liu, Tetsuo Tamai, Shin Nakajima: A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. International Journal of Software Engineering and Knowledge Engineering 21(2): 259-288 (2011) |
| 2010 | ||
| 28 | | Shin Nakajima, Keiji Hokamura, Naoyasu Ubayashi: Aspect-Oriented Development of PHP-Based Web Applications. COMPSAC Workshops 2010: 37-44 |
| 27 | | Shin Nakajima: Semi-automated diagnosis of FODA feature diagram. SAC 2010: 2191-2197 |
| 26 | | Franz Weitl, Shin Nakajima, Burkhard Freitag: Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM 2010: 232-243 |
| 25 | | Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka: Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. SEUS 2010: 83-94 |
| 24 | | Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. SPLC 2010: 1-15 |
| 23 | | Shin Nakajima: Non-clausal Encoding of Feature Diagram for Automated Diagnosis. SPLC 2010: 420-424 |
| 22 | | Shaoying Liu, Shin Nakajima: A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI 2010: 147-155 |
| 21 | | 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 |
| 20 | | Franz Weitl, Shin Nakajima, Burkhard Freitag: From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). it - Information Technology 52(5): 295-297 (2010) |
| 2009 | ||
| 19 | | Yuusuke Hashimoto, Shin Nakajima: Modular Checking of C Programs Using SAT-Based Bounded Model Checker. APSEC 2009: 515-522 |
| 18 | | Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai: AOWP: Web-Specific AOP Framework for PHP. ASE 2009: 683-685 |
| 17 | | Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421 |
| 16 |  | Shin Nakajima: Constructing FODA Feature Diagrams with a GUI-based Tool. SEKE 2009: 20-25 |
| 15 | | Yuusuke Hashimoto, Shin Nakajima: Modular Checking with Model Checking. Electr. Notes Theor. Comput. Sci. 254: 105-122 (2009) |
| 2008 | ||
| 14 | | Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai: Aspect-Oriented Programming for Web Controller Layer. APSEC 2008: 529-536 |
| 2007 | ||
| 13 | | Naoyasu Ubayashi, Shin Nakajima: Context-aware feature-oriented modeling with an aspect extension of VDM. SAC 2007: 1269-1274 |
| 2006 | ||
| 12 | | Shin Nakajima, Tetsuo Tamai: Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50 |
| 11 | | Shin Nakajima: Model-Checking Behavioral Specification of BPEL Applications. Electr. Notes Theor. Comput. Sci. 151(2): 89-105 (2006) |
| 2005 | ||
| 10 | | 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 Transactions 88-D(6): 1105-1116 (2005) |
| 2004 | ||
| 9 | | Shin Nakajima: Model-Checking of Safety and Security Aspects in Web Service Flows. ICWE 2004: 488-501 |
| 8 | | Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 |
| 2003 | ||
| 7 | | Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden: Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007 |
| 2002 | ||
| 6 | | Shin Nakajima: Behavioural Analysis of Component Framework with Multi-Valued Transition System. APSEC 2002: 217-226 |
| 2001 | ||
| 5 | | Shin Nakajima, Tetsuo Tamai: Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182 |
| 2000 | ||
| 4 | | Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga: A Directory Server for Mobile Agents Interoperability. EDOC 2000: 144- |
| 1999 | ||
| 3 | | Shin Nakajima: Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. World Congress on Formal Methods 1999: 1664-1683 |
| 1997 | ||
| 2 | | Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima: An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. ICC (2) 1997: 889-893 |
| 1 | | Shin Nakajima, Kokichi Futatsugi: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44 |
| 1 | Toshiaki Aoki | [8] [10] |
| 2 | Yasuyuki Beppu | [4] |
| 3 | Kenta Cho | [4] [7] |
| 4 | Burkhard Freitag | [20] [26] |
| 5 | Takashi Fukushima | [2] |
| 6 | Kokichi Futatsugi | [1] |
| 7 | Tetsuo Hasegawa | [4] [7] |
| 8 | Yuusuke Hashimoto | [15] [19] |
| 9 | Toshinori Hayashi | [21] |
| 10 | Masayuki Hirayama | [24] |
| 11 | Keiji Hokamura | [14] [18] [28] |
| 12 | Shinichi Honiden | [7] |
| 13 | Masaki Ishiguro | [25] |
| 14 | Akihito Iwai | [14] [18] [31] |
| 15 | Yasutaka Kamei | [31] |
| 16 | Takuya Katayama | [8] [10] |
| 17 | Koichiro Kimura | [21] |
| 18 | Tomoji Kishi | [8] [10] |
| 19 | Fumihiro Kumeno | [4] [7] |
| 20 | Shaoying Liu | [17] [21] [22] [29] [32] |
| 21 | Asuka Manki | [2] |
| 22 | Tatsuo Nakajima | [10] |
| 23 | Ryosuke Nakashiro | [31] |
| 24 | Toshihiro Nakayama | [21] |
| 25 | Ryoto Naruse | [18] |
| 26 | Natsuko Noda | [8] |
| 27 | Akihiko Ohsuga | [4] [7] |
| 28 | Shuichi Oikawa | [10] |
| 29 | Mitsutaka Okazaki | [10] |
| 30 | Masaru Shiozuka | [18] |
| 31 | Kazuhiro Takahashi | [21] |
| 32 | Tetsuo Tamai | [5] [12] [17] [29] |
| 33 | Kazuyuki Tanaka | [25] |
| 34 | Toshio Tonouchi | [2] |
| 35 | Naoyasu Ubayashi | [13] [14] [18] [24] [28] [31] |
| 36 | Seiji Umatani | [10] |
| 37 | Franz Weitl | [20] [26] [30] |
| 38 | Masahiro Yasugi | [10] |
| 39 | Taiichi Yuasa | [10] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page