Old Web
English
Sign In
Acemap
>
authorDetail
>
Dolev Dotan
Dolev Dotan
IBM
Computer science
Programming language
Unified Modeling Language
Semantics
Formal verification
7
Papers
92
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Meta 2: Lingua Franca Design and Integration Language
2011
Michael Masin
Alberto L. Sangiovanni-Vincentelli
Alberto Ferrari
Henry Broodney
Lev Greenberg
Leonardo Mangeruca
Michael Sambur
Dolev Dotan
Sergey Zolotnizky
Sasha Zadorozhnyi
Show All
Source
Cite
Save
Citations (0)
Implementing Code-Level Product Lines by Utilizing Generic Variability Services.
2010
Itay Maman
Tomer Amarilio
Dolev Dotan
Andrei Kirshin
Julia Rubin
Tali Yatzkar-Haham
Show All
Source
Cite
Save
Citations (0)
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
2009
Ryo Kawahara
Dolev Dotan
Takashi Sakairi
Kohichi Ono
Hiroaki Nakamura
Andrei Kirshin
Shinichi Hirose
Hiroshi Ishikawa
Show All
Source
Cite
Save
Citations (40)
Debugging and testing behavioral UML models
2007
OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications
Dolev Dotan
Andrei Kirshin
Show All
Source
Cite
Save
Citations (24)
A UML simulator based on a generic model execution engine
2006
MoDELS | Model Driven Engineering Languages and Systems
Andrei Kirshin
Dolev Dotan
Alan Hartman
Show All
Source
Cite
Save
Citations (20)
1