Papers

Diogenes

honesty

CO2

contract-oriented middleware

  • Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, and Livio Pompianu.
    In Proc. FACS 2015. pdf here.