Hamideh Sabouri

According to our database, Hamideh Sabouri authored at least 13 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths.

Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2014

Reducing the verification cost of evolving product families using static analysis techniques.

Hamideh Sabouri, Ramtin Khosravi

Sci. Comput. Program., 2014

2013

Modeling and Verification of Reconfigurable Actor Families.

Hamideh Sabouri, Ramtin Khosravi

J. Univers. Comput. Sci., 2013

Delta Modeling and Model Checking of Product Families.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

Using Coordinated Actors to Model Families of Distributed Systems.

Ramtin Khosravi, Hamideh Sabouri

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Scheduling and Analysis of Real-Time Software Families.

Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Efficient Verification of Evolving Software Product Lines.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

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

Actor-based slicing techniques for efficient reduction of Rebeca models.

Hamideh Sabouri, Marjan Sirjani

Sci. Comput. Program., 2010

An Effective Approach for Verifying Product Lines in Presence of Variability Models.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Software Product Lines - 14th International Conference, 2010

2008

Slicing-based Reductions for Rebeca.

Hamideh Sabouri, Marjan Sirjani

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

An effective approach for model checking SystemC designs.

Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008