Envisage Publications 2013

2013 Publications

Conferences and Workshops

  • E. Albert, F. de Boer, R. Hähnle, E. B. Johnsen, C. Laneve: Engineering Virtualized Services. In: Proc. 2nd Nordic Symposium on Cloud Computing & Internet Technologies (NordiCloud 2013). ACM Press 2013. (T5.4, T5.5)
    pointing_finger
    DOI: 10.1145/2513534.2513545. Download a preprint.
  • E. Albert, A. Flores-Montoya, S. Genaim, and E. Martin-Martin. Termination and cost analysis of loops with concurrent interleavings. In D. Van Hung and M. Ogawa, editors, Proc. 11th Intl. Symp. on Automated Technology for Verification and Analysis (ATVA). LNCS 8172, pages 349–364. Springer, October 2013.
    pointing_finger
    DOI: 10.1007/978-3-319-02444-8_25. Download a preprint.
  • E. Albert, S. Genaim, and E. Martin-Martin. May-Happen-in-Parallel Analysis for Priority-based Scheduling. In K. McMillan, A. Middeldorp, and A. Voronkov, editors, Proc. 19th Intl. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). LNCS 8312, pages 18–34. Springer, December 2013.
    pointing_finger
    DOI: 10.1007/978-3-642-45221-5_2. Download a preprint.
  • D. Alonso, P. Arenas, and S. Genaim. Precise cost analysis via local reasoning. In D. Van Hung and M. Ogawa, editors, Proc. 11th Intl. Symp. on Automated Technology for Verification and Analysis (ATVA). LNCS 8172, pages 319–333. Springer, October 2013.
    pointing_finger
    DOI: 10.1007/978-3-319-02444-8_23. Download a preprint.