Narges Khakpour

According to our database, Narges Khakpour authored at least 34 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Partially-Observable Security Games for Attack-Defence Analysis in Software Systems.

Narges Khakpour, David Parker

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Verification of Concurrent Machine Code Running on a Single-Core Machine.

Narges Khakpour

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.

Nicolas Berthier, Narges Khakpour

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version).

Nicolas Berthier, Narges Khakpour

CoRR, 2022

Partially-Observable Security Games for Automating Attack-Defense Analysis.

Narges Khakpour, David Parker

CoRR, 2022

Security Countermeasure Selection for Component-Based Software-Intensive Systems.

Charilaos Skandylas, Narges Khakpour, Javier Cámara

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Design and Implementation of Self-Protecting systems: A Formal Approach.

Charilaos Skandylas, Narges Khakpour

Future Gener. Comput. Syst., 2021

A Field-Sensitive Security Monitor for Object-Oriented Programs.

Narges Khakpour

Comput. Secur., 2021

Security Risk Analysis of Multi-Stage Attacks based on Data Criticality.

Charilaos Skandylas, Luyuan Zhou, Narges Khakpour, Simon Roe

Proceedings of the 2nd IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems, 2021

Composition of Languages, Models, and Analyses.

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

Proceedings of the Composing Model-Based Analysis Tools, 2021

Foundations.

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

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

AT-DIFC⁺: Toward Adaptive and Trust-Aware Decentralized Information Flow Control.

Charilaos Skandylas, Narges Khakpour, Jesper Andersson

ACM Trans. Auton. Adapt. Syst., 2020

Smart-troubleshooting connected devices: Concept, challenges and opportunities.

Mauro Caporuscio, Francesco Flammini, Narges Khakpour, Prasannjeet Singh, Johan Thornadtsson

Future Gener. Comput. Syst., 2020

Self-protection against business logic vulnerabilities.

Silvan Zeller, Narges Khakpour, Danny Weyns, Daniel Deogun

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Adaptive Trust-Aware Decentralized Information Flow Control.

Charilaos Skandylas, Narges Khakpour, Jesper Andersson

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Towards secure architecture-based adaptations.

Narges Khakpour, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.

Narges Khakpour, Jetty Kleijn, Marjan Sirjani

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

Coordinated actor model of self-adaptive track-based traffic control systems.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee

J. Syst. Softw., 2018

Synthesis of a Permissive Security Monitor.

Narges Khakpour, Charilaos Skandylas

Proceedings of the Computer Security, 2018

2017

Control of Self-adaptation Under Partial Observation: A Modular Approach.

Narges Khakpour

Proceedings of the Software Architecture - 11th European Conference, 2017

2016

Synthesizing structural and behavioral control for reconfigurations in component-based systems.

Narges Khakpour, Farhad Arbab, Éric Rutten

Formal Aspects Comput., 2016

Coordinated Actors for Reliable Self-adaptive Systems.

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).

Narges Khakpour, Mohammad Reza Mousavi

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Supervisory Controller Synthesis for Safe Software Adaptation.

Narges Khakpour, Farhad Arbab, Éric Rutten

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.

Narges Khakpour, Oliver Schwarz, Mads Dam

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

Formal verification of information flow security for a simple arm-based separation kernel.

Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Formal modeling of evolving self-adaptive systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Sci. Comput. Program., 2012

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

2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.

Narges Khakpour, Marjan Sirjani, Ursula Goltz

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Formal analysis of policy-based self-adaptive systems.

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Verification of Distributed Firewalls Configuration vs. Security Policies Using <i>A</i><i>L</i><i>C</i><i>Q</i><i>I</i>(<i>d</i>).

Narges Khakpour, Saeed Jalili

Appl. Artif. Intell., 2009

Formal Analysis of Smart Home Policies using Compositional Verification.

Narges Khakpour, Marjan Sirjani, Saeed Jalili

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

Monitoring safety properties of composite web services at runtime using CSP.

Mohsen Khaxar, Saeed Jalili, Narges Khakpour, M. Shaban Jokhio

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009