Yoshiyuki Shinkawa

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