Hamideh Sabouri
Hamideh Sabouri
Affiliazione sconosciuta
Nessuna email verificata
Titolo
Citata da
Citata da
Anno
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
202010
Slicing-based reductions for Rebeca
H Sabouri, M Sirjani
Electronic Notes in Theoretical Computer Science 260, 209-224, 2010
172010
Delta modeling and model checking of product families
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 51-65, 2013
142013
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
Efficient verification of evolving software product lines
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 351-358, 2011
122011
Reducing the verification cost of evolving product families using static analysis techniques
H Sabouri, R Khosravi
Science of Computer Programming 83, 35-55, 2014
92014
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
92012
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
62010
Modeling and Verification of Reconfigurable Actor Families.
H Sabouri, R Khosravi
J. UCS 19 (2), 207-232, 2013
52013
Using coordinated actors to model families of distributed systems
R Khosravi, H Sabouri
International Conference on Coordination Languages and Models, 74-88, 2012
42012
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
42011
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
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–14