The following pages link to Narges Khakpour (Q282086):
Displayed 5 items.
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- Formal modeling of evolving self-adaptive systems (Q1951611) (← links)
- Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties (Q2938055) (← links)
- (Q5357692) (← links)
- Symbolic abstract heaps for polymorphic information-flow guard inference (Q6132488) (← links)