1. 2016
  2. Published

    Statistical Model Checking for Product Lines. / ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea.

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Vol. 9952 Springer, 2016. p. 114-33 (Lecture Notes in Computer Science).

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

  3. Published

    The attack navigator. / Probst, Christian W.; Willemson, Jan; Pieters, Wolter.

    Revised Selected Papers from the 2nd International Workshop on Graphical Models for Security (GraMSec 2015). Springer, 2016. (Lecture Notes in Computer Science, Vol. 9390).

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

  4. Published

    The Navigation Metaphor in Security Economics. / Pieters, Wolter; Barendse, Jeroen; Ford, Margaret; Heath, Claude P. R.; Probst, Christian W.; Verbij, Ruud.

    In: I E E E Security & Privacy Magazine, Vol. 14, No. 3, 2016, p. 14-21.

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

  5. Published

    Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. / Margheri, Andrea; Nielson, Hanne Riis; Nielson, Flemming; Pugliese, Rosario.

    Leveraging Applications of Formal Methods, Verification and Validation. Foundational Techniques: Proceedings. Part 1. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2016. p. 554-569 (Lecture Notes in Computer Science, Vol. 9952).

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

  6. Published

    Towards Unifying OpenMP Under the Task-Parallel Paradigm Implementation and Performance of the taskloop Construct. / Podobas, Artur; Karlsson, Sven .

    OpenMP: Memory, Devices, and Tasks . Vol. 9903 Springer, 2016. p. 116-129 (Lecture Notes in Computer Science, Vol. 9903).

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

  7. Published

    Transforming Graphical System Models to Graphical Attack Models. / Ivanova, Marieta Georgieva; Probst, Christian W.; Hansen, Rene Rydhof; Kammüller, Florian.

    Revised Selected Papers from the 2nd International Workshop on Graphical Models for Security (GraMSec 2015). Springer, 2016. p. 82-96 (Lecture Notes in Computer Science, Vol. 9390).

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

  8. Published

    Understanding How Components of Organisations Contribute to Attacks. / Gu, Min; Aslanyan, Zaruhi; Probst, Christian W.

    Proceedings of the 21st Nordic Conference on Secure IT Systems (NordSec 2016). Springer, 2016. p. 54-66 (Lecture Notes in Computer Science, Vol. 10014).

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

  9. 2015
  10. Published

    A calculus for attribute-based communication. / Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto.

    Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC '15). Association for Computing Machinery, 2015. p. 1840-1845.

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

  11. Published

    A calculus of quality for robustness against unreliable communication. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

    In: The Journal of Logic and Algebraic Programming, Vol. 84, No. 5, 2015, p. 611-639.

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

  12. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

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