Andrei Kirshin
Title
Cited by
Cited by
Year
Model based test generation for validation of parallel and concurrent software
A Hartman, A Kirshin, K Nagin, S Olvovsky, A Zlotnick
US Patent 7,089,534, 2006
912006
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
R Kawahara, D Dotan, T Sakairi, K Ono, H Nakamura, A Kirshin, S Hirose, ...
2009 International Conference on Model-Based Systems Engineering, 21-28, 2009
602009
Reducing the complexity of finite state machine test generation using combinatorial designs
A Hartman, A Kirshin, K Nagin, S Olvovsky
US Patent 7,024,589, 2006
582006
Managing forked product variants
J Rubin, A Kirshin, G Botterweck, M Chechik
Proceedings of the 16th International Software Product Line Conference …, 2012
552012
A UML simulator based on a generic model execution engine
A Kirshin, D Dotan, A Hartman
MoDELS Workshops 4364, 324-326, 2006
432006
Debugging and testing behavioral UML models
D Dotan, A Kirshin
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007
332007
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
European Conference on Model Driven Architecture-Foundations and …, 2009
322009
A methodology and architecture for automated software testing
I Gronau, A Hartman, A Kirshin, K Nagin, S Olvovsky
IBM Research Laboratory in Haifa Technical Report 17, 2000
242000
A test execution environment running abstract tests for distributed software
A Hartman, A Kirshin, K Nagin
Proceedings of Software Engineering and Applications, SEA 2002, 2002
232002
NitroGen: rapid development of mobile applications
A Abadi, Y Dubinsky, A Kirshin, Y Mesika, I Ben-Harrush, U Hadad
Proceedings of the 2013 companion publication for conference on Systems …, 2013
82013
MDA approach for maintenance of business applications
M Keren, A Kirshin, J Rubin, A Truu
European Conference on Model Driven Architecture-Foundations and …, 2006
82006
Providing variability and materialization over links connecting product line resources
D Dotan, I Green, M Keren, A Kirshin, S Kremer-Davidson, J Rubin, ...
US Patent App. 13/269,640, 2013
32013
Hyperlink data presentation
I Ben-Harrush, A Berkman, A Dvinsky, N Guy, S Kallner, A Kirshin, ...
US Patent 9,396,170, 2016
22016
Developing enterprise mobile applications the easy way
A Abadi, Y Dubinsky, A Kirshin, Y Mesika, I Ben-Harrush, U Hadad
Proceedings of the International Workshop on Innovative Software Development …, 2014
22014
Codeless Screen-Oriented Programming for Enterprise Mobile Applications
A Abadi, Y Dubinsky, A Kirshin, Y Mesika, I Ben-Harrush
arXiv preprint arXiv:1310.1506, 2013
22013
Model driven testing–as an infrastructure for custom made solutions
A Hartman, A Kirshin, S Olvovsky, J Garbajosa, J Boegh, A Rennoch, ...
Proceedings of the 4th Workshop on System Testing and Validation (STV’06 …, 2006
22006
Improving application code execution performance by consolidating accesses to shared resources
A Abadi, A Kirshin, G Zodik
US Patent 9,851,957, 2017
2017
Managing the Presentation of Elements Via a User Interface of a Computing Device.
A Abadi, S Kallner, A Kirshin, Y Rubin
US Patent App. 14/741,468, 2016
2016
Implementing Code-Level Product Lines by Utilizing Generic Variability Services.
I Maman, T Amarilio, D Dotan, A Kirshin, J Rubin, T Yatzkar-Haham
SPLC Workshops, 298, 2010
2010
IBM Research work on MDE
A Kirshin, T Yatzkar-Haham, S Kremer-Davidson
Fifth European Conference on Model-Driven Architecture Foundations and …, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20