Formal framework for specifying dynamic reconfiguration of adaptive systems. - Jaber Karimpour; Robab Alyari; Ali A. Noroozi (IET Softw., 2013)

Specifying a New Requirement Model for Secure Adaptive Systems. - Robab Alyari; Jaber Karimpour; Habib Izadkhah (Comput. J., 2020)