Name:Chaima Boufaied

Country:Canada

Affiliation:University of Ottawa

Research interests:Trace checking, runtime verification, specification and verification of temporal properties, machine learning