Shahram Esmaeilsabzali

15 papers A* 1A 1B 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM.
CoRR
Shahram Esmaeilsabzali, Arayi Khalatyan, Zhijun Mo, Sruthi Venkatanarayanan, Shengjie Xu
2023 J jnl
Dash: declarative behavioural modelling in Alloy with control state hierarchy.
Softw. Syst. Model.
José Serna, Nancy A. Day, Shahram Esmaeilsabzali
2014 B conf
Dynamic Package Interfaces.
FASE
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2013 J jnl
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.
CoRR
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2013 J jnl
Dynamic Package Interfaces - Extended Version.
CoRR
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2012 A* conf
Engage: a deployment management system.
PLDI
Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali
2011 B conf
Monitoring aspects for the customization of automatically generated code for big-step models.
GPCE
Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
2011 B conf
Semantic Quality Attributes for Big-Step Modelling Languages.
FASE
Shahram Esmaeilsabzali, Nancy A. Day
2010 — conf
A Common Framework for Synchronization in Requirements Modelling Languages.
MoDELS (2)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee
2010 J jnl
Deconstructing the semantics of big-step modelling languages.
Requir. Eng.
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
2010 B conf
Prescriptive Semantics for Big-Step Modelling Languages.
FASE
Shahram Esmaeilsabzali, Nancy A. Day
2009 A conf
Semantic Criteria for Choosing a Language for Big-Step Models.
RE
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
2008 J jnl
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata.
Fundam. Informaticae
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat
2005 — conf
Interface Automata with Complex Actions.
FSEN
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
2005 — conf
Service Allocation for Composite Web Services Based on Quality Attributes.
CEC Workshops
Shahram Esmaeilsabzali, Kate Larson