 | 2011 |
|---|
| 6 |       | Narges Khakpour,
Marjan Sirjani,
Ursula Goltz:
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.
ICFEM 2011: 16-32 |
| 2010 |
|---|
| 5 | | Narges Khakpour,
Ramtin Khosravi,
Marjan Sirjani,
Saeed Jalili:
Formal analysis of policy-based self-adaptive systems.
SAC 2010: 2536-2543 |
| 4 | | Narges Khakpour,
Saeed Jalili,
Carolyn L. Talcott,
Marjan Sirjani,
Mohammad Reza Mousavi:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010) |
| 2009 |
|---|
| 3 | | Mohsen Khaxar,
Saeed Jalili,
Narges Khakpour,
M. Shaban Jokhio:
Monitoring safety properties of composite web services at runtime using CSP.
EDOCW 2009: 107-113 |
| 2 | | Narges Khakpour,
Marjan Sirjani,
Saeed Jalili:
Formal Analysis of Smart Home Policies using Compositional Verification.
ICFI 2009: 220-233 |
| 1 | | Narges Khakpour,
Saeed Jalili:
Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d).
Applied Artificial Intelligence 23(10): 945-975 (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page