Publications

8 results for Andrei Kirshin

Developing enterprise mobile applications the easy way
- - Aharon Abadi
  - Yael Dubinsky
  - et al.
- 2014
- FSE 2014
Nitrogen: Rapid development of mobile applications
- - Aharon Abadi
  - Yael Dubinsky
  - et al.
- 2013
- SPLASH 2013
Managing forked product variants
- - Julia Rubin
  - Andrei Kirshin
  - et al.
- 2012
- SPLC 2012
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
A UML simulator based on a generic model execution engine
- - Andrei Kirshin
  - Dany Moshkovich
  - et al.
- 2006
- ECMS 2006
A test execution environment running abstract tests for distributed software
- - Alan Hartman
  - Andrei Kirshin
  - et al.
- 2002
- SEAPP 2002