selected publications chapter A Generic Framework for Service-Based Business Process Elasticity in the Cloud. Lecture notes in computer science. 194-199. 2012 conference paper Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud. . 573-580. 2013 Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud. . 284-291. 2013