Hamideh Sabouri

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Static Analysis

Foraging Behavior

Top Venues

Sci. Comput. Program.

J. Univers. Comput. Sci.

Publications

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