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
|