Publications<\/h2>\nPaper<\/h3>\n\n- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “Combining static analysis and runtime checking in security aspects for distributed tuple spaces”, In Proceeding of the 13th International Conference on Coordination Models and Languages (COORDINATION’11), June 6-8 2011. to appear. PDF<\/a><\/li>\n
- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security Aspects with Program Analysis for Distributed Systems”, In Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), pp.27-31, March 16, 2010<\/li>\n<\/ul>\n
Demos<\/h3>\n\n- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security aspects with program analysis for distributed systems”, Demonstration presentation at Aspect-Oriented Software Development (AOSD’10), 17 and 18 March 2010<\/li>\n<\/ul>\n
AspectKE* compiler suite (source code and sample programs)<\/h2>\n
- \n
- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “Combining static analysis and runtime checking in security aspects for distributed tuple spaces”, In Proceeding of the 13th International Conference on Coordination Models and Languages (COORDINATION’11), June 6-8 2011. to appear. PDF<\/a><\/li>\n
- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security Aspects with Program Analysis for Distributed Systems”, In Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), pp.27-31, March 16, 2010<\/li>\n<\/ul>\n
Demos<\/h3>\n
- \n
- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security aspects with program analysis for distributed systems”, Demonstration presentation at Aspect-Oriented Software Development (AOSD’10), 17 and 18 March 2010<\/li>\n<\/ul>\n
AspectKE* compiler suite (source code and sample programs)<\/h2>\n
- Fan Yang, Hidehiko Masuhara<\/a>, Tomoyuki Aotani<\/a>, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security Aspects with Program Analysis for Distributed Systems”, In Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), pp.27-31, March 16, 2010<\/li>\n<\/ul>\n
![\"file\"](\"image\/file.png\")
aspectklava-2011-03-27.zip<\/a><\/li>\n