According to our database1, Hamideh Sabouri authored at least 13 papers between 2008 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017
Reducing the verification cost of evolving product families using static analysis techniques.
Sci. Comput. Program., 2014
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
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
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
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
An effective approach for model checking SystemC designs.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008