1
Publications
22
Citations
1
H-Index
2019
Active since
Affiliations
Simin Oraee is an author at Max Planck Institute for Software Systems specializing in formal methods, parallel programming, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingDistributed Systems
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1