Narges Khakpour

39 papers A* 2B 5C 2Misc 2Journal 14Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compositional security analysis of dynamic component-based systems.
Inf. Softw. Technol.
Charilaos Skandylas, Narges Khakpour
2026 J jnl
VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs.
CoRR
Gianpietro Castiglione, Shahriar Ebrahimi, Narges Khakpour
2025 — conf
Security Threats and Challenges of Digital Twins-Enabled Self-adaptive Systems.
Rebeca for Actor Analysis in Action
Rahul Sankalana Gunawardhana, Narges Khakpour
2025 J jnl
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs.
CoRR
Narges Khakpour, Nicolas Berthier
2024 A* conf
Compositional Security Analysis of Dynamic Component-based Systems.
ASE
Narges Khakpour, Charilaos Skandylas
2024 B conf
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems.
SEFM
Narges Khakpour, David Parker
2024 Misc conf
Verification of Concurrent Machine Code Running on a Single-Core Machine.
SAC
Narges Khakpour
2023 B conf
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.
VMCAI
Nicolas Berthier, Narges Khakpour
2022 J jnl
Partially-Observable Security Games for Automating Attack-Defense Analysis.
CoRR
Narges Khakpour, David Parker
2022 C conf
Security Countermeasure Selection for Component-Based Software-Intensive Systems.
QRS
Charilaos Skandylas, Narges Khakpour, Javier Cámara
2022 J jnl
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version).
CoRR
Nicolas Berthier, Narges Khakpour
2021 J jnl
A Field-Sensitive Security Monitor for Object-Oriented Programs.
Comput. Secur.
Narges Khakpour
2021 — ch.
Composition of Languages, Models, and Analyses.
Composing Model-Based Analysis Tools
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe
2021 J jnl
Design and Implementation of Self-Protecting systems: A Formal Approach.
Future Gener. Comput. Syst.
Charilaos Skandylas, Narges Khakpour
2021 — ch.
Foundations.
Composing Model-Based Analysis Tools
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler
2021 — conf
Security Risk Analysis of Multi-Stage Attacks based on Data Criticality.
EnCyCriS@ICSE
Charilaos Skandylas, Luyuan Zhou, Narges Khakpour, Simon Roe
2020 J jnl
AT-DIFC
ACM Trans. Auton. Adapt. Syst.
Charilaos Skandylas, Narges Khakpour, Jesper Andersson
2020 — conf
Adaptive Trust-Aware Decentralized Information Flow Control.
ACSOS
Charilaos Skandylas, Narges Khakpour, Jesper Andersson
2020 — conf
Self-protection against business logic vulnerabilities.
SEAMS@ICSE
Silvan Zeller, Narges Khakpour, Danny Weyns, Daniel Deogun
2020 J jnl
Smart-troubleshooting connected devices: Concept, challenges and opportunities.
Future Gener. Comput. Syst.
Mauro Caporuscio, Francesco Flammini, Narges Khakpour, Prasannjeet Singh, Johan Thornadtsson
2019 — conf
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.
FSEN
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
2019 — conf
Towards secure architecture-based adaptations.
SEAMS@ICSE
Narges Khakpour, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns
2018 J jnl
Coordinated actor model of self-adaptive track-based traffic control systems.
J. Syst. Softw.
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
2018 — conf
Synthesis of a Permissive Security Monitor.
ESORICS (1)
Narges Khakpour, Charilaos Skandylas
2017 B conf
Control of Self-adaptation Under Partial Observation: A Modular Approach.
ECSA
Narges Khakpour
2016 — conf
Coordinated Actors for Reliable Self-adaptive Systems.
FACS
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016 J jnl
Synthesizing structural and behavioral control for reconfigurations in component-based systems.
Formal Aspects Comput.
Narges Khakpour, Farhad Arbab, Éric Rutten
2015 B conf
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).
CONCUR
Narges Khakpour, Mohammad Reza Mousavi
2014 — conf
Supervisory Controller Synthesis for Safe Software Adaptation.
WODES
Narges Khakpour, Farhad Arbab, Éric Rutten
2013 A* conf
Formal verification of information flow security for a simple arm-based separation kernel.
CCS
Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz
2013 B conf
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.
CPP
Narges Khakpour, Oliver Schwarz, Mads Dam
2012 J jnl
Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program.
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2012 J jnl
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.
J. Syst. Softw.
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh
2011 C conf
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.
ICFEM
Narges Khakpour, Marjan Sirjani, Ursula Goltz
2010 Misc conf
Formal analysis of policy-based self-adaptive systems.
SAC
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
2009 — conf
Formal Analysis of Smart Home Policies using Compositional Verification.
ICFI
Narges Khakpour, Marjan Sirjani, Saeed Jalili
2009 — conf
Monitoring safety properties of composite web services at runtime using CSP.
EDOCW
Mohsen Khaxar, Saeed Jalili, Narges Khakpour, M. Shaban Jokhio
2009 — conf
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
FACS@FMWeek
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2009 J jnl
Verification of Distributed Firewalls Configuration vs. Security Policies Using
Appl. Artif. Intell.
Narges Khakpour, Saeed Jalili