Dependable Software Engineering Research

List of Publications

[2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006 -]

(Publications in English; see Japanese Web Page for Domestic Ones)

2013

Papers

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus
Daisuke Ishii, Guillaume Melquiond, and Shin Nakajima
Proc. of 10th International Conference on integrated Formal Methods (iFM 2013), 2013.6
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model
Ning Ge, Shin Nakajima, and Marc Pantel
Proc. TMS/DEVS 2013, 2013.4

2012

Papers

A formal approach to testing programs in practice
Shaoying Liu, Wuwei Shen, and Shin Nakajima
Comput. Sci. Inf. Syst. 9(4): 1469-1491, 2012.12
Importance Sampling of Runtime Interference
Shin Nakajima
Proc. of 19th Asia-Pacific Software Engineering Conference (APSEC 2012), 2012.12
Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design
Shin Nakajima, Satoru Furukawa, and Yoshikazu Ueda
Proc. RTCSA 2012, 473-478, 2012.8

2011

Papers

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
Shaoying Liu and Shin Nakajima
Proc. of 18th Asia-Pacific Software Engineering Conference (APSEC 2011), 2011.12
An Architecture of Dynamically Adaptive PHP-based Web Applications
Shin Nakajima
Proc. of 18th Asia-Pacific Software Engineering Conference (APSEC 2011), 2011.12
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Franz Weitl and Shin Nakajima
Proc. of 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011), 2011.9
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Atomic Predicate Expressions
Cong Tian, Shaoying Liu, Shin Nakajima
Proc. of 3rd Workshop on Constraints in Software Testing, Verification, and Analysis March 2011

2010

Papers

Detecting feature interferences in PHP-based Web applications
Shin Nakajima
Proceedings of 22nd International Conference on Software & Systems Engineering and their Applications December 2010
Reusable aspect components for Web applications
Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, and Akihito Iwai
Proc. IEEE TENCON 2010 November 2010
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
Shin NAKAJIMA, Masaki ISHIGURO, ans Kazuyuki TANAKA
Proc. 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 83-94 October 2010
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation
S. Liu, T. Hayashi, K. Takahashi, K. Kimura, T. Nakayama, and S. Nakajima
9th International Conference on Software Methodologies, Tools and Techniques (SoMet 2010) October 2010
Structured Counterexamples for the Temporal Description Logic ALCCTL
Franz Weitl, Shin Nakajima and Burkhard Freitag
Proceedings of 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) 232-243 September 2010
Non-clausal Encoding of Feature Diagram for Automated Diagnosis
Shin Nakajima
Proceedings of 14th International Software Product Line Conference (SPLC 2010) 420-424 September 2010
Context-dependent Product Line Practice for Constructing Reliable Embedded Systems
Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama
Proceedings of 14th International Software Product Line Conference (SPLC 2010) 1-15 September 2010
Incremental Construction of Counterexamples in Model Checking Web Documents
Franz Weitl and Shin Nakajima
Proceedings of 6th International Workshop on Automated Specification and Verification of Web Systems July 2010
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
Shaoying Liu and Shin Nakajima
Proceedings of IEEE International Conference on Secure Software Integration and Reliability Improvement 147-155 June 2010
Semi-Automated Debugging of FODA Feature Diagrams
S. Nakajima
Proc. ACM/SAC 2010 March 2010

2009

Books

Proceedings of ISORC 2009
Shin NAKAJIMA et al (eds.)
IEEE March 2009

Papers

A Guidance and Methodology for Employing Model-Checking for Software Development
M. Ishiguro, K. Tanaka, A. Umemura, S. Nakajima, and T. Kishi
Proc. APESER 2009 December 2009
Modular Checking of C Programs using SAT-based Bounded Model-Checker
Y. Hashimoto and S. Nakajima
Proc. APSEC 2009 December 2009
Constructing FODA Feature Diagrams with a GUI-based Tool
S. Nakajima
Proc. SEKE 2009 20-25 July 2009
Integration of Formal Specification, Review, and Testing for Software Component Quality Assurance
S. Liu, T. Tamai, and S. Nakajima
Proceedings of SAC 2009 415-421 March 2009

2008

Papers

Aspect-Oriented Programming for Web Controller Layer
Keiji HOKAMURA, Naoyasu UBAYASHI, Shin NAKAJIMA and Akihito IWAI
Proc. 15th Asia-Pacific Software Engineering Conference (APSEC 2008) 529-536 December 2008

2007

Papers

Context-aware Feature-Oriented Modeling with an Aspect Extension of VDM
N. Ubayashi and S. Nakajima
Proc. ACM SAC 2007 1269-1274, 2007.3

2006

Papers

Aspect-Oriented Software Design with a Variant of UML/STD
S. Nakajima and T. Tamai
Proc. SCESM 2006 44-50, 2006.5
Model-Checking Behavioral Specifications of BPEL Applications
S. Nakajima
Electronic Notes in Theoretical Computer Science (ENTCS) 151-2, 89-105, 2006.5

2005

Papers

Lightweight Formal Analysis of Web Service Flows
S. Nakajima
Progress in Informatics 2, 57-76 2005.11
Highly Reliable Embedded Software Development Using Advanced Software Technologies
T.Katayama, T.Nakajima, T.Yuasa, T.Kishi, S.Nakajima, S.Oikawa, M.Yasugi, T.Aoki, M.Okazaki, and S. Umatani
The IEICE Transactions on Information and Systems 2005.6

2004

Papers

Model-Checking of Safety and Security Aspects in Web Service Flows
S. Nakajima
Proc. International Conference on Web Engineering (ICWE 2004) 488-501, 2004.7
Project Report: High Reliable Object-Oriented Embedded Software Design
T. Kishi, T. Aoki, S. Nakajima, N. Noda, and T. Katayama
Proc. IEEE WSTFEUS'04 144-148, 2004.5

2003

Papers

Interoperability for mobile agents by incarnation agents
T. Hasegawa, K. Cho, F. Kumeno, S. Nakajima, A. Ohsuga, S. Honiden
Proc. AAMAS 2003, 1006-1007, 2003.7

2002

Papers

Behavioural Analysis of Component Framework with Multi-Valued Transition Systems
S. Nakajima
Proc. APSEC 2002 217-226, 2002.12
Verification of Web Services Flows with Model-Checking Techniques
S. Nakajima
Proc. Cyber World 2002, 378-385, 2002.11

2001

Papers

Management of Script Evolution with Mobile Agent Technology
S. Nakajima
Proc. IWPSE 2001, 2001.9
Behavioural Analysis of the Enterprise JavaBeans Component Architecture
S. Nakajima and T. Tamai
Proc. SPIN 2001 163-182, 2001.5

2000

Papers

A Directory Server for Mobile Agent Interoperability
Y. Beppu, S. Nakajima, F. Kumeno, K. Cho, T. Hasegawa, and A. Ohsuga
Proc. IEEE EDOC 2000 144-148, 2000.9
Aspect-Centered Design of Object-Oriented Frameworks
Shin Nakajima
Trans. IPSJ 41(3) 758-766, 2000.3

1999

Papers

Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
S. Nakajima
Proc. World Congress on Formal Methods (FM'99) 1664-1683, 1999.9
An Algebraic Approach to Specification and Analysis of the ODP Trader
S. Nakajima and K. Futatsugi
Trans. IPSJ 40(4) 1861-1873, 1999.4

1997

Papers

A Scripting Language for Network Management Applications and its Related Tool
M. Miki, M. Tanaka, M. Tomobe, and S. Nakajima
Proc. IEEE GLOBECOM'97 1714-1718, 1997.11
An Implementation of Customizable Services with Java/ORB Integration
M. Tomono, A. Yamanaka, T. Tonouchi, and S. Nakajima
Proc. IEEE GLOBECOM'97 1719-1723, 1997.11
An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks
T. Tonouchi, T. Fukushima, A. Manki, and S. Nakajima
Proc. IEEE ICC'97 889-893, 1997.6
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ
S. Nakajima and K. Futatsugi
Proc. IEEE/ACM ICSE'97 34-44, 1997.5
A HORB-based Network Management System
A. Yamanaka, S. Nakajima, M. Tomono, and T. Tonouchi
Proc. IFIP/IEEE ICODP/ICDP'97 99-109, 1997.5

1996

Papers

Object-Oriented Development Methodology for Telecommunication Network Management Software
S. Nakajima, M. Tomobe, M. Miki, and H. Hayashi
Proc. IEEE GLOBECOM'96 665-669, 1996.11

1984

Papers

MONJU: Constraint-Keeping Object-Oriented Language
S. Nakajima, S., K. Ohmori, and H. Horita
Proc. IEEE COMPSAC'84 232-239, 1984.11