Control of Self-adaptation Under Partial Observation: A Modular Approach
Get full text
Book Chapter
Conference Proceeding
Formal modeling of evolving self-adaptive systems
Khakpour, Narges, Jalili, Saeed, Talcott, Carolyn, Sirjani, Marjan, Mousavi, MohammadReza
Published in Science of computer programming (01.11.2012)
Published in Science of computer programming (01.11.2012)
Get full text
Journal Article
HPobSAM for modeling and analyzing IT Ecosystems – Through a case study
Khakpour, Narges, Jalili, Saeed, Sirjani, Marjan, Goltz, Ursula, Abolhasanzadeh, Bahareh
Published in The Journal of systems and software (01.12.2012)
Published in The Journal of systems and software (01.12.2012)
Get full text
Journal Article
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties
Get full text
Book Chapter
Conference Proceeding
Coordinated Actors for Reliable Self-adaptive Systems
Bagheri, Maryam, Akkaya, Ilge, Khamespanah, Ehsan, Khakpour, Narges, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.
Published in FACS 2016 (2017)
Published in FACS 2016 (2017)
Get full text
Book Chapter
Conference Proceeding
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Khakpour, Narges, Kleijn, Jetty, Sirjani, Marjan
Published in Fundamentals of Software Engineering (2019)
Published in Fundamentals of Software Engineering (2019)
Get full text
Book Chapter
Conference Proceeding