Service Allocation for Composite Web Services Based on Quality Attributes. - Shahram Esmaeilsabzali; Kate Larson (CEC Workshops, 2005)

Interface Automata with Complex Actions. - Shahram Esmaeilsabzali; Farhad Mavaddat; Nancy A. Day (FSEN, 2005)

Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. - Shahram Esmaeilsabzali; Nancy A. Day; Farhad Mavaddat (Fundam. Informaticae, 2008)

Semantic Criteria for Choosing a Language for Big-Step Models. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee; Jianwei Niu 001 (RE, 2009)

Prescriptive Semantics for Big-Step Modelling Languages. - Shahram Esmaeilsabzali; Nancy A. Day (FASE, 2010)

A Common Framework for Synchronization in Requirements Modelling Languages. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee (MoDELS (2), 2010)

Deconstructing the semantics of big-step modelling languages. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee; Jianwei Niu 001 (Requir. Eng., 2010)

Semantic Quality Attributes for Big-Step Modelling Languages. - Shahram Esmaeilsabzali; Nancy A. Day (FASE, 2011)

Monitoring aspects for the customization of automatically generated code for big-step models. - Shahram Esmaeilsabzali; Bernd Fischer 002; Joanne M. Atlee (GPCE, 2011)

Engage: a deployment management system. - Jeffrey Fischer; Rupak Majumdar; Shahram Esmaeilsabzali (PLDI, 2012)

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (CoRR, 2013)

Dynamic Package Interfaces - Extended Version. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (CoRR, 2013)

Dynamic Package Interfaces. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (FASE, 2014)

Dash: declarative behavioural modelling in Alloy with control state hierarchy. - José Serna; Nancy A. Day; Shahram Esmaeilsabzali (Softw. Syst. Model., 2023)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM. - Shahram Esmaeilsabzali; Arayi Khalatyan; Zhijun Mo; Sruthi Venkatanarayanan; Shengjie Xu (CoRR, 2025)