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.

    Research output: 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.

    Research output: 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.

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

  5. Published

    Alpha-Beta Privacy. / Mödersheim, Sebastian Alexander; Viganò, Luca.

    DTU Compute, 2018. 46 p.

    Research output: Research - peer-reviewReport – Annual report year: 2018

  6. Published

    A Typing Result for Stateful Protocols. / Hess, Andreas Viktor; Modersheim, Sebastian.

    2018 IEEE 31st Computer Security Foundations Symposium. Vol. 2018-July IEEE, 2018. p. 374-388.

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

  7. Published

    A Typing Result for Stateful Protocols - Extended Version. / Hess, Andreas Viktor; Mödersheim, Sebastian Alexander.

    DTU Compute, 2018. 48 p.

    Research output: Research - peer-reviewReport – Annual report year: 2018

  8. Published

    A Verified Functional Implementation of Bachmair and Ganzinger’s Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy.

    In: Archive of Formal Proofs, 2018.

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

  9. Accepted/In press

    Comparing chemical reaction networks : A categorical and algorithmic perspective. / Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea.

    In: Theoretical Computer Science, 2018.

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

  10. Published

    Differential Equivalence Yields Network Centrality. / Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea.

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Vol. 11246 Springer, 2018. p. 186-201.

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

  11. Published

    Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. / Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea.

    Quantitative Evaluation of Systems . Vol. 11024 Springer, 2018. p. 104-121.

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

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