Hamideh Sabouri

13 papers B 1C 1Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. FSEN Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri
2014	J	`jnl`	Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. Hamideh Sabouri, Ramtin Khosravi
2013	—	`conf`	Delta Modeling and Model Checking of Product Families. FSEN Hamideh Sabouri, Ramtin Khosravi
2013	J	`jnl`	Modeling and Verification of Reconfigurable Actor Families. J. Univers. Comput. Sci. Hamideh Sabouri, Ramtin Khosravi
2012	B	`conf`	Scheduling and Analysis of Real-Time Software Families. COMPSAC Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
2012	C	`conf`	Using Coordinated Actors to Model Families of Distributed Systems. COORDINATION Ramtin Khosravi, Hamideh Sabouri
2011	—	`conf`	Efficient Verification of Evolving Software Product Lines. FSEN Hamideh Sabouri, Ramtin Khosravi
2011	—	`conf`	Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS Hamideh Sabouri, Ramtin Khosravi
2010	J	`jnl`	Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. Hamideh Sabouri, Marjan Sirjani
2010	—	`conf`	An Effective Approach for Verifying Product Lines in Presence of Variability Models. SPLC Workshops Hamideh Sabouri, Ramtin Khosravi
2010	J	`jnl`	Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
2008	—	`conf`	An effective approach for model checking SystemC designs. ACSD Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani
2008	—	`conf`	Slicing-based Reductions for Rebeca. FACS Hamideh Sabouri, Marjan Sirjani

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz

Matti Schulze, Thorsten Holz, Felix C. Freiling