Concepedia

Andrei Kirshin

AK

4

Publications

147

Citations

4

H-Index

2006

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Haifa

Andrei Kirshin is an author at IBM (United States) specializing in software testing, systems engineering, and engineering.

Top concepts

EngineeringFormal MethodsSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisSystems EngineeringSoftware DesignFormal VerificationSoftware Engineering

Publications per year

2006–2012

4

Publications

4

Managing forked product variants

Julia Rubin, Andrei Kirshin, Goetz Botterweck et al. · 2012 · 55 citations

Software Maintenance, Engineering, Effective Code Reuse +24

Verification of embedded system's specification using collaborative simulation of SysML and simulink models

Ryo Kawahara, Dolev Dotan, Takashi Sakairi et al. · 2009 · 48 citations

Engineering, Hardware Verification Language, Continuous-time Behavior +22

Debugging and testing behavioral UML models

Dolev Dotan, Andrei Kirshin · 2007 · 26 citations

Software Maintenance, Engineering, Ibm Rational +18

A UML simulator based on a generic model execution engine

Andrei Kirshin, Dolev Dotan, Alan Hartman · Model Driven Engineering Languages and Systems · 2006 · 18 citations

Engineering, Software Engineering, Simulation +16

Rows per page

1–4 of 4