Concepedia

Fawzi Hassaïne

FH

2

Publications

78

Citations

2

H-Index

2006

Active since

Affiliations

Concordia University(Current)

Defence Research and Development Canada

Fawzi Hassaïne is an author at Concordia University specializing in formal methods, automated reasoning, and system software.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2006–2007

2

Publications

2

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

Yosr Jarraya, Andrei Soeanu, Mourad Debbabi et al. · 2007 · 42 citations

Engineering, Verification, Computer-aided Verification +21

A unified approach for verification and validation of systems and software engineering models

Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne et al. · 2006 · 36 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–2 of 2