Nadia Belblidia

According to our database, Nadia Belblidia authored at least 9 papers between 2006 and 2010.

Collaborative distances:

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

2010

Security Evaluation and Hardening of Free and Open Source Software (FOSS).

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

lambda_SAOP: A Security AOP Calculus.

Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya

Comput. J., 2009

The dataflow pointcut: a formal and practical framework.

Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2007

A Dynamic Operational Semantics for JVML.

Nadia Belblidia, Mourad Debbabi

J. Object Technol., 2007

An AOP Extended Lambda-Calculus.

Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Formalizing AspectJ Weaving for Static Pointcuts.

Nadia Belblidia, Mourad Debbabi

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Security crosscutting concerns and AspectJ.

Dima Alhadidi, Nadia Belblidia, Mourad Debbabi

Proceedings of the 2006 International Conference on Privacy, 2006

Towards a Formal Semantics for AspectJ Weaving.

Nadia Belblidia, Mourad Debbabi

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

AOP Extension for Security Testing of Programs.

Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006