| 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 | 99 | 2006 |
| Managing forked product variants J Rubin, A Kirshin, G Botterweck, M Chechik Proceedings of the 16th International Software Product Line Conference …, 2012 | 78 | 2012 |
| 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 | 77 | 2006 |
| 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 | 72 | 2009 |
| A UML simulator based on a generic model execution engine A Kirshin, D Dotan, A Hartman MoDELS (Workshops), 324-326, 2006 | 47 | 2006 |
| Debugging and testing behavioral UML models D Dotan, A Kirshin Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007 | 39 | 2007 |
| MBT4Chor: A model-based testing approach for service choreographies A Stefanescu, S Wieczorek, A Kirshin Model Driven Architecture-Foundations and Applications: 5th European …, 2009 | 34 | 2009 |
| 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, MATAM Advanced Technology …, 2000 | 26 | 2000 |
| 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 | 22 | 2002 |
| 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 | 9 | 2014 |
| 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 | 9 | 2013 |
| MDA approach for maintenance of business applications M Keren, A Kirshin, J Rubin, A Truu European Conference on Model Driven Architecture-Foundations and …, 2006 | 9 | 2006 |
| 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 | 3 | 2013 |
| Improving application code execution performance by consolidating accesses to shared resources A Abadi, A Kirshin, G Zodik US Patent 9,851,957, 2017 | 2 | 2017 |
| Hyperlink data presentation I Ben-Harrush, A Berkman, A Dvinsky, N Guy, S Kallner, A Kirshin, ... US Patent 9,396,170, 2016 | 2 | 2016 |
| 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 | 2 | 2013 |
| 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 | 2 | 2006 |
| 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 |
Alan HartmanUniversity of HaifaVerified email at is.haifa.ac.il
