List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems | 2024-03-14 | Paper |
| Symbolic abstract heaps for polymorphic information-flow guard inference Lecture Notes in Computer Science | 2023-08-17 | Paper |
| Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper) | 2017-09-12 | Paper |
| Synthesizing structural and behavioral control for reconfigurations in component-based systems Formal Aspects of Computing | 2016-05-12 | Paper |
| Machine assisted proof of ARMv7 instruction level isolation properties Certified Programs and Proofs | 2015-01-13 | Paper |
| Formal modeling of evolving self-adaptive systems Science of Computer Programming | 2013-06-06 | Paper |
Research outcomes over time
This page was built for person: Narges Khakpour
