Shahram Esmaeilsabzali 

  

 

I did my Ph.D. at the University of Waterloo. My Ph.D. supervisor was Professor Nancy A. Day. I was a member of Waterloo Formal Methdods (WatForm) Lab.

I was also a postdoctoral research fellow at Cheriton School of Computer Science, University of Waterloo (Sep 2013-June 2014).  I worked with Professor Frank Tip. Prior to that, I was a post-doctoral researcher at the Max Planck Institute for Software Systems, (July 1, 2011-August 31, 2013). I worked with Professor Rupak Majumdar. I have also been a postdoctoral researcher at the University of Southampton, working with Professor Bernd Fischer (Jan-June 2011).

CV: pdf

Refereed Publications:

. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, and Damien Zufferey, "Dynamic Package Interfaces," Proceeding of International Conference on Fundamental Approaches to Software Engineering (FASE'14), pp. 261-275, Lecture Notes in Computer Science vol. 8411, Springer-Verlag, 2014. pdf

Jeffrey Fischer, Rupak Majumdar, and Shahram Esmaeilsabzali, "Engage: A Deployment Management System," Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'12), pp. 263-274, 2012. pdf

Shahram Esmaeilsabzali, Bernd Fischer, and Joanne Atlee, "Monitoring Aspects for the Customization of Automatically Generated Code for Big-Step Models," Proceeding of International Conference on Generative Programming and Component Engineering (GPCE'11), pp. 117-126, ACM,  2011. pdf

Shahram Esmaeilsabzali and Nancy A. Day, "Semantic Quality Attribute for Big-Step Modelling Languages," Proceeding of International Conference on Fundamental Approaches to Software Engineering (FASE'11), pp. 65-80, Lecture Notes in Computer Science vol. 6603, Springer-Verlag, 2011. pdf  [errata]

.  Shahram Esmaeilsabzali, Nancy A. Day, and Joanne M. Atlee, "A Common Framework for Synchronization in Requirements Modelling Languages," Proceeding of International Conference on Model Driven Engineering Languages and Systems (MoDELS'10), pp. 198-212, Lecture Notes in Computer Science vol. 6395, Springer-Verlag, 2010. pdf

.  Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, "Deconstructing the Semantics of Big-Step Modelling Languages," Requirements Engineering 15(2) : 235-265,  Springer, 2010. pdf

.  Shahram Esmaeilsabzali and Nancy A. Day, "Prescriptive Semantics for Big-Step Modelling Languages," Proceeding of  International Conference on Fundamental Approaches to Software Engineering (FASE'10), pp. 158-172, Lecture Notes in Computer Science vol. 6013, Springer-Verlag, 2010. pdf

.  Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, "Semantic Criteria for Choosing a Language for Big-Step Models," Proceeding of 17th IEEE International Requirements Engineering Conference (RE'09), pp. 181-190, IEEE Computer Society Press, 2009. pdf

.  Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat, "Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata," Fundamenta Informaticae 82(4) : 465-512,  IOS Press, 2008. pdf

.  Shahram Esmaeilsabzali, Farhad Mavaddat, and Nancy A. Day, "Interface Automata with Complex Actions," Proceeding of the First IPM International Workshop on Foundations of Software Engineering (FSEN'06), (In Cooperation with ACM/SigSoft), pp. 79-97, In Elsevier's ENTCS Conference Series,  159, 2006, (The Distinguished Paper Award). pdf

Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat, "Specifying Search Queries for Web Service Discovery," Proceeding of the First International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER'05), available on Requirements Engineering conference 2005 Web site, 2005. pdf

Shahram Esmaeilsabzali and Kate Larson, "Service Allocation for Composite Web services Based on Quality Attributes," Proceeding of the First IEEE International Workshop on Service Oriented Solutions for Cooperative Organizations (SoS4CO'05), pp. 71-79, IEEE Computer Society Press, 2005. pdf

Non-Refereed Publications:

. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, and Damien Zufferey, "Dynamic Package Interfaces - Extended Version," CoRR abs/1311.4934, 2013. pdf

. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, and Damien Zufferey, "A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages," CoRR abs/1311.4615, 2013. pdf

. Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, "Big-Step Semantics," Technical Report CS-2009-05, David R. Cheriton School of Computer Science, University of Waterloo, 2009. pdf

Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat, "Interface Automata with Complex Actions - Extended Version," Technical Report CS-2005-26, David R. Cheriton School of Computer Science, University of Waterloo, 2005  (Revised May 15, 2006). pdf

Shahram Esmaeilsabzali and Nancy A. Day, "Online Pricing for Web service Providers," (position paper) EDSER '06: Proceedings of the 2006 international Workshop on Economics driven Software Engineering Research (in conjunction with ICSE 2006), pp. 37-42, ACM Press, 2006. pdf

Shahram Esmaeilsabzali, Leonard Wong, and Nancy A. Day, "An Evaluation of Metro Express Generated SMV Models," Technical Report CS-2005-20, David R. Cheriton School of Computer Science, University of Waterloo, 2005. pdf

Theses:

Ph.D. thesis: "Prescriptive Semantics for Big-Step Modelling Languages," February 2011. pdf [errata

.  Master's thesis:  "An Interface Approach to Discovery and Composition of Web Services," July 2004. pdf