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)
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.
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.
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.
DOI: 10.1007/978-3-319-02444-8_23. Download a preprint.