On Legacy System Reusability Based on CPN and CCS Formalism. - Yoshiyuki Shinkawa; Masao J. Matsumoto (DEXA Workshop, 1998)

Business Modeling and Component Mining Based on Rough Set Theory. - Yoshiyuki Shinkawa; Masao J. Matsumoto (ICSR, 2000)

An Information System View of Consistency and Integrity in Enterprise Operations. - Yoshiyuki Shinkawa; Masao J. Matsumoto (ICEIS (2), 2001)

Identifying Adaptable Components - A Rough Sets Style Approach. - Yoshiyuki Shinkawa; Masao J. Matsumoto (JSAI Workshops, 2001)

State-Sensitive Design of Database Transactions. - Yoshiyuki Shinkawa; Masao J. Matsumoto (ICEIS, 2002)

A Formal Approach to Enterprise Modeling. - Yoshiyuki Shinkawa (ICEIS (3), 2004)

A formal approach to component adaptability. - Yoshiyuki Shinkawa (ACST, 2006)

Inter-Model Consistency in UML Based on CPN Formalism. - Yoshiyuki Shinkawa (APSEC, 2006)

CPN Based Component Adaptation. - Yoshiyuki Shinkawa (ICEIS (3), 2006)

UML Inter-Model Consistency Based on CPN and CCS Formalism. - Yoshiyuki Shinkawa (Software Engineering Research and Practice, 2007)

Applying MDA to Game Software Development. - Takashi Inoue; Yoshiyuki Shinkawa (ICEIS (3-2), 2008)

Extracting Class Structure Based on Fishbone Diagrams. - Makoto Shigemitsu; Yoshiyuki Shinkawa (ICEIS (3-2), 2008)

Evaluating Consistency between UML Activity and Sequence Models. - Yoshiyuki Shinkawa (ICEIS (3-2), 2008)

Inter-Model Consistency Between UML Use Case and Activity Models. - Yoshiyuki Shinkawa (Software Engineering Research and Practice, 2009)

Evaluating UML Sequence Models using the SPIN Model Checker. - Yoshiyuki Shinkawa (ICEIS (3), 2010)

Inter-model Consistency between UML State Machine and Sequence Models. - Yoshiyuki Shinkawa (ICSOFT (2), 2011)

Evaluating Behavioral Correctness of a Set of UML Models. - Yoshiyuki Shinkawa (ICSOFT, 2012)

CPN based Data Integrity Evaluation for Cloud Transactions. - Yoshiyuki Shinkawa (ICSOFT, 2012)

Data Integrity in Cloud Transactions. - Sachi Nishida; Yoshiyuki Shinkawa (CLOSER, 2014)

A Comprehensive Evaluation Model for BASE Transaction Processing. - Sachi Nishida; Yoshiyuki Shinkawa (ICSOFT EA, 2014)

CPN Based GAE Performance Prediction Framework. - Sachi Nishida; Yoshiyuki Shinkawa (ICSOFT EA, 2014)

A Performance Prediction Model for Google App Engine Using Colored Petri Net. - Sachi Nishida; Yoshiyuki Shinkawa (ICSOFT (Selected Papers), 2014)

A Performance Prediction Model for Google App Engine. - Sachi Nishida; Yoshiyuki Shinkawa (3PGCIC, 2015)

Evaluating Data Integrity in the Cloud using the UPPAAL. - Sachi Nishida; Yoshiyuki Shinkawa (ICSOFT-EA, 2016)

Temporal Evaluation of Business Processes Using Timed Colored Petri Nets. - Yoshiyuki Shinkawa; Ryoya Shiraki (FedCSIS (Position Papers), 2017)

Verification of Business Processes with Time Constraints. - Ryoya Shiraki; Yoshiyuki Shinkawa (IIAI-AAI, 2017)