Search results for: Victor Braberman
IEEE Transactions on Software Engineering > 2017 > 43 > 1 > 19 - 33
2016 IEEE 55th Conference on Decision and Control (CDC) > 6996 - 7001
2016 IEEE 55th Conference on Decision and Control (CDC) > 4764 - 4769
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time and Probabilistic Systems > 21-36
IEEE Transactions on Software Engineering > 2016 > 42 > 9 > 843 - 865
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 215-230
Software Testing, Verification and Reliability > 26 > 3 > 211 - 244
Requirements Engineering > 2017 > 22 > 2 > 239-274
Science of Computer Programming > 2014 > 92 > Part A > 56-84
IEEE Transactions on Software Engineering > 2013 > 39 > 7 > 975 - 1001
Computer Science - Research and Development > 2013 > 28 > 4 > 279-293