Ahmed Shah Mashiyat

According to our database, Ahmed Shah Mashiyat authored at least 7 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Using developer conversations to resolve uncertainty in software development: a position paper.

Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

2013

Answering questions about unanswered questions of stack overflow.

Muhammad Asaduzzaman, Ahmed Shah Mashiyat, Chanchal K. Roy, Kevin A. Schneider

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

2012

A Tableau Based Automated Theorem Prover Using High Performance Computing.

Md Zahidul Islam, Ahmed Shah Mashiyat, Kashif Nizam Khan, S. M. Masud Karim

J. Comput., 2012

2011

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.

Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Model Checking Workflow Monitors and Its Application to a Pain Management Process.

Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

An Automated Translator for Model Checking Time Constrained Workflow Systems.

Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Towards workflow verification.

Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010