Yoshiyuki Shinkawa

Publication Activity (10 Years)

Years Active: 1998-2017
Publications (10 Years): 3

Top Topics

Business Processes

Exponential Smoothing

Top Venues

ICSOFT (Selected Papers)

Publications

Ryoya Shiraki, Yoshiyuki Shinkawa
Verification of Business Processes with Time Constraints. IIAI-AAI (2017)
Yoshiyuki Shinkawa, Ryoya Shiraki
Temporal Evaluation of Business Processes Using Timed Colored Petri Nets. FedCSIS (Position Papers) (2017)
Sachi Nishida, Yoshiyuki Shinkawa
Evaluating Data Integrity in the Cloud using the UPPAAL. ICSOFT-EA (2016)
Sachi Nishida, Yoshiyuki Shinkawa
A Performance Prediction Model for Google App Engine. 3PGCIC (2015)
Sachi Nishida, Yoshiyuki Shinkawa
CPN Based GAE Performance Prediction Framework. ICSOFT EA (2014)
Sachi Nishida, Yoshiyuki Shinkawa
Data Integrity in Cloud Transactions. CLOSER (2014)
Sachi Nishida, Yoshiyuki Shinkawa
A Performance Prediction Model for Google App Engine Using Colored Petri Net. ICSOFT (Selected Papers) (2014)
Sachi Nishida, Yoshiyuki Shinkawa
A Comprehensive Evaluation Model for BASE Transaction Processing. ICSOFT EA (2014)
Yoshiyuki Shinkawa
Evaluating Behavioral Correctness of a Set of UML Models. ICSOFT (2012)
Yoshiyuki Shinkawa
CPN based Data Integrity Evaluation for Cloud Transactions. ICSOFT (2012)
Yoshiyuki Shinkawa
Inter-model Consistency between UML State Machine and Sequence Models. ICSOFT (2) (2011)
Yoshiyuki Shinkawa
Evaluating UML Sequence Models using the SPIN Model Checker. ICEIS (3) (2010)
Yoshiyuki Shinkawa
Inter-Model Consistency Between UML Use Case and Activity Models. Software Engineering Research and Practice (2009)
Makoto Shigemitsu, Yoshiyuki Shinkawa
Extracting Class Structure Based on Fishbone Diagrams. ICEIS (3-2) (2008)
Takashi Inoue, Yoshiyuki Shinkawa
Applying MDA to Game Software Development. ICEIS (3-2) (2008)
Yoshiyuki Shinkawa
Evaluating Consistency between UML Activity and Sequence Models. ICEIS (3-2) (2008)
Yoshiyuki Shinkawa
UML Inter-Model Consistency Based on CPN and CCS Formalism. Software Engineering Research and Practice (2007)
Yoshiyuki Shinkawa
Inter-Model Consistency in UML Based on CPN Formalism. APSEC (2006)
Yoshiyuki Shinkawa
A formal approach to component adaptability. ACST (2006)
Yoshiyuki Shinkawa
CPN Based Component Adaptation. ICEIS (3) (2006)
Yoshiyuki Shinkawa
A Formal Approach to Enterprise Modeling. ICEIS (3) (2004)
Yoshiyuki Shinkawa, Masao J. Matsumoto
State-Sensitive Design of Database Transactions. ICEIS (2002)
Yoshiyuki Shinkawa, Masao J. Matsumoto
Identifying Adaptable Components - A Rough Sets Style Approach. JSAI Workshops (2001)
Yoshiyuki Shinkawa, Masao J. Matsumoto
An Information System View of Consistency and Integrity in Enterprise Operations. ICEIS (2) (2001)
Yoshiyuki Shinkawa, Masao J. Matsumoto
Business Modeling and Component Mining Based on Rough Set Theory. ICSR (2000)
Yoshiyuki Shinkawa, Masao J. Matsumoto
On Legacy System Reusability Based on CPN and CCS Formalism. DEXA Workshop (1998)