bild
School of
Computer Science
and Communication
KTH / CSC / TCS
Narges Khakpour

Narges Khakpour

Postdoctoral Researcher, Theoretical Computer Science
School of Computer Science and Communication

my email@kth.se
+46 8 790 6937 (office)
Lindstedtsvägen 3, level 5, room 4525
SE-100 44 Stockholm, Sweden

I am a postdoctoral researcher with CSC, Royal Institute of Technology(KTH) Stockholm . My research interest lies on formal verification, interactive theorem proving and proof automation. In particular, I've focused on security verification of machine code and modeling and verification of self-adaptive systems. CV

Education

2013 (expected): PhD. in Computer Science, Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands.
2012: PhD. in Computer Engineering, Faculty of Electrical and Computer Engineering, Tarbiat Modares University, Tehran.
2006: M.Sc. in Computer Engineering, Faculty of Electrical and Computer Engineering, Tarbiat Modares University, Tehran.
2003: B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Shahid Beheshti University, Tehran.

Publications

Journal Papers

1. N. Khakpour, S. Jalili, M. Sirjani, U. Goltz, B. Abolhasanzadeh, HPobSAM for Modeling and Analyzing IT-Ecosystems - Through a Case Study , Journal of Systems and Software, 2012, Elsevier, To Apear. [PDF]
2. N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, and M. Mousavi, Formal Modeling of Evolving Self-Adaptive Systems, Science of Computer Programming, 2011, Elsevier, To Apear. [PDF]
3. N. Khakpour and S. Jalili, Verification of Distributed Firewalls Configuration vs. Security Policies: A Description Logic Approach , Applied Artificial Intelligence, vol.23, no.10, pp. 945-975, 2009, Taylor & Francis [PDF].

Conference/Workshop Papers

1. N. Khakpour, M. Sirjani, U. Goltz, Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems, In Proceedings of the 13th Conference on Formal Engineering Methods, LNCS 6991, pages 16-32, Durham, UK, 2011, Springer-Verlag Berlin Heidelberg. [PDF]
2. N. Khakpour, R. Khosravi, M. Sirjani, and S. Jalili, Formal Analysis of Policy-based Self-Adaptive Systems, In Proceedings of the 25th ACM Symposium on Applied Computing, Sierre, Switzerland, 2010, ACM. [PDF]
3. N. Khakpour, S. Jalili, C. L. Talcott, M. Sirjani, M. R. Mousavi, PoBSAM: Policy-based Managing of Actors in Self-Adaptive Systems, Electr. Notes Theor. Comput. Sci. 263, pp.129-143, 2010. [PDF]
4. M. Khaksar, S. Jalili, and N. Khakpour, Monitoring Safety Properties of Composite Web Services at Runtime Using CSP, In Proceedings of the Middleware for Web Services Workshop at 13th International IEEE EDOC Conference (MWS 2009), Auckland, New Zealand, 2009, IEEE Computer Society Press.
5. N. Khakpour, M. Sirjani, and S. Jalili, Formal Analysis of Smart Home Policies using Compositional Verification, In Proceedings of the 10th International Conference on Feature Interaction, pages 220-233, Lisbon, Portugal, 2009, IOS Press.
6. N. Khakpour and S. Jalili, Using Supervised and Transductive Learning Techniques to Extract Network Attack Scenarios, In Proceedings of the CSI Computer Conference, Tehran, Iran, 2009, IEEE Computer Society Press.
7. N. Khakpour and S. Jalili, A Formal Approach for Analysis of Distributed Firewalls Configurations, In Proceedings of the 12th Iranian Computer Society Conference, Tehran, Iran, 2007.
8. S. Jalili and N. Khakpour, Verification of Service Access Control Policies: A Description Logic Approach, In Proceedings of the 11th Iranian Computer Society Confer- ence, pages 182-193, Tehran, Iran, 2006.

Technical Reports

1. N. Khakpour, A Formal Model to Develop and Verify Self-Adaptive Systems, Doctoral Symposium of 16th International Symposium on Formal Methods, Eindhoven University of Technology Technical Report CS-09-15, Eindhoven, the Netherlands, 2009.
2. U. Goltz, N. Khakpour, C. Knieke, L. Martin, Behavioral Modeling of IT Ecosystems, Technical Report of NTH School for IT Ecosystems, 2010.
3. N. Khakpour, S. Jalili, M. Sirjani, Assuring the Correctness of Large-scale Adaptive Systems, Technical Report of Technical University of Braunschweig 2011-09, 2011.

Projects

PROSPER

Past Projects

IT Ecosystems
Published by: Narges Khakpour <nargeskh@kth.se>
Updated 2013-05-10