Narges Khakpour
Narges Khakpour
Verified email at
Cited by
Cited by
Formal verification of information flow security for a simple ARM-based separation kernel
M Dam, R Guanciale, N Khakpour, H Nemati, O Schwarz
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
Formal modeling of evolving self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi
Science of Computer Programming 78 (1), 3-26, 2012
Formal analysis of policy-based self-adaptive systems
N Khakpour, R Khosravi, M Sirjani, S Jalili
Proceedings of the 2010 ACM Symposium on Applied Computing, 2536-2543, 2010
PobSAM: policy-based managing of actors in self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi
Electronic Notes in Theoretical Computer Science 263, 129-143, 2010
Machine assisted proof of ARMv7 instruction level isolation properties
N Khakpour, O Schwarz, M Dam
International Conference on Certified Programs and Proofs, 276-291, 2013
Notions of conformance testing for cyber-physical systems: Overview and roadmap
N Khakpour, MR Mousavi
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
Coordinated actor model of self-adaptive track-based traffic control systems
M Bagheri, M Sirjani, E Khamespanah, N Khakpour, I Akkaya, ...
Journal of Systems and Software 143, 116-139, 2018
Coordinated actors for reliable self-adaptive systems
M Bagheri, I Akkaya, E Khamespanah, N Khakpour, M Sirjani, ...
International Workshop on Formal Aspects of Component Software, 241-259, 2016
Synthesizing structural and behavioral control for reconfigurations in component-based systems
N Khakpour, F Arbab, E Rutten
Formal Aspects of Computing 28 (1), 21-43, 2016
Smart-troubleshooting connected devices: Concept, challenges and opportunities
M Caporuscio, F Flammini, N Khakpour, P Singh, J Thornadtsson
Future Generation Computer Systems 111, 681-697, 2020
Monitoring safety properties of composite web services at runtime using CSP
M Khaxar, S Jalili, N Khakpour, MS Jokhio
2009 13th Enterprise Distributed Object Computing Conference Workshops, 107-113, 2009
Supervisory controller synthesis for safe software adaptation
N Khakpour, F Arbab, E Rutten
IFAC Proceedings Volumes 47 (2), 39-45, 2014
HPobSAM for modeling and analyzing IT Ecosystems–Through a case study
N Khakpour, S Jalili, M Sirjani, U Goltz, B Abolhasanzadeh
Journal of Systems and Software 85 (12), 2770-2784, 2012
Context-based behavioral equivalence of components in self-adaptive systems
N Khakpour, M Sirjani, U Goltz
International Conference on Formal Engineering Methods, 16-32, 2011
Towards secure architecture-based adaptations
N Khakpour, C Skandylas, GS Nariman, D Weyns
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
Verification of security domain separation
DAM Mads, R Guanciale, N Khakpour
US Patent App. 14/890,032, 2018
Using supervised and transductive learning techniques to extract network attack scenarios
N Khakpour, S Jalili
2009 14th International CSI Computer Conference, 71-76, 2009
Formal Analysis of Smart Home Policies using Compositional Verification.
N Khakpour, M Sirjani, S Jalili
ICFI 9, 220-233, 2009
Explainability for safety and security
M Borg, S Gerasimou, N Hochgeschwender, N Khakpour
Explainable Software for Cyber-Physical Systems (ES4CPS), Report from the GI …, 2019
Synthesis of a Permissive Security Monitor
N Khakpour, C Skandylas
European Symposium on Research in Computer Security, 48-65, 2018
The system can't perform the operation now. Try again later.
Articles 1–20