Nadia Belblidia

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009
lambda_SAOP: A Security AOP Calculus.
Comput. J., 2009

The dataflow pointcut: a formal and practical framework.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2007
A Dynamic Operational Semantics for JVML.
J. Object Technol., 2007

An AOP Extended Lambda-Calculus.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006
Formalizing AspectJ Weaving for Static Pointcuts.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Security crosscutting concerns and AspectJ.
Proceedings of the 2006 International Conference on Privacy, 2006

Towards a Formal Semantics for AspectJ Weaving.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

AOP Extension for Security Testing of Programs.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006


  Loading...