Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. - Kozo Okano; Satoshi Hattori; Akira Yamamoto; Teruo Higashino; Kenichi Taniguchi (ICPP Workshops, 1999)

Applying a Model Checker to Check Regulatory Compliance of Use Case Models. - Motoshi Saeki; Haruhiko Kaiya; Satoshi Hattori (CAiSE Forum, 2009)

Detecting Regulatory Vulnerability in Functional Requirements Specifications. - Motoshi Saeki; Haruhiko Kaiya; Satoshi Hattori (ICSOFT (1), 2009)

Checking Regulatory Compliance of Business Processes and Information Systems. - Motoshi Saeki; Haruhiko Kaiya; Satoshi Hattori (ICSOFT (Selected Papers), 2009)

Computer Algebra System as Test Generation System. - Satoshi Hattori (IEICE Trans. Inf. Syst., 2010)

Efficient Regularization Parameter Selection Via Information Criteria. - Yuko Araki; Satoshi Hattori (Commun. Stat. Simul. Comput., 2013)

Estimation of the average causal effect via multiple propensity score stratification. - Takanobu Nomura; Satoshi Hattori (Commun. Stat. Simul. Comput., 2018)