Concepedia

Samaneh Navabpour

SN

2

Publications

60

Citations

2

H-Index

2013

Active since

Affiliations

University of Waterloo(Current)

Samaneh Navabpour is an author at University of Waterloo specializing in formal methods, formal verification, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisReal-time SystemsSoftware AnalysisFormal VerificationSystems EngineeringSoftware Verification

Publications per year

2013–2013

2

Publications

2

RiTHM: a tool for enabling time-triggered runtime verification for C programs

Samaneh Navabpour, Yogi Joshi, Wallace Wu et al. · 2013 · 37 citations

Time-triggered Runtime Verification, Program Checking, Engineering +23

Time-triggered runtime verification

Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister · Formal Methods in System Design · 2013 · 23 citations

Hardware Security, Time-triggered Runtime Verification, Engineering +11

Rows per page

1–2 of 2