Fan Yang

  1. 2013
  2. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  3. 2011
  4. Published

    Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. / Yang, Fan; Aotani, Tomoyuki; Masuhara, Hidehiko; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings. Vol. 6721 Springer, 2011. p. 202-218 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  5. 2010
  6. Published

    AspectKE* : Security Aspects with Program Analysis for Distributed Systems. / Yang, Fan; Masuhara, Hidehiko; Aotani, Tomoyuki; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10). ed. / Bram Adams; Michael Haupt; Daniel Lohmann. Universitätsverlag Potsdam, 2010. p. 27-31 (Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; No. 33).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  7. Published

    AspectKE*:Security Aspects with Program Analysis for Distributed Systems. / Yang, Fan (Author); Masuhara, Hidehiko (Author); Aotani, Tomoyuki (Author); Nielson, Flemming (Author); Nielson, Hanne Riis (Author).

    2010. Demonstration track of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), Rennes and Saint Malo, France : .

    Publication: ResearchInteractive production – Annual report year: 2010

  8. Published

    Aspects with Program Analysis for Security Policies. / Yang, Fan; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. (IMM-PHD-2010-239).

    Publication: ResearchPh.D. thesis – Annual report year: 2010

  9. 2008
  10. Published

    Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.

    10th international conference on Coordination Models and Languages (Coordination'08). ed. / Doug Lea; Gianluigi Zavattaro. Germany : Springer, 2008. p. 153-168 (Lecture Notes in Computer Science; No. 5052).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  11. 2007
  12. Published

    Analyzing the Control Structure of PEPA. / Yang, Fan; Nielson, Hanne Riis.

    2007. Poster session presented at The 14th International Static Analysis Symposium (SAS 2007), Lyngby, Denmark, .

    Publication: ResearchPoster – Annual report year: 2007

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word