Monitoring safety properties of composite web services at runtime using CSP. - Mohsen Khaxar; Saeed Jalili; Narges Khakpour; M. Shaban Jokhio (EDOCW, 2009)

Formal Analysis of Smart Home Policies using Compositional Verification. - Narges Khakpour; Marjan Sirjani; Saeed Jalili (ICFI, 2009)

Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). - Narges Khakpour; Saeed Jalili (Appl. Artif. Intell., 2009)

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (FACS@FMWeek, 2009)

Formal analysis of policy-based self-adaptive systems. - Narges Khakpour; Ramtin Khosravi; Marjan Sirjani; Saeed Jalili (SAC, 2010)

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. - Narges Khakpour; Marjan Sirjani; Ursula Goltz (ICFEM, 2011)

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. - Narges Khakpour; Saeed Jalili; Marjan Sirjani; Ursula Goltz; Bahareh Abolhasanzadeh (J. Syst. Softw., 2012)

Formal modeling of evolving self-adaptive systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2012)

Formal verification of information flow security for a simple arm-based separation kernel. - Mads Dam; Roberto Guanciale; Narges Khakpour; Hamed Nemati; Oliver Schwarz (CCS, 2013)

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. - Narges Khakpour; Oliver Schwarz; Mads Dam (CPP, 2013)

Supervisory Controller Synthesis for Safe Software Adaptation. - Narges Khakpour; Farhad Arbab; Éric Rutten (WODES, 2014)

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). - Narges Khakpour; Mohammad Reza Mousavi 001 (CONCUR, 2015)

Coordinated Actors for Reliable Self-adaptive Systems. - Maryam Bagheri 001; Ilge Akkaya; Ehsan Khamespanah; Narges Khakpour; Marjan Sirjani; Ali Movaghar 001; Edward A. Lee (FACS, 2016)

Synthesizing structural and behavioral control for reconfigurations in component-based systems. - Narges Khakpour; Farhad Arbab; Éric Rutten (Formal Aspects Comput., 2016)

Control of Self-adaptation Under Partial Observation: A Modular Approach. - Narges Khakpour (ECSA, 2017)

Synthesis of a Permissive Security Monitor. - Narges Khakpour; Charilaos Skandylas (ESORICS (1), 2018)

Coordinated actor model of self-adaptive track-based traffic control systems. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Narges Khakpour; Ilge Akkaya; Ali Movaghar 001; Edward A. Lee (J. Syst. Softw., 2018)

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. - Narges Khakpour; Jetty Kleijn; Marjan Sirjani (FSEN, 2019)

Towards secure architecture-based adaptations. - Narges Khakpour; Charilaos Skandylas; Goran Saman Nariman; Danny Weyns (SEAMS@ICSE, 2019)

Adaptive Trust-Aware Decentralized Information Flow Control. - Charilaos Skandylas; Narges Khakpour; Jesper Andersson (ACSOS, 2020)

Self-protection against business logic vulnerabilities. - Silvan Zeller; Narges Khakpour; Danny Weyns; Daniel Deogun (SEAMS@ICSE, 2020)

Smart-troubleshooting connected devices: Concept, challenges and opportunities. - Mauro Caporuscio; Francesco Flammini; Narges Khakpour; Prasannjeet Singh; Johan Thornadtsson (Future Gener. Comput. Syst., 2020)

AT-DIFC+: Toward Adaptive and Trust-Aware Decentralized Information Flow Control. - Charilaos Skandylas; Narges Khakpour; Jesper Andersson (ACM Trans. Auton. Adapt. Syst., 2020)

Foundations. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe; Francisco Durán 001; et al. (Composing Model-Based Analysis Tools, 2021)

Composition of Languages, Models, and Analyses. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe (Composing Model-Based Analysis Tools, 2021)

Security Risk Analysis of Multi-Stage Attacks based on Data Criticality. - Charilaos Skandylas; Luyuan Zhou; Narges Khakpour; Simon Roe (EnCyCriS@ICSE, 2021)

A Field-Sensitive Security Monitor for Object-Oriented Programs. - Narges Khakpour (Comput. Secur., 2021)

Design and Implementation of Self-Protecting systems: A Formal Approach. - Charilaos Skandylas; Narges Khakpour (Future Gener. Comput. Syst., 2021)

Security Countermeasure Selection for Component-Based Software-Intensive Systems. - Charilaos Skandylas; Narges Khakpour; Javier Cámara 001 (QRS, 2022)

Partially-Observable Security Games for Automating Attack-Defense Analysis. - Narges Khakpour; David Parker 001 (CoRR, 2022)

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). - Nicolas Berthier; Narges Khakpour (CoRR, 2022)

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. - Nicolas Berthier; Narges Khakpour (VMCAI, 2023)

Compositional Security Analysis of Dynamic Component-based Systems. - Narges Khakpour; Charilaos Skandylas (ASE, 2024)

Verification of Concurrent Machine Code Running on a Single-Core Machine. - Narges Khakpour (SAC, 2024)

Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. - Narges Khakpour; David Parker 001 (SEFM, 2024)

Security Threats and Challenges of Digital Twins-Enabled Self-adaptive Systems. - Rahul Sankalana Gunawardhana; Narges Khakpour (Rebeca for Actor Analysis in Action, 2025)