Ahmed Shah Mashiyat

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Software Development Projects

Cost Estimation

Unanswered Questions

Top Venues

Publications

Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE (2014)
Muhammad Asaduzzaman, Ahmed Shah Mashiyat, Chanchal K. Roy, Kevin A. Schneider
Answering questions about unanswered questions of stack overflow. MSR (2013)
Md Zahidul Islam, Ahmed Shah Mashiyat, Kashif Nizam Khan, S. M. Masud Karim
A Tableau Based Automated Theorem Prover Using High Performance Computing. J. Comput. 7 (3) (2012)
Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS (2011)
Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull
Model Checking Workflow Monitors and Its Application to a Pain Management Process. FHIES (2011)
Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull
Towards workflow verification. CASCON (2010)
Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull
An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS (2010)