Language-Based Technology

  1. 2012
  2. Published

    Fixpoints vs Moore Families. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    2012. Poster session presented at 38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum, Špindlerův Mlýn, Czech Republic.

    Publication: Research - peer-reviewPoster – Annual report year: 2012

  3. Published

    Fixpoints vs Moore Families. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of SOFSEM 2011. 2012.

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

  4. Published

    Model Checking as Static Analysis: Revisited. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 9th International Conference, IFM 2012 Pisa, Italy, June 18-21, 2012 Proceedings. Springer, 2012. p. 99-112 (Lecture Notes in Computer Science; No. 7321).

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

  5. Published

    Key Update Assistant for Resource-Constrained Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    2012 IEEE Symposium on Computers and Communications (ISCC). IEEE, 2012. p. 000075-000081 (I E E E International Symposium on Computers and Communications).

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

  6. Published

    LBTool: A stochastic toolkit for leave-based key updates. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming; Nielsen, Bo Friis.

    2012 IEEE Symposium on Computers and Communications. IEEE, 2012. p. 868-875.

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

  7. Published

    Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. / Yuksel, Ender; Zhu, Huibiao ; Nielson, Hanne Riis; Huang, Heqing; Nielson, Flemming.

    2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. p. 25-32.

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

  8. Published

    The Cyber-Physical Attacker. / Vigo, Roberto.

    Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE Magdeburg, Germany, September 25-28, 2012 Proceedings. Springer, 2012. p. 347-356 (Lecture Notes in Computer Science, Vol. 7613).

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

  9. Published

    Recursive Advice for Coordination. / Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.

    Coordination Models and Languages: 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings. ed. / Marjan Sirjani. 2012. p. 137-151 (Lecture Notes in Computer Science; No. 7274).

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

  10. Published

    The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer, 2012. p. 205-222 (Lecture Notes in Computer Science, Vol. 7253).

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

  11. Published

    A Move in the Security Measurement Stalemate: Elo-Style Ratings to Quantify Vulnerability. / Pieters, Wolter; van der Ven, Sanne H.G.; Probst, Christian W.

    Proceedings of the 2012 workshop on New security paradigms. Association for Computing Machinery, 2012. p. 1-14.

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

Previous 1 2 3 4 5 6 7 8 ...17 Next
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