Sysfier: Actor-based formal verification of systemc N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 19, 2010 | 21 | 2010 |
Slicing-based reductions for Rebeca H Sabouri, M Sirjani Electronic Notes in Theoretical Computer Science 260, 209-224, 2010 | 21 | 2010 |
Delta modeling and model checking of product families H Sabouri, R Khosravi International Conference on Fundamentals of Software Engineering, 51-65, 2013 | 18 | 2013 |
Scheduling and analysis of real-time software families H Sabouri, MM Jaghoori, F de Boer, R Khosravi Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th …, 2012 | 14 | 2012 |
Efficient verification of evolving software product lines H Sabouri, R Khosravi International Conference on Fundamentals of Software Engineering, 351-358, 2011 | 13 | 2011 |
An effective approach for model checking SystemC designs R Behjati, H Sabouri, N Razavi, M Sirjani Application of Concurrency to System Design, 2008. ACSD 2008. 8th …, 2008 | 13 | 2008 |
Reducing the verification cost of evolving product families using static analysis techniques H Sabouri, R Khosravi Science of Computer Programming 83, 35-55, 2014 | 12 | 2014 |
Actor-based slicing techniques for efficient reduction of Rebeca models H Sabouri, M Sirjani Science of Computer Programming 75 (10), 811-827, 2010 | 7 | 2010 |
An Effective Approach for Verifying Product Lines in Presence of Variability Models. H Sabouri, R Khosravi SPLC Workshops, 113-120, 2010 | 7 | 2010 |
Modeling and Verification of Reconfigurable Actor Families. H Sabouri, R Khosravi J. UCS 19 (2), 207-232, 2013 | 6 | 2013 |
Using coordinated actors to model families of distributed systems R Khosravi, H Sabouri International Conference on Coordination Languages and Models, 74-88, 2012 | 6 | 2012 |
Reducing the model checking cost of product lines using static analysis techniques H Sabouri, R Khosravi International Workshop on Formal Aspects of Component Software, 296-312, 2011 | 5 | 2011 |
An Incremental Approach to Manage Variability in Software Product Line Requirements S Zamanifard, R Khosravi, H Sabouri International Journal of Computer and Electrical Engineering 7 (1), 47, 2015 | 1 | 2015 |
Article 19 (35 pages)-Sysfier: Actor-Based Formal Verification of SystemC N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani ACM Transactions on Embedded Computer Systems 10 (2), 2011 | | 2011 |