Algorithmic and visual analysis of spatiotemporal stops in movement data
- Peter Bak
- Eli Packer
- et al.
- 2012
- SIGSPATIAL GIS 2012
Publications
7 results for Dolev Dotan
Generic approach for systems design optimization in MBSE
- Henry Broodney
- Dolev Dotan
- et al.
- 2012
- INCOSE-EuSEC 2012
Extending a model-driven engineering environment to support product line engineering
- Dolev Dotan
- Tomer Amarilio
- et al.
- 2010
- ECMFA 2010
Implementing code-level product lines by utilizing generic variability services
- Itay Maman
- Tomer Amarilio
- et al.
- 2010
- SPLC 2010
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
- Ryo Kawahara
- Hiroaki Nakamura
- et al.
- 2009
- MBSE 2009
Debugging and testing behavioral UML models
- Dolev Dotan
- Andrei Kirshin
- 2007
- OOPSLA 2007
The seventh layer of the clinical-genomics information infrastructure
- Amnon Shabo
- Dolev Dotan
- 2007
- IBM Systems Journal