1. 2013
  2. Published

    On Building Secure Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W. (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2013. 139 p. (PHD-2013; No. 313).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  3. Published

    On the relationship between LTL normal forms and Büchi automata. / Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  4. Published

    Predictive access control for distributed computation. / Yang, Fan; Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.

    In: Science of Computer Programming, Vol. 78, No. 9, 2013, p. 1264-1277.

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

  5. Published

    Probabilistic Analysis of the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer, 2013. p. 258-272 (Lecture Notes in Computer Science, Vol. 7892).

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

  6. Published

    Reachability-based impact as a measure for insiderness. / Probst, Christian W.; Hansen, René Rydhof.

    In: Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications, Vol. 4, No. 4, 2013, p. 38-48.

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

  7. Published

    Reachability for Finite-state Process Algebras Using Horn Clauses. / Skrypnyuk, Nataliya; Nielson, Flemming.

    In: International Journal of Foundations of Computer Science, Vol. 24, No. 2, 2013, p. 283-302.

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

  8. Published

    Revisiting Weak Simulation for Substochastic Markov Chains. / Jansen, David N.; Song, Lei; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 209-224 (Lecture Notes in Computer Science, Vol. 8054).

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

  9. Published

    Safety versus Security in the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 285-303 (Lecture Notes in Computer Science, Vol. 8051).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  10. Published

    Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. / Nielson, Hanne Riis (Editor); Gollmann, Dieter (Editor).

    Springer, 2013. (Lecture Notes in Computer Science, Vol. 8208).

    Publication: ResearchBook – Annual report year: 2013

  11. Published

    Security Games for Cyber-Physical Systems. / Vigo, Roberto; Bruni, Alessandro; Yuksel, Ender.

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Springer, 2013. p. 17-32 (Lecture Notes in Computer Science, Vol. 8208).

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

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word