Safouan Taha

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (2 times)
  • T5C: Testing (2 times)
  • T4A: Workbenches (2 times)
• Top coauthor:
  • Bilal Kanso (2 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2012) Coauthored Temporal Constraint Support for OCL (Bilal Kanso, Safouan Taha)
• (SLE 2012 SI) Coauthored Specification of temporal properties with OCL (Bilal Kanso, Safouan Taha)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.