Volgen
Hamideh Sabouri
Hamideh Sabouri
Onbekend partnerschap
Geen geverifieerd e-mailadres
Titel
Geciteerd door
Geciteerd door
Jaar
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
212010
Slicing-based reductions for Rebeca
H Sabouri, M Sirjani
Electronic Notes in Theoretical Computer Science 260, 209-224, 2010
212010
Delta modeling and model checking of product families
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 51-65, 2013
182013
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
142012
Efficient verification of evolving software product lines
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 351-358, 2011
132011
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
132008
Reducing the verification cost of evolving product families using static analysis techniques
H Sabouri, R Khosravi
Science of Computer Programming 83, 35-55, 2014
122014
Actor-based slicing techniques for efficient reduction of Rebeca models
H Sabouri, M Sirjani
Science of Computer Programming 75 (10), 811-827, 2010
72010
An Effective Approach for Verifying Product Lines in Presence of Variability Models.
H Sabouri, R Khosravi
SPLC Workshops, 113-120, 2010
72010
Modeling and Verification of Reconfigurable Actor Families.
H Sabouri, R Khosravi
J. UCS 19 (2), 207-232, 2013
62013
Using coordinated actors to model families of distributed systems
R Khosravi, H Sabouri
International Conference on Coordination Languages and Models, 74-88, 2012
62012
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
52011
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
12015
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14