1. Cooperative Runtime Monitoring of LTL Interface ContractsSylvain HalléUniversité du Québec à Chicoutimi CANADA Fonds de recherchesur la natureet les technologies NSERCCRSNGSylvain…