An effective approach for model checking SystemC designs. - Razieh Behjati; Hamideh Sabouri; Niloofar Razavi; Marjan Sirjani (ACSD, 2008)

Slicing-based Reductions for Rebeca. - Hamideh Sabouri; Marjan Sirjani (FACS, 2008)

An Effective Approach for Verifying Product Lines in Presence of Variability Models. - Hamideh Sabouri; Ramtin Khosravi (SPLC Workshops, 2010)

Actor-based slicing techniques for efficient reduction of Rebeca models. - Hamideh Sabouri; Marjan Sirjani (Sci. Comput. Program., 2010)

Sysfier: Actor-based formal verification of SystemC. - Niloofar Razavi; Razieh Behjati; Hamideh Sabouri; Ehsan Khamespanah; Amin Shali; Marjan Sirjani (ACM Trans. Embed. Comput. Syst., 2010)

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. - Hamideh Sabouri; Ramtin Khosravi (FACS, 2011)

Efficient Verification of Evolving Software Product Lines. - Hamideh Sabouri; Ramtin Khosravi (FSEN, 2011)

Scheduling and Analysis of Real-Time Software Families. - Hamideh Sabouri; Mohammad Mahdi Jaghoori; Frank S. de Boer; Ramtin Khosravi (COMPSAC, 2012)

Using Coordinated Actors to Model Families of Distributed Systems. - Ramtin Khosravi; Hamideh Sabouri (COORDINATION, 2012)

Delta Modeling and Model Checking of Product Families. - Hamideh Sabouri; Ramtin Khosravi (FSEN, 2013)

Modeling and Verification of Reconfigurable Actor Families. - Hamideh Sabouri; Ramtin Khosravi (J. Univers. Comput. Sci., 2013)

Reducing the verification cost of evolving product families using static analysis techniques. - Hamideh Sabouri; Ramtin Khosravi (Sci. Comput. Program., 2014)

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. - Atieh Monemi Bidgoli; Hassan Haghighi; Tahereh Zohdi Nasab; Hamideh Sabouri (FSEN, 2017)