Publications

B. Barroca, S. Mustafiz, S. Van Mierlo, and H. Vangheluwe, ''Integrating a Neutral Action Language in a DEVS Modelling Environment'', SIMUTOOLS 2015. Accepted for publication.

S. Van Mierlo, Y. Van Tendeloo, S. Mustafiz, B. Barroca, and H. Vangheluwe, "Explicit Modelling of a Parallel DEVS Experimentation Environment", SpringSim (TMS-DEVS) 2015.: 860-867.

H. Vangheluwe, D. Riegelhaupt, S. Mustafiz, J. Denil, and S. Van Mierlo, "Explicit Modelling of a CBD Experimentation Environment", SpringSim (TMS-DEVS) 2014: 379-386.

S. Mustafiz and H. Vangheluwe, "Explicit Modelling of Statechart Simulation Environments", Summer Simulation Multiconference, Society for Computer Simulation International (SCS), July 2013, Vista, CA, Article 21, 8 pages.

L. Lucio, S. Mustafiz, J. Denil, H. Vangheluwe, and M. Jukss, "FTG+PM: An Integrated Framework for Investigating Model Transformation Chains", 16th International System Design Languages Forum, Montreal, QC, Canada, 2012.

S. Mustafiz, J. Denil, L. Lucio, and H. Vangheluwe, "The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study", 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2012), Multi-Paradigm Modeling (MPM'12), Innsbruck, Austria, October 2012, ACM, 2012.

L. Lucio, S. Mustafiz, J. Denil, B. Meyers, and H. Vangheluwe, "The Formalism Transformation Graph as a Guide to Model Driven Engineering", Technical Report SOCS-TR-2012-1, McGill University, Canada, 2012.

S. Mustafiz and J. Kienzle, "Idealized Fault-Tolerant Components in Requirements Engineering", International Workshop on Software Engineering for Resilient Systems (SERENE 2011), Geneva, Switzerland, September 2011, LNCS 6968, pp. 106-112, Springer 2011.

J. Kienzle, N. Guelfi, and S. Mustafiz, "Crisis Management Systems: A Case Study for Aspect-Oriented Modeling", Transactions on Aspect-Oriented Software Development 7: 1-22, 2010.

S. Mustafiz, J. Kienzle, and H. Vangheluwe, "Model Transformation of Dependability-Focused Requirements Models", International Conference on Software Engineering (ICSE 2009), Modeling in Software Engineering (MiSE 2009) , Vancouver, May 2009. ACM, pp. 50-55, 2009.

J. Kienzle, N. Guelfi, and S. Mustafiz, "Crisis Management Systems: A Case Study for Aspect-Oriented Modeling", Technical Report SOCS-TR-2009-3, McGill University, Canada, 2009.

S. Mustafiz and J. Kienzle, "DREP: A Requirements Engineering Process for Dependable Reactive Systems", In Methods, Models, and Tools for Fault Tolerance, M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, Eds., LNCS 5454, pp. 220-250, Springer 2009.

S. Mustafiz, J. Kienzle, and A. Berlizev, "Addressing Degraded Outcomes and Exceptional Modes of Operation in Behavioural Models", RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE 2008), Newcastle, November 2008, ACM Press, 19-28.

S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe, "Model-Driven Assessment of System Dependability", Journal of Software and Systems Modeling 7(4), pp. 487-502, 2008.

M. Zia, S. Mustafiz, H. Vangheluwe, and J. Kienzle, "A Modelling and Simulation Based Process for Dependable Systems Design", Journal of Software and Systems Modeling 6(4), pp. 437-451, 2007.

S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe, "Model-Driven Assessment of Use Cases for Dependable Systems", 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS / UML 2006), Genova, Italy, October 2006, LNCS 4199, pp. 558-573, Springer, 2006.

S. Mustafiz, "Dependability in Early Software Development Stages", Doctoral Symposium, 14th IEEE International Requirements Engineering Conference (RE'06), Minnesota, USA, September 2006.

A. Shui, S. Mustafiz, and J. Kienzle, "Exception-Aware Requirements Elicitation with Use Cases", Advanced Techniques in Exception Handling Techniques, LNCS Vol. 4119, pp. 558-573, C. Dony, Ed. New York: Springer Berlin / Heidelberg, 2006.

S. Mustafiz and J. Kienzle, "Addressing Dependability in Use Case Driven Requirements Elicitation", Technical Report SOCS-TR-2006-3, McGill University, Canada, 2006.

A. Shui, S. Mustafiz, J. Kienzle, and C. Dony, "Exceptional Use Cases", 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS / UML 2005), Jamaica, October 2005, LNCS 3713, pp. 568-583, Springer, 2005

M. Zia, S. Mustafiz, H. Vangheluwe, and J. Kienzle, "A Modelling and Simulation Based Approach for Dependable System Design", 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS / UML 2005), Jamaica, October 2005, LNCS 3713, pp. 217-231, Springer, 2005.

S. Mustafiz and J. Kienzle, "A Survey of Software Development Approaches Addressing Dependability", 4th International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004), Luxembourg, November 2004, LNCS 3409, pp. 78-90, Springer, 2004.

Theses

Sadaf Mustafiz. Dependability-Oriented Model-Driven Requirements Engineering for Reactive Systems. Ph.D. thesis, School of Computer Science, McGill University, 2010.

Sadaf Mustafiz. Addressing Fault Tolerance in Software Development: A Comparative Study. M.Sc. thesis, School of Computer Science, McGill University, 2004.