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

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

  4. Published

    Set-Pi: Set Membership pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF 2015). IEEE, 2015. p. 185-198 (I E E E Computer Security Foundations Symposium. Proceedings).

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

  5. Published

    Statistical analysis of probabilistic models of software product lines with quantitative constraints. / Beek, M.H. ter ; Legay, A. ; Lluch Lafuente, Alberto; Vandin, A. .

    Proceedings of the 19th International Conference on Software Product Line (SPLC '15). Association for Computing Machinery, 2015. p. 11-15.

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

  6. Published

    Stochastic Model Checking of the Stochastic Quality Calculus. / Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin.

    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. 522-537 (Lecture Notes in Computer Science, Vol. 8950).

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

  7. Published

    Systematic derivation of correct variability-aware program analyses. / Midtgaard, Jan; Dimovski, Aleksandar S.; Brabrand, Claus; Wasowski, Andrzej.

    In: Science of Computer Programming, Vol. 105, 2015, p. 145-170.

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

  8. Published

    The SCEL Language: Design, Implementation, Verification. / Rocco De Nicola, Rocco x; Latella, Diego ; Lluch Lafuente, Alberto; Loreti, Michele ; Margheri, Andrea Margheri; Massink, Mieke ; Morichetta, Andrea ; Pugliese, Rosario ; Tiezzi, Francesco ; Vandin, Andrea .

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, 2015. p. 3-71 (Lecture Notes in Computer Science, Vol. 8998).

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

  9. Published

    Tool-based Risk Assessment of Cloud Infrastructures as Socio-Technical Systems. / Nidd, Michael ; Ivanova, Marieta Georgieva; Probst, Christian W.; Tanner, Axel.

    The Cloud Security Ecosystem: Technical, Legal, Business and Management Issues. Elsevier Science, 2015. p. 495-517.

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

  10. Published

    Typing and compositionality for security protocols: A generalization to the geometric fragment. / Almousa, Omar; Mödersheim, Sebastian Alexander; Modesti, Paolo; Viganò, Luca.

    Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015): Part II. ed. / Günther Pernul; Peter Y. A. Ryan; Edgar Weippl. Springer, 2015. p. 209-229 (Lecture Notes in Computer Science, Vol. 9327).

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

  11. Published

    Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version). / Almousa, Omar; Mödersheim, Sebastian Alexander; Modesti, Paolo ; Viganò, Luca.

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 26 p. (DTU Compute-Technical Report-2015; No. 3).

    Publication: ResearchReport – Annual report year: 2015

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