Narges Khakpour

From MaRDI portal
Revision as of 06:41, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:282086

Available identifiers

zbMath Open khakpour.nargesMaRDI QIDQ282086

List of research outcomes





PublicationDate of PublicationType
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems2024-03-14Paper
Symbolic abstract heaps for polymorphic information-flow guard inference2023-08-17Paper
https://portal.mardi4nfdi.de/entity/Q53576922017-09-12Paper
Synthesizing structural and behavioral control for reconfigurations in component-based systems2016-05-12Paper
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties2015-01-13Paper
Formal modeling of evolving self-adaptive systems2013-06-06Paper

Research outcomes over time

This page was built for person: Narges Khakpour

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:282086&oldid=7605723"
Powered by MediaWiki