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

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

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

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

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

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

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

  9. Published

    Awareness and Control in Adaptable Transition Systems. / Bruni, Roberto; Corradini, Andrea ; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15). ed. / Daniel Moldt ; Heiko Rölke; Harald Störrle. 2015. p. 19-21 (CEUR Workshop Proceedings, Vol. 1372).

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

  10. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

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

  11. Published

    Declarative interpretations of session-based concurrency. / Cano , Mauricio ; Rueda, Camilo ; López-Acosta, Hugo-Andrés; Pérez, Jorge A. .

    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15). Association for Computing Machinery, 2015. p. 67-78.

    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