Language-Based Technology

  1. 2012
  2. 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-reviewJournal article – Annual report year: 2012

  3. Published

    Static Analysis of IMC. / Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 522-540.

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

  4. 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-reviewJournal article – Annual report year: 2012

  5. Published

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

    In: Lecture Notes in Computer Science, Vol. 7148, 2012, p. 396-411.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  6. Published

    Theory of Security and Applications : Joint Workshop, TOSCA 2011 Saarbrücken, Germany, March 31 - April 1, 2011 Revised Selected Papers. / Mödersheim, Sebastian Alexander (Editor); Palamidessi, Catuscia (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 6993).

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

  7. 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: ResearchReport – Annual report year: 2012

  8. 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: ResearchReport – Annual report year: 2012

  9. 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: ResearchReport – Annual report year: 2012

  10. 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 : Technical University of Denmark, DTU Informatics, Building 321, 2012. 58 p. (IMM-Technical Report-2012; No. 02).

    Publication: ResearchReport – Annual report year: 2012

  11. 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: ResearchPh.D. thesis – 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