Language-Based Technology

1 - 25 out of 167Page size: 25
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. Published

    A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.

    In: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 Proceedings. Springer, 2012. p. 396-411 (Lecture Notes in Computer Science; No. 7148).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  3. 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.

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  4. Published

    A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).

    Publication: Research › Ph.d. thesis – Annual report year: 2012

  5. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    In: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  6. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    Technical University of Denmark, 2012. 24 p. (IMM-Technical Report-2012; No. 06).

    Publication: Research › Report – Annual report year: 2012

  7. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    In: Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 127-144 (Lecture Notes in Computer Science, Vol. 7459).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  8. Published

    Distributed security in closed distributed systems. / Hernandez, Alejandro Mario; Nielson, Flemming (Main supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2012. 198 p. (IMM-PHD-2012; No. 274).

    Publication: Research › Ph.d. thesis – Annual report year: 2012

  9. Published

    Efficient CSL Model Checking Using Stratification. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    In: Logical Methods in Computer Science, Vol. 8, No. 2, 2012, p. Paper 17.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  10. Published

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

    In: Proceedings of SOFSEM 2011. 2012.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  11. 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-review › Poster – Annual report year: 2012

  12. Published

    Flow Logic for Process Calculi. / Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik.

    In: A C M Computing Surveys, Vol. 44, No. 1, 2012, p. Article No. 3.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  13. Published

    From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.

    In: Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer, 2012. p. 74-89 (Lecture Notes in Computer Science; No. 7000).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  14. Published

    Globally reasoning about localised security policies in distributed systems. / Hernandez, Alejandro Mario.

    Kgs. Lyngby : Technical University of Denmark, 2012. 45 p. (IMM-Technical Report-2012; No. 11).

    Publication: Research › Report – Annual report year: 2012

  15. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2012

  16. Published

    Layered Fixed Point Logic. / Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis.

    In: Proceedings of the 14th symposium on Principles and practice of declarative programming. Association for Computing Machinery, 2012. p. 45-54.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  17. Published

    Lazy Mobile Intruders. / Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Kgs. Lyngby : Technical University of Denmark, 2012. 20 p. (IMM-Technical Report-2012; No. 13).

    Publication: Research › Report – Annual report year: 2012

  18. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  19. Published

    Model Checking as Static Analysis. / Zhang, Fuyuan; Nielson, Flemming (Main supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 174 p. (IMM-PHD-2012; No. 280).

    Publication: Research › Ph.d. thesis – Annual report year: 2012

  20. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2012

  21. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  22. Published

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

    Kgs. Lyngby, Denmark : DTU Informatics, 2012. 58 p. (IMM-Technical Report-2012; No. 02).

    Publication: Research › Report – Annual report year: 2012

  23. Published

    Opdagelse og forhindring af insider-trusler. / Probst, Christian W.

    In: It-sikkerhed. Børsen, 2012. (Børsen Ledelseshåndbøger).

    Publication: Research › Book chapter – Annual report year: 2012

  24. Published

    Position paper: A generic approach for security policies composition. / Hernandez, Alejandro Mario; Nielson, Flemming.

    In: PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery, 2012. p. Article No. 5.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  25. Published

    Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. / Probst, Christian W.; Sasse, M. Angela ; Pieters, Wolter; Dimkov, Trajce; Luysterborg, Erik; Arnaud, Michel.

    In: European Data Protection: In Good Health?. Springer, 2012. p. 251-265.

    Publication: Research - peer-review › Book chapter – Annual report year: 2012

  26. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2012

Previous 1 2 3 4 5 6 7 Next
Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN