Hamideh Sabouri

13 papers B 1C 1Journal 4Unranked 7
YearRankTypeTitle / 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