Fazle Rabbi
Title
Cited by
Cited by
Year
Compensable workflow nets
F Rabbi, H Wang, W MacCaull
International Conference on Formal Engineering Methods, 122-137, 2010
272010
A diagrammatic approach to model completion
F Rabbi, Y Lamo, IC Yu, LM Kristensen
222015
YAWL2DVE: An automated translator for workflow verification
F Rabbi, H Wang, W MacCaull
2010 Fourth International Conference on Secure Software Integration and …, 2010
202010
NOVA workflow: A workflow management tool targeting health services delivery
W MacCaull, F Rabbi
International Symposium on Foundations of Health Informatics Engineering and …, 2011
172011
WebDPF: A web-based metamodelling and model transformation environment
F Rabbi, Y Lamo, IC Yu, LM Kristensen
2016 4th International Conference on Model-Driven Engineering and Software …, 2016
162016
An automated translator for model checking time constrained workflow systems
AS Mashiyat, F Rabbi, H Wang, W MacCaull
International Workshop on Formal Methods for Industrial Critical Systems, 99-114, 2010
122010
Adaptive Particle Swarm Optimization (APSO) for multimodal function optimization
S Hossen, F Rabbi, M Rahman
International Journal of Engineering and Technology 1 (3), 98-103, 2009
122009
A user-friendly tool for model checking healthcare workflows
A Rutle, F Rabbi, W MacCaull, Y Lamo
Procedia Computer Science 21, 317-326, 2013
112013
Co-ordination of multiple metamodels, with application to healthcare systems
F Rabbi, Y Lamo, W MacCaull
Procedia Computer Science 37, 473-480, 2014
92014
T□: A domain specific language for rapid workflow development
F Rabbi, W MacCaull
International Conference on Model Driven Engineering Languages and Systems …, 2012
92012
Modeling and verifying timed compensable workflows and an application to health care
AS Mashiyat, F Rabbi, W MacCaull
International Workshop on Formal Methods for Industrial Critical Systems …, 2011
92011
A model slicing method for workflow verification
F Rabbi, H Wang, W MacCaull, A Rutle
Electronic Notes in Theoretical Computer Science 295, 79-93, 2013
82013
A flexible metamodelling approach for healthcare systems
F Rabbi, Y Lamo, W MacCaull
CEUR Workshop Proceedings, 2014
62014
Design, development and verification of a compensable workflow modeling language
F Rabbi
St. Francis Xavier University, 2011
62011
Towards a categorical approach for meta-modelling epistemic game theory
F Rabbi, Y Lamo, IC Yu
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
52016
Fazle Rabbi, NOVA workflow: a workflow management tool targeting health services delivery
W MacCaull
Proceedings of the First international conference on Foundations of Health …, 2011
52011
Model checking workflow monitors and its application to a pain management process
F Rabbi, AS Mashiyat, W MacCaull
International Symposium on Foundations of Health Informatics Engineering and …, 2011
52011
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
F Rabbi, Y Lamo, IC Yu, LM Kristensen
NIK, 2015
42015
A scalable ontology reasoner via incremental materialization
F Rabbi, W MacCaull, RU Faruqui
Proceedings of the 26th IEEE International Symposium on Computer-Based …, 2013
42013
Static Analysis of Conformance Preserving Model Transformation Rules.
F Rabbi, LM Kristensen, Y Lamo
MODELSWARD, 152-162, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20