Nadia Belblidia

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2010
j3		Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang: Security Evaluation and Hardening of Free and Open Source Software (FOSS). ECEASST 33 (2010)
	2009
j2		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: lambda_SAOP: A Security AOP Calculus. Comput. J. 52(7): 824-849 (2009)
c6		Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: The dataflow pointcut: a formal and practical framework. AOSD 2009: 15-26
	2007
j1		Nadia Belblidia, Mourad Debbabi: A Dynamic Operational Semantics for JVML. Journal of Object Technology 6(3): 71-100 (2007)
c5		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: An AOP Extended Lambda-Calculus. SEFM 2007: 183-194
	2006
c4		Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang: AOP Extension for Security Testing of Programs. CCECE 2006: 647-650
c3		Nadia Belblidia, Mourad Debbabi: Towards a Formal Semantics for AspectJ Weaving. JMLC 2006: 155-171
c2		Dima Alhadidi, Nadia Belblidia, Mourad Debbabi: Security crosscutting concerns and AspectJ. PST 2006: 45
c1		Nadia Belblidia, Mourad Debbabi: Formalizing AspectJ Weaving for Static Pointcuts. SEFM 2006: 50-59

Coauthor Index

Last update Mon May 20 16:03:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page