Refereed Publications

Hamid Bagheri, Kevin Sullivan, “ Bottom-up Model-driven Development,” To appear in Proceedings of the International Conference on Software Engineering -- New Ideas and Emerging Results (ICSE-NIER'13), 2013.

Hamid Bagheri, Kevin Sullivan, “Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications,” Proceedings of the 11th ACM International Conference on Generative Programming and Component Engineering (GPCE'12), Dresden, Germany, 2012.

Hamid Bagheri, Kevin Sullivan, Sang Son, “Spacemaker: Practical formal synthesis of tradeoff spaces for object-relational mapping,” Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), San Francisco Bay, USA, 2012.  (Distinguished Paper)

Hamid Bagheri, Kevin Sullivan, “A Formal Approach to Software Synthesis for Architectural Platforms,” Proceedings of the International Conference on Software Engineering -- ACM Student Research Competition (ICSE-SRC 2011), Honolulu, HI, USA, 2011.

Hamid Bagheri, Kevin Sullivan, “A Formal Approach for Incorporating Architectural Tactics into the Software Architecture,” Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE'11), Miami, USA, 2011.

Hamid Bagheri, Kevin Sullivan, “Monarch: Model-based Development of Software Architectures,” Proceedings of the 13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 2010.

Hamid Bagheri, Yuanyuan Song, Kevin Sullivan, “Architectural style as an Independent Variable,” Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, 2010.

Hamid Bagheri, Kevin Sullivan, “Towards a Systematic Approach for Software Synthesis,” Proceedings of the 3rd International Workshop On Model Based Architecting And Construction Of Embedded Systems (ACES-MB 2010), Oslo, Norway, 2010.

Hamid Bagheri, Kevin Sullivan, “Architecture as an Independent Variable for Aspect-Oriented Application Descriptions,” Proceedings of the international conference on Abstract State Machines, B and Z (ABZ 2010), LNCS 5977, Canada, 2010.

Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi, “An Evaluation Method for Aspectual Modeling of Distributed Software Architecture,” Proceedings of the 6th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA'08), 2008.

Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, “Injecting security as aspectable NFR into Software Architecture,” Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC'07), Japan, 2007.

Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani, “An Aspect Enhanced Method of NFR Modeling in Software Architecture,” Proceedings of the 10th IEEE International Conference on Information Technology (IEEECIT 2007), 2007.
 

Technical Reports

Hamid Bagheri, Kevin Sullivan, “Architecturally Correct-by-Construction Synthesis for Contemporary Frameworks and Middleware Platforms,” Technical Report #CS-2010-15, Department of Computer Science, University of Virginia, Dec. 2010.

Hamid Bagheri, Yuanyuan Song, Kevin Sullivan, “Architecture as an Independent Variable,” Technical Report #CS-2009-11, Department of Computer Science, University of Virginia, Nov. 2009.