# Hamideh Sabouri

According to our database

Collaborative distances:

^{1}, Hamideh Sabouri authored at least 13 papers between 2008 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

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

2014

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

Sci. Comput. Program., 2014

2013

Modeling and Verification of Reconfigurable Actor Families.

J. UCS, 2013

Delta Modeling and Model Checking of Product Families.

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

2012

Using Coordinated Actors to Model Families of Distributed Systems.

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

Scheduling and Analysis of Real-Time Software Families.

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

2011

Efficient Verification of Evolving Software Product Lines.

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

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

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

2010

Sysfier: Actor-based formal verification of SystemC.

ACM Trans. Embedded Comput. Syst., 2010

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

Sci. Comput. Program., 2010

Slicing-based Reductions for Rebeca.

Electr. Notes Theor. Comput. Sci., 2010

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

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

2008

An effective approach for model checking SystemC designs.

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