Concepedia

Dolev Dotan

DD

7

Publications

148

Citations

7

H-Index

2005

Active since

Affiliations

IBM Research - Haifa(Current)

IBM (United States)

Dolev Dotan is an author at IBM Research - Haifa specializing in engineering, software analysis, and system software.

Top concepts

EngineeringSystem SoftwareProgram AnalysisSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware Testing

Publications per year

2005–2012

7

Publications

7

Verification of embedded system's specification using collaborative simulation of SysML and simulink models

Ryo Kawahara, Dolev Dotan, Takashi Sakairi et al. · 2009 · 48 citations

Engineering, Hardware Verification Language, Continuous-time Behavior +22

Debugging and testing behavioral UML models

Dolev Dotan, Andrei Kirshin · 2007 · 26 citations

Software Maintenance, Engineering, Ibm Rational +18

HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis

Dolev Dotan, Ron Y. Pinter · 2005 · 18 citations

Engineering, Visual Dataflow, Visual Programming Language +20

A UML simulator based on a generic model execution engine

Andrei Kirshin, Dolev Dotan, Alan Hartman · Model Driven Engineering Languages and Systems · 2006 · 18 citations

Engineering, Software Engineering, Simulation +16

1.6.2 Generic Approach for Systems Design Optimization in MBSE1

Henry Broodney, Dolev Dotan, Lev Greenberg et al. · INCOSE International Symposium · 2012 · 14 citations

Engineering, Multidisciplinary Design Optimization, Architectural Engineering +23

Rows per page

1–5 of 7