1. 2015
  2. 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

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

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

  5. Published

    Alice and Bob: Reconciling Formal Models and Implementation. / Almousa, Omar; Mödersheim, Sebastian Alexander; Viganò, Luca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, 2015. p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

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

  6. Published

    A Probabilistic Analysis Framework for Malicious Insider Threats. / Chen, Taolue ; Kammuller, Florian; Nemli, Ibrahim ; Probst, Christian W.

    Proceedings of the third International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2015). ed. / Theo Tryfonas; Ioannis Askoxylakis. Springer, 2015. p. 178-189 (Lecture Notes in Computer Science, Vol. 9190).

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

  7. Published

    A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. / Wu, Xi; Nielson, Hanne Riis; Zhu, Huibiao.

    Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE 2015). IEEE, 2015. p. 23-30.

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

  8. Published

    A Scalable Prescriptive Parallel Debugging Model. / Jensen, Nicklas Bo; Quarfot Nielsen, Niklas ; Lee, Gregory L.; Karlsson, Sven ; Legendre, Matthew ; Schulz, Martin; Ahn, Dong H.

    Proceedings of the 29th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2015). IEEE, 2015. p. 473-483.

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

  9. Published

    Attack Tree Generation by Policy Invalidation. / Ivanova, Marieta Georgieva; Probst, Christian W.; Hansen, Rene Rydhof; Kammuller, Florian.

    Proceedings of the 9th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2015. ed. / Raja Naeem Akram; Sushil Jajodia. Springer, 2015. p. 249-259 (Lecture Notes in Computer Science, Vol. 9311).

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

  10. Published

    Availability by Design : A Complementary Approach to Denial-of-Service. / Vigo, Roberto; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 190 p. (DTU Compute PHD-2014; No. 353).

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

  11. Published

    AVOCLOUDY: a simulator of volunteer clouds. / Sebastio, Stefano; Amoretti, Michele; Lluch Lafuente, Alberto.

    In: Software: Practice & Experience, Vol. 46, No. 1, 2015, p. 3-30.

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

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