1. 2015
  2. Published

    Modelling Social-Technical Attacks with Timed Automata. / David, Nicolas ; David, Alexandre; Hansen, Rene Rydhof; Larsen, Kim G.; Legay, Axel; Olesen, Mads Christian; Probst, Christian W.

    Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats (ACM MIST '15). Association for Computing Machinery, 2015. p. 21-28.

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

  3. Published

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

    Principles of Security and Trust: Proceedings of the 4th International Conference, POST 2015. ed. / Riccardo Focardi; Andrew Myers. Springer, 2015. p. 95-114 (Lecture Notes in Computer Science, Vol. 9036).

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

  4. Published

    Preface. / Lluch Lafuente, Alberto; Tuosto, Emilio.

    In: Service Oriented Computing and Applications, Vol. 9, No. 3-4, 2015, p. 211.

    Publication: Research - peer-reviewEditorial – Annual report year: 2015

  5. Published

    Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. / ter Beek, Maurice H. (Editor); Lluch Lafuente, Alberto (Editor).

    2015. (Electronic Proceedings in Theoretical Computer Science).

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

  6. Published

    Proceedings 8th Interaction and Concurrency Experience. / Knight, Sophia (Editor); Lanese, Ivan (Editor); Lluch Lafuente, Alberto (Editor); Torres Vieira, Hugo (Editor).

    2015. (Electronic Proceedings in Theoretical Computer Science).

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

  7. Published

    Protocol-Based Verification of Message-Passing Parallel Programs. / López-Acosta, Hugo-Andrés; Eduardo R. B. Marques, Eduardo R. B.; Martins, Francisco ; Ng, Nicholas ; Santos, César ; Vasconcelos, Vasco Thudichum ; Yoshida, Nobuko .

    Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015. Association for Computing Machinery, 2015. p. 280-298.

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

  8. Published

    Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. / ter Beek, Maurice H. ; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 182, 2015, p. 56-70.

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

  9. Published

    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Hölzl, Matthias; Lluch Lafuente, Alberto; Vandin, Andrea; Wirsing, Martin.

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. ed. / Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer. Springer, 2015. p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

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

  10. Published

    Replica-Based High-Performance Tuple Space Computing. / Andric, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto.

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

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

  11. Published

    Replicating Data for Better Performances in X10. / Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto.

    Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; René Rydhof Hansen; Chris Hankin. Springer, 2015. p. 236-251 (Lecture Notes in Computer Science, Vol. 9560).

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

Previous 1...4 5 6 7 8 9 10 11 ...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