International Conference and Workshop Publications

  • Monitoring Multi-Threaded Component-Based Systems.
    H. Nazarpour, Y. Falcone, S. Bensalem, M. Bozga, J. Combaz.
    In iFM 2016, the 12th international conference on integrated Formal Methods.
    Pre-print (conference version without proofs). See the associated technical report here.
  •