Narges Khakpour

From MaRDI portal
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
Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)2017-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