Language-Based Technology
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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