![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Narges Khakpour
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c20]Narges Khakpour
:
Verification of Concurrent Machine Code Running on a Single-Core Machine. SAC 2024: 1675-1683 - 2023
- [c19]Nicolas Berthier, Narges Khakpour
:
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. VMCAI 2023: 66-90 - 2022
- [c18]Charilaos Skandylas, Narges Khakpour
, Javier Cámara:
Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS 2022: 63-72 - [i2]Narges Khakpour
, David Parker:
Partially-Observable Security Games for Automating Attack-Defense Analysis. CoRR abs/2211.01508 (2022) - [i1]Nicolas Berthier, Narges Khakpour
:
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). CoRR abs/2211.03450 (2022) - 2021
- [j9]Narges Khakpour
:
A Field-Sensitive Security Monitor for Object-Oriented Programs. Comput. Secur. 108: 102349 (2021) - [j8]Charilaos Skandylas, Narges Khakpour
:
Design and Implementation of Self-Protecting systems: A Formal Approach. Future Gener. Comput. Syst. 115: 421-437 (2021) - [c17]Charilaos Skandylas, Luyuan Zhou, Narges Khakpour
, Simon Roe:
Security Risk Analysis of Multi-Stage Attacks based on Data Criticality. EnCyCriS@ICSE 2021: 13-20 - [p2]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:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p1]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
:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - 2020
- [j7]Mauro Caporuscio
, Francesco Flammini
, Narges Khakpour
, Prasannjeet Singh, Johan Thornadtsson:
Smart-troubleshooting connected devices: Concept, challenges and opportunities. Future Gener. Comput. Syst. 111: 681-697 (2020) - [j6]Charilaos Skandylas, Narges Khakpour
, Jesper Andersson:
AT-DIFC+: Toward Adaptive and Trust-Aware Decentralized Information Flow Control. ACM Trans. Auton. Adapt. Syst. 15(4): 13:1-13:35 (2020) - [c16]Charilaos Skandylas, Narges Khakpour
, Jesper Andersson:
Adaptive Trust-Aware Decentralized Information Flow Control. ACSOS 2020: 92-101 - [c15]Silvan Zeller, Narges Khakpour
, Danny Weyns
, Daniel Deogun:
Self-protection against business logic vulnerabilities. SEAMS@ICSE 2020: 174-180
2010 – 2019
- 2019
- [c14]Narges Khakpour
, Jetty Kleijn, Marjan Sirjani:
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN 2019: 3-19 - [c13]Narges Khakpour
, Charilaos Skandylas, Goran Saman Nariman, Danny Weyns
:
Towards secure architecture-based adaptations. SEAMS@ICSE 2019: 114-125 - 2018
- [j5]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour
, Ilge Akkaya, Ali Movaghar, Edward A. Lee:
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143: 116-139 (2018) - [c12]Narges Khakpour
, Charilaos Skandylas:
Synthesis of a Permissive Security Monitor. ESORICS (1) 2018: 48-65 - 2017
- [c11]Narges Khakpour
:
Control of Self-adaptation Under Partial Observation: A Modular Approach. ECSA 2017: 112-119 - 2016
- [j4]Narges Khakpour
, Farhad Arbab, Éric Rutten:
Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects Comput. 28(1): 21-43 (2016) - [c10]Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour
, Marjan Sirjani, Ali Movaghar
, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. FACS 2016: 241-259 - 2015
- [c9]Narges Khakpour
, Mohammad Reza Mousavi:
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). CONCUR 2015: 18-40 - 2014
- [c8]Narges Khakpour
, Farhad Arbab, Éric Rutten:
Supervisory Controller Synthesis for Safe Software Adaptation. WODES 2014: 39-45 - 2013
- [c7]Mads Dam, Roberto Guanciale
, Narges Khakpour
, Hamed Nemati
, Oliver Schwarz:
Formal verification of information flow security for a simple arm-based separation kernel. CCS 2013: 223-234 - [c6]Narges Khakpour
, Oliver Schwarz, Mads Dam:
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. CPP 2013: 276-291 - 2012
- [j3]Narges Khakpour
, Saeed Jalili
, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh:
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. J. Syst. Softw. 85(12): 2770-2784 (2012) - [j2]Narges Khakpour
, Saeed Jalili
, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
:
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012) - 2011
- [c5]Narges Khakpour
, Marjan Sirjani, Ursula Goltz:
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM 2011: 16-32 - 2010
- [c4]Narges Khakpour
, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
:
Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543
2000 – 2009
- 2009
- [j1]Narges Khakpour
, Saeed Jalili
:
Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). Appl. Artif. Intell. 23(10): 945-975 (2009) - [c3]Mohsen Khaxar, Saeed Jalili
, Narges Khakpour
, M. Shaban Jokhio:
Monitoring safety properties of composite web services at runtime using CSP. EDOCW 2009: 107-113 - [c2]Narges Khakpour
, Marjan Sirjani, Saeed Jalili
:
Formal Analysis of Smart Home Policies using Compositional Verification. ICFI 2009: 220-233 - [c1]Narges Khakpour
, Saeed Jalili
, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. FACS@FMWeek 2009: 129-143
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-03 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint