B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

Narges Khakpour

School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: nargeskh@kth.se

Leiden Institute of Advanced Computer Science Leiden University

Leiden, The Netherlands E-mail: khakpour@liacs.nl

Education

2013 (Expected) : PhD. in Computer Science, Leiden Institute of Advanced Computer Science Leiden University

Thesis Title: ”Safe Structural Adaptation” Supervisors: Prof. Farhad Arbab, Dr. Jetty Kleijn

April 2012 : PhD. in Computer Engineering, School of Electrical and Computer Engineering, Tarbiat Modares University

Thesis Title: ”Formal Modeling and Verification of self-Adaptive Systems” Supervisors: Dr. Saeed Jalili, Dr. Marjan Sirjani, accepted with score (18/18) Feb 2006 : M.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

Tarbiat Modares University:

Thesis Title: ”Verification of Firewalls Configuration vs. Security Policies Using Description Logics”, accepted with score (19.75/20).

Supervisor: Dr. Saeed Jalili

Feb 2003 : B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Shahid Beheshti University:

Thesis Title: ”Design and Implementation of an Electronic Shop” Supervisor: Dr. Ghasem Jaberipour

Research Interests

- Logic (Hoare Logic, Separation Logic,Rewriting Logic,Description Logic), Theorem Prov-ing, Machine Code Verification, Process Algebra, Actor-based Models

- Security, Self-* Systems, Component-based Systems - Supervisory Control Theory, Program Synthesis - Graph Transformation Systems

- Runtime Verification

Publications

Journal Papers

1. N. Khakpour and S. Jalili, ”Verification of Distributed Firewalls Configuration vs. Se-curity Policies: A Description Logic Approach,” Applied Artificial Intelligence, vol.23, no.10, pp. 945-975, 2009, Taylor & Francis.

2. N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, and M. Mousavi, ”Formal Modeling of Evolving Self-Adaptive Systems,” Science of Computer Programming, vol. 78, no. 1, pp. 3-26, 2012, Elsevier.

3. 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, vol. 85, no. 12, pp. 27702784, 2012, Elsevier.

Conference Papers

1. N. Khakpour, M. Sirjani, U. Goltz, “Context-Based Behavioral Equivalence of Com-ponents 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.

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.

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.

4. M. Khaksar, S. Jalili, and N. Khakpour, ”Monitoring Safety Properties of Compos-ite Web Services at Runtime Using CSP,” In Proceedings of the Middleware for Web Services Workshop at 13th International IEEE EDOC Conference (MWS 2009), Auck-land, New ZeaAuck-land, 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 Confer-ence, 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,

Pending Papers

1. M. Dam, R. Guanciale, N. Khakpour, H. Nemati, O. Schwarz, ” Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel,” submitted. 2. M. Dam, N. Khakpour, O. Schwarz, ”Formal Verification of ARMv7 Security

Proper-ties for User Mode Execution,” in preparation for submission.

3. N. Khakpour, E. Rutten, F. Arbab, “Safe Structural Adaptation Using Supervisory Control Theory,” Submitted.

4. N. Khakpour, F. Arbab, J. Kleijn, M. Sirjani, “Dynamic Model Construction of Self-Adaptive Systems,” Submitted.

5. B. Abolhasanzadeh, S. Jalili, N. Khakpour, ”Toward Modeling and Runtime Verifica-tion of Self-Organizing Systems,” revised.

6. N. Khakpour, S. Jalili, M. Sirjani, “An Algebraic Approach for Runtime Verification of Self-Adaptive Systems”, Submitted.

Technical Reports

1. N. Khakpour, “A Formal Model to Develop and Verify Self-Adaptive Systems,” Doc-toral 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 Ecosys-tems,” 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.

Professional Activities

Postdoctoral Researcher (April 2012-)

School of Communication and Computer Science, KTH the Royal Institute of Technology, Stockholm, Sweden, .

Researcher (November 2010-May 2011)

Institute for Programming and Reactive Systems, Technical University of Braunschweig, Germany.

Researcher (February 2009 - June 2009)

Iran Telecommunication Research Center(Tehran)

Researcher: ”A Service-oriented Architecture based on Public Key Infrastructure”

Talks

• Thomas A. Henzinger’s Group, Institute of Science and Technology (IST), Austria, November 2011.

• Institute for Programming and Reactive Systems, Technical University of Braun-schweig, Germany, May 2010.

Honors and Grants

• Research Fellowship from NTH School for IT Ecosystems, Germany, November 2010-May 2011.

• Best PhD Defense Award, Doctoral Symposium of 16th International Symposium on Formal Methods, 2009.

• Travel Grant to attend 16th International Symposium on Formal Methods, 2009. • Graduated among top three in Computer Engineering, M.Sc. program, 2005. • Grant form Iran Telecommunication Research Center for MSc thesis.

• Graduated among top five in Computer Engineering, B.Sc. program, 2002.

• Ranked 236th among 100,000 students in the Nationwide Examination for Undergrad-uate Admissions in the Public Universities, Iran, 1998.

• 4th place of National Mathematics Olympiad, Chahar-mahal Province, Iran, 1995.

MSc Students

Adam Renberg KTH Stockholm, 2012 (Supervisor)

PC member

2013 Fundamentals of Software Engineering, FSEN’2013.

External Review

2013 VMCAI’13

2012 ICFEM’12, FOCLASA’12

2011 FACS’11, Coordination’11, CSSE’11, FMICS’11, ICFEM’11 2010 FACS’10, Coordination’10, FOLCASA’10, ICFEM’10, ICTAC’10 2009 FACS’09

Skills

Tools: Hol4, Maude,µCRL2, Spin, UPPAL, Modere

Programming Languages: SML, Java, AspectJ, C-sharp

Database: MS SQL Server

Development Tools: Eclipse, MS Visual Studio .NET 2005/2003

Work Experience

Designer and Developer (November 2005 - September 2006)

ITOrbit (Fatemi Street, Tehran)

Designer and Developer: Cost Accounting System Designer and Developer: Inventory System Researcher: Modeling ERP Systems

System Analyst and Designer(November 2003 - June 2005)

ISIRAN Company (Aghdasiyeh, No-bonyad Square, Tehran)

System Analyst: Strategic Planning for the General Inspection Organization of Iran Designer: Design and Implementation of Sample System

Researcher (May 2003 - September 2003)

Azad University of Majlesi(Majlesi town, Isfahan) Researcher: Face recognition

Researcher: Designing a Video Compressor based on 3D wavelet projects

Researcher (June 2002 - November 2002)

Laser Research Institute(Shahid Beheshti University, Tehran)

Researcher: ”3D-Digitizer : Extraction of 3-D Information and Texture of Objects Using Optical Spectra”

References

• Marjan SirjaniAssociate Professor at School of Computer Science, Reykjavik Uni-versity

http://www.ru.is/faculty/marjan/ Email: marjan@ru.is

• MohammadReza MousaviProfessor at Halmstad University, Halmstad, Sweden http://www.win.tue.nl/ mousavi/ Email: m.r.mousavi@tue.nl

• Mads DamProfessor at KTH Stockholm, Sweden http://www.csc.kth.se/ mfd/ Email: mfd@kth.se

• Carolyn Talcott Senior Computer Scientist at Computer Science Laboratory, SRI, Menlo Park, California

http://blackforest.stanford.edu/clt/ Email: clt@cs.stanford.edu

• Saeed JaliliAssociate Professor at Faculty of Electrical and Computer Engineering, Tarbiat Modares University, Tehran

http://www.modares.ac.ir/en/Schools/ece/academic-staff/~sjalili Email: sjalili@modares.ac.ir