conf.researchr.org / Chaima Boufaied
![Chaima Boufaied](https://conf.researchr.org/getProfileImage/chaimaboufaied/8b39131a-3345-4d92-aa21-9f6225482aa0/small.jpg?1712728752000)
Registered user since Thu 21 Apr 2022
Name:Chaima Boufaied
Country:Canada
Affiliation:University of Ottawa
X (Twitter): https://x.com/ChaimaBoufaied2
Research interests:Trace checking, runtime verification, specification and verification of temporal properties, machine learning
Contributions