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