1. 2018
  2. Accepted/In press

    A framework for quantitative modeling and analysis of highly (re)configurable systems. / ter Beek, Maurice H. ; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea.

    In: I E E E Transactions on Software Engineering, 2018.

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

  3. Published

    Aggregation Policies for Tuple Spaces. / Kaminskas, Linas; Lluch Lafuente, Alberto.

    COORDINATION 2018: Coordination Models and Languages . Springer, 2018. p. 181-199 (Lecture Notes in Computer Science, Vol. 10852).

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

  4. Published

    A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds. / Sebastio, Stefano; Amoretti, Michele; Lluch Lafuente, Alberto; Scala, Antonio.

    In: A C M Transactions on Modeling and Computer Simulation, Vol. 28, No. 2, Article No. 14 , 2018, p. 1-27.

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

  5. Published

    Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. / Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares .

    Proceedings of 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, 2018. p. 302-5.

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

  6. Published

    QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. / Vandin, Andrea; Ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto.

    Formal Methods. ed. / Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink. Springer, 2018. p. 329-337 (Lecture Notes in Computer Science, Vol. 10951).

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

  7. Published
  8. Published

    Secure information release in timed automata. / Vasilikos, Panagiotis; Nielson, Flemming; Nielson, Hanne Riis.

    POST 2018: Principles of Security and Trust. Springer, 2018. p. 28-52 (Lecture Notes in Computer Science, Vol. 10804).

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

  9. Published

    Star-Topology Decoupling in SPIN. / Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto; Hoffmann, Jorg .

    SPIN 2018: Model Checking Software. Springer, 2018. p. 103-114.

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

  10. 2017
  11. Published

    Content dependent information flow control. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 01.02.2017, p. 6-32.

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

  12. Published

    A coordination language for databases. / Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

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

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