Faculty profile
Hasan Ural
Back to facultyResearch
Read how they describe their research on their University of Ottawa profile.
Latest funding
- $88,000
Formal Approaches to Model Based Testing
NSERC · 2016 · Principal investigator
- $175,000
Formal methods for testing state-based systems
NSERC · 2009 · Principal investigator
- $215,000
Validation and synthesis of distributed systems
NSERC · 2003 · Principal investigator
No publications available.
Formal Approaches to Model Based Testing
Principal investigators: Ural, Hasan
Formal methods for testing state-based systems
Principal investigators: Ural, Hasan
Validation and synthesis of distributed systems
Principal investigators: Ural, Hasan
Formal techniques for Telecommunications Software Design and Validation
Principal investigators: Ural, Hasan
Computing facility for the Telecommunications Software Engineering Research Group
Principal investigators: Logrippo, Luigi
Formal techniques for distributed system validation
Principal investigators: Ural, Hasan
Formal methods for communications software development
Principal investigators: Ural, Hasan
Testability-directed formal specifications and designs of communicating processes
Principal investigators: Probert, Robert
Formal methods for validation of distributed systems
Principal investigators: Ural, Hasan
UNIX and VMS support personnel
Principal investigators: Matwin, Stan
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 26, 2026 from the university directory, publication records and CIHR, NSERC and SSHRC funding.