Flemming Nielson

  1. 2014
  2. Published

    Availability by Design. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 277-278 (Lecture Notes in Computer Science; No. 8788).

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

  3. Published

    Denial-of-Service Security Attack in the Continuous-Time World. / Wang, Shuling ; Nielson, Flemming; Nielson, Hanne Riis.

    Formal Techniques for Distributed Objects, Components, and Systems. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 149-165 (Lecture Notes in Computer Science, Vol. 8461).

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

  4. Published

    Formal Security Analysis of the MaCAN Protocol.. / Bruni, Alessandro; Sojka, Michal; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014. ed. / Elvira Albert; Emil Sekerinski. Springer, 2014. p. 241-255 (Lecture Notes in Computer Science, Vol. 8739).

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

  5. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  6. Published

    Pareto Efficient Solutions of Attack Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 279-280 (Lecture Notes in Computer Science; No. 8788).

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

  7. Published

    Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing.

    In: International Journal on Software Tools for Technology Transfer, Vol. 16, No. 4, 2014, p. 421-435.

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

  8. Published

    The Guided System Development Framework: Modeling and Verifying Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2014. p. 509-523 (Lecture Notes in Computer Science, Vol. 8803).

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

  9. Published

    The logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    In: Science of Computer Programming, Vol. 83, 2014, p. 80-105.

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

  10. Published

    The stochastic quality calculus. / Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages. Proceedings. ed. / Eva Kühn; Rosario Pugliese. Springer, 2014. p. 179-193 (Lecture Notes in Computer Science, Vol. 8459).

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

  11. Published

    Uniform Protection for Multi-exposed Targets. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Formal Techniques for Distributed Objects, Components, and Systems. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 182-198 (Lecture Notes in Computer Science, Vol. 8461).

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

Previous 1 2 3 4 5 6 7 8 ...23 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