Conference proceedings

  • C. Fabre, I. Bacivarov, A. Basu, M. Ruggiero, D. Atienza, E. Flamand, J.-P. Krimm, J. Mottin, L. Schor, P. Kumar, H. Yang, D. Chokshi, L. Thiele, S. Bensalem, M. Bozga and M. Sabry,”PRO3D, Programming for Future 3D Manycore Architectures: Status After 24 Months,” in Proc. International Symposium on Formal Methods for Components and Objects (FMCO) 2011, Turin, Italy. [link]
  • L. Schor, H. Yang, I. Bacivarov, and L. Thiele, ”Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems,”, Lecture Notes on Computer Science (LNCS), in Proc. International Symposium on Formal Methods for Components and Objects (FMCO) 2011, Turin, Italy.[link]
  • L. Schor, H. Yang, I. Bacivarov, and L. Thiele, ”Worst-Case Temperature Analysis for Different Resource Availabilities: A Case Study,” Proc. PATMOS, September, 2011. [link]
  • L. Thiele, L. Schor, H. Yang, and I. Bacivarov, “Thermal-Aware System Analysis and Software Synthesis for Embedded Multi-Processors,” Proc. Design Automation Conference (DAC), ACM, San Diego, California, USA, June, 2011. [link]
  • D. Rai, H. Yang, I. Bacivarov, J.-J. Chen, and L. Thiele, “Worst-Case Temperature Analysis for Real-Time Systems,” in Proceedings of the 2011 IEEE/ACM Design Automation and Test in Europe (DATE), pp. 1-6, Mar. 2011. [link]