Model-driven synthesis of formally precise, stylized software architecturesBagheri, Hamid; Sullivan, Kevin · Formal Aspects of Computing · 2016

Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingBagheri, Hamid; Tang, Chong; Sullivan, Kevin · IEEE Transactions on Software Engineering · 2016

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - TradeMaker: automated dynamic analysis of synthesized tradespacesBagheri, Hamid; Tang, Chong; Sullivan, Kevin · 2014

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Architectural style as an independent variableBagheri, Hamid; Song, Yuanyuan; Sullivan, Kevin · 2010

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Bottom-up model-driven developmentBagheri, Hamid; Sullivan, Kevin · 2013

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Towards Designing Effective Data Persistence through Tradeoff Space AnalysisTang, Chong; Bagheri, Hamid; Paisarnsrisomsuk, Sarun; Sullivan, Kevin · 2017